Observability and Decentralized Control of Fuzzy Discrete Event Systems [PDF]
, 2005 Fuzzy discrete event systems as a generalization of (crisp) discrete event systems have been introduced in order that it is possible to effectively represent uncertainty, imprecision, and vagueness arising from the dynamic of systems.
Cao, Yongzhi, Ying, Mingsheng
core +1 more source
Vehicular Network Simulation Environment via Discrete Event System Modeling
IEEE Access, 2019 A vehicular ad-hoc network (VANET) enables vehicles to communicate with each other directly or via roadside infrastructure in order to improve road safety and efficiency.
Le Wang +2 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
Coordination control of discrete-event systems [PDF]
2008 9th International Workshop on Discrete Event Systems, 2008 The concept of a coordinator is proposed for control of modular discrete-event systems. The coordinator makes all subsystems conditionally independent generators as defined in the paper. The coordinator receives part of the partial observations of the subsystems and its task is to satisfy the global part of the specification and of the nonblockingness.
Komenda, J. (Jan), van Schuppen, J. H.
openaire +3 more sources
Going through Rough Times: from Non-Equilibrium Surface Growth to Algorithmic Scalability [PDF]
, 2001 Efficient and faithful parallel simulation of large asynchronous systems is a challenging computational problem. It requires using the concept of local simulated times and a synchronization scheme.
Guclu, H. +4 more
core +3 more sources
A decision support system for demand and capacity modelling of an accident and emergency department [PDF]
, 2019 © 2019 Operational Research Society.Accident and emergency (A&E) departments in England have been struggling against severe capacity constraints. In addition, A&E demands have been increasing year on year. In this study, our aim was to develop a decision
Demir, Eren +2 more
core +2 more sources
Fluent temporal logic for discrete-time event-based models [PDF]
, 2005 Fluent model checking is an automated technique for verifying that an event-based operational model satisfies some state-based declarative properties.
Emmanuel Letier +11 more
core +1 more source
A Specification Patterns System for Discrete Event Systems Analysis
International Journal of Advanced Robotic Systems, 2013 As formal verification tools gain popularity, the problem arises of making them more accessible to engineers. A correct understanding of the logics used to express the properties of a system's behaviour is needed in order to guarantee that properties ...
Jose Creissac Campos, Jose Machado
doaj +1 more source
Compositional nonblocking verification with always enabled events and selfloop-only events [PDF]
, 2013 This paper proposes to improve compositional nonblocking verification through the use of always enabled and selfloop-only events. Compositional verification involves abstraction to simplify parts of a system during verification.
A Valmari +14 more
core +2 more sources
Accelerated Simulation of Discrete Event Dynamic Systems via a Multi-Fidelity Modeling Framework
Applied Sciences, 2017 Simulation analysis has been performed for simulation experiments of all possible input combinations as a “what-if” analysis, which causes the simulation to be extremely time-consuming.
Seon Han Choi +2 more
doaj +1 more source