Timed Stability of Timed Discrete-Event Systems
نویسندگان
چکیده
منابع مشابه
Using Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)
A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...
متن کاملHierarchical control of timed discrete-event systems
An abstract hierarchical control theory is developed lbr a class of timed discrete-event systems (TDES) within the discrete-event control architectural framework proposed earlier by the authors. For this development, a control theory for TDES is introduced in the spirit of a prior theory of Brandin. A notion of time control structures is introduced, and on its basis a general property of hierar...
متن کاملDecentralized supervisory control of continuous timed discrete event systems
In this paper, we presented the decentralized supervisory control problem of discrete event system with continuous-time variable. By presenting the definition of coobservability for the timed specification, a necessary and sufficient condition for the existence of decentralized supervisors is obtained. Finally, a numerical example is
متن کاملSymbolic Nonblocking Computation of Timed Discrete Event Systems
In this paper, we symbolically compute a minimally restrictive nonblocking supervisor for timed discrete event systems (TDESs), in the supervisory control theory context. The method is based on Timed Extended Finite Automata, which is an augmentation of extended finite automata (EFAs) by incorporating discrete time in the model. EFAs are ordinary automaton extended with discrete variables, guar...
متن کاملDiagnosis of Discrete Event Systems Using Timed Automata
This paper proposes an effective way for diagnosis of discrete–event systems by using a timed automaton. It is based on the model-check technique, thanks to the time analysis of the timed model. This paper gives a method to construct all timed models and details the different steps used to obtain the diagnosis path in the timed automaton. The proposed approach could be applied to dynamical syst...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Transactions of the Society of Instrument and Control Engineers
سال: 2001
ISSN: 0453-4654
DOI: 10.9746/sicetr1965.37.411