Results 31 to 40 of about 87,788 (265)
A Fast Discrete Event Simulation Model for Queueing Network Systems [PDF]
Based on Lindley's recursive equations for G/G/1 systems, this paper proposes a Fast Discrete Event Simulation (FDES) model for queueing networks. Equations for multiplexer and de-multiplexer elements are presented, which allows to simulate not only
Jose Vazquez-Avila +2 more
doaj +1 more source
We consider the problem of system-level balanced scheduling in a pediatric hospital setting. A hospital clinic has a queue for patients needing care. After being seen in clinic, many require follow-up surgery, for which they also wait in a queue.
John J. Forbus, Daniel Berleant
doaj +1 more source
Tail Asymptotics for Discrete Event Systems [PDF]
In the context of communication networks, the framework of stochastic event graphs allows a modeling of control mechanisms induced by the communication protocol and an analysis of its performances. We concentrate on the logarithmic tail asymptotics of the stationary response time for a class of networks that admit a representation as (max,plus)-linear ...
openaire +4 more sources
On Opacity Verification for Discrete-Event Systems
Opacity is an information flow property characterizing whether a system reveals its secret to an intruder. Verification of opacity for discrete-event systems modeled by automata is in general a hard problem. We discuss the question whether there are structural restrictions on the system models for which the opacity verification is tractable.
Jirí Balun, Tomás Masopust
openaire +4 more sources
For the development of modern complex production processes in Industry 4.0, it is appropriate to effectively use advanced mathematical models based on Petri nets.
Erik Kučera +5 more
doaj +1 more source
Supervisory Controller Design for Power System Stability using Hybrid Automata Modeling [PDF]
Power systems are categorized as nonlinear dynamical systems, and the importance and complexity associated with their stability have dramatically increased.
Fariba Forouzesh +2 more
doaj +1 more source
Detectability in Stochastic Discrete Event Systems
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Keroglou, C. +3 more
openaire +5 more sources
Petri nets are an important tool for creation of new platforms for digitised production systems due to their versatility in modelling discrete event systems.
Erik Kučera +4 more
doaj +1 more source
Fault diagnosis of PLC-based discrete event systems using Petri nets
This paper addresses the fault diagnosis problem of PLC-based systems that can be modeled as Petri nets under a certain level of abstraction. The existing Petri-net-based fault diagnosis approaches often associate transitions and/or places with sensors ...
Yongyao Li +4 more
doaj +1 more source
Failure diagnosis in real time stochastic discrete event systems
Discrete Event System (DES) has been used for Failure Detection and Diagnosis (FDD) of a wide range of systems. For real time systems, timed DES based frameworks diagnose failures leading to violation of delays or deadlines.
Chaitali Biswas Dutta, Utpal Biswas
doaj +1 more source

