Results 21 to 30 of about 81,934 (166)
Applied Sciences, 2020 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
Modelling, 2023 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]
Discrete Event Dynamic Systems, 2006 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 +3 more sources
Fault-diagnosis in discrete event systems: Improvements and new results
Alexandria Engineering Journal, 2011 The malfunction of sensors, actuators, and erroneous actions of human operators can have some disastrous consequences in high risk systems especially if these systems have multiple faults that can lead to undesirable shutdowns and consequently mass ...
Hamdi A. Awad
doaj +1 more source
Applied Sciences, 2020 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
Supervisory Controller Design for Power System Stability using Hybrid Automata Modeling [PDF]
International Journal of Industrial Electronics, Control and Optimization, 2021 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
On Opacity Verification for Discrete-Event Systems
IFAC-PapersOnLine, 2020 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 +3 more sources
Fault diagnosis of PLC-based discrete event systems using Petri nets
Measurement + Control, 2022 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
Detectability in Stochastic Discrete Event Systems
IFAC Proceedings Volumes, 2014 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Keroglou, C. +3 more
openaire +4 more sources
Diagnosis of Deep Discrete-Event Systems
Journal of Artificial Intelligence Research, 2020 An abduction-based diagnosis technique for a class of discrete-event systems (DESs), called deep DESs (DDESs), is presented. A DDES has a tree structure, where each node is a network of communicating automata, called an active unit (AU). The interaction of components within an AU gives rise to emergent events.
Lamperti, Gian Franco +2 more
openaire +3 more sources