Results 41 to 50 of about 81,934 (166)
Event-Based Modeling of Input Signal Behaviors for Discrete-Event Controllers
Applied SciencesControllers for discrete-event systems are commonly designed using state-based formalisms, like state diagrams and Petri nets. These formalisms are strongly supported by the concept of events, which, from an automation system perspective, can be ...
Luis Gomes +4 more
doaj +1 more source
Calculating Restart States for Systems Modeled by Operations Using Supervisory Control Theory
Machines, 2013 This paper presents a supervisory control theory based offline method for calculating restart states in a manufacturing control system. Given these precalculated restart states, an operator can be given correct instructions for how to resynchronize the ...
Patrik Bergagård, Martin Fabian
doaj +1 more source
Discrete Event Simulation of Hybrid Systems [PDF]
SIAM Journal on Scientific Computing, 2004 Summary: This paper describes the quantization-based integration methods and extends their use to the simulation of hybrid systems. Using the fact that these methods approximate ordinary differential equations (ODEs) and differential algebraic equations (DAEs) by discrete event systems, it is shown how hybrid systems can be approximated by pure ...
openaire +2 more sources
A discrete event model for real time system simulation
Journal of Computer Science and Technology, 2012 In this work we present a discrete event model to design and implement a real time system simulator. This kind of software is useful to verify and evaluate algorithms and models, and to compute performance metrics. The discrete event model fits perfectly
Francisco E. Páez +4 more
doaj
Conservative simulation for discrete event systems
Informatica, 1998 Summary: More real systems have many components and their simulation requires significant execution times. The practical needs have conducted to distributed simulation rather than sequential method. Asynchronous parallel discrete event simulation (PDES) is studied and its methodology is presented. The paper presents the conservative methodology of PDES
openaire +2 more sources
On the Design of Adaptive Supervisors for Discrete Event Systems [PDF]
Journal of Systemics, Cybernetics and Informatics, 2006 The supervised control of complex event-driven Discrete Event Systems (DESs) such as those present in manufacturing systems, or the communication processes involved therein, continue to pose a challenge to system designers.
Vigyan Chandra, Siddhartha Bhattacharyya
doaj
On the Timing of Discrete Events in Event-Driven Control Systems [PDF]
, 2008 This paper presents an analysis method to determine offline at what intervals have to be taken the samples for various types of event- driven control systems.
Velasco García, Manel +2 more
openaire +3 more sources
MathematicsThis paper studies the supervisory control of discrete event systems (DESs) from an event observation perspective and addresses the problem of supervisor design with minimal observation.
Menghuan Hu, Yufeng Chen
doaj +1 more source
State-Based Control of Discrete-Event Systems Under Partial Observation
IEEE Access, 2018 This paper describes a state-based approach for supervisor synthesis of discrete-event systems under partial observation, based on predicates and predicate transformers.
Deguang Wang +3 more
doaj +1 more source
Opacity Verification for a Class of Modular Discrete Event Systems
IEEE AccessThe verification of opacity of discrete event systems (DESs) is subjected to the curse of dimensionality because this issue has been proven to be EXPSPACE-complete. Therefore, how to improve the efficiency of opacity verification in DESs is crucial.
Jingkai Yang, Weilin Deng
doaj +1 more source