Results 31 to 40 of about 724,768 (322)
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
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
An algorithm for compositional nonblocking verification of extended finite-state machines [PDF]
, 2014 This paper describes an approach for compositional nonblocking verification of discrete event systems modelled as extended finite-state machines (EFSM). Previous results about finite-state machines in lock-step synchronisation are generalised and applied
Fabian, Martin +2 more
core +2 more sources
Diagnosability of Fuzzy Discrete Event Systems
, 2006 In order to more effectively cope with the real-world problems of vagueness, {\it fuzzy discrete event systems} (FDESs) were proposed recently, and the supervisory control theory of FDESs was developed.
C.G. Cassandras +13 more
core +2 more sources
Failure diagnosis in real time stochastic discrete event systems
Engineering Science and Technology, an International Journal, 2015 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
Model Abstraction for Discrete-Event Systems Using a SAT Solver
IEEE Access, 2023 Model abstraction for finite state automata is beneficial to reduce the complexity of discrete-event systems (DES), enhance the readability and facilitate the control synthesis and verification of DES.
Lihong Cheng, Lei Feng
doaj +1 more source
A Note on Fault Diagnosis Algorithms [PDF]
, 2009 In this paper we review algorithms for checking diagnosability of discrete-event systems and timed automata. We point out that the diagnosability problems in both cases reduce to the emptiness problem for (timed) B\"uchi automata.
Cassez, Franck
core +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
Economic Games as Estimators [PDF]
, 2020 Discrete event games are discrete time dynamical systems whose state transitions are discrete events caused by actions taken by agents within the game. The agents’ objectives and associated decision rules need not be known to the game designer in order ...
Paruch, Krzysztof +2 more
core