A survey of Petri net methods for controlled discrete event systems
This paper surveys recent research on the application of Petri net models to the analysis and
synthesis of controllers for discrete event systems. Petri nets have been used extensively in …
synthesis of controllers for discrete event systems. Petri nets have been used extensively in …
Supervisory control of discrete-event systems: A brief history
WM Wonham, K Cai, K Rudie - Annual Reviews in Control, 2018 - Elsevier
This brief history summarizes the 'supervisory control of discrete-event systems' as it has
evolved in the period 1980–2017. Overall, the trend has been from centralized or …
evolved in the period 1980–2017. Overall, the trend has been from centralized or …
[BUKU][B] Hybrid feedback control
RG Sanfelice - 2021 - books.google.com
A comprehensive introduction to hybrid control systems and design Hybrid control systems
exhibit both discrete changes, or jumps, and continuous changes, or flow. An example of a …
exhibit both discrete changes, or jumps, and continuous changes, or flow. An example of a …
The control of discrete event systems
PJG Ramadge, WM Wonham - Proceedings of the IEEE, 1989 - ieeexplore.ieee.org
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. Such systems …
abrupt occurrence, at possibly unknown irregular intervals, of physical events. Such systems …
Linear time logic control of discrete-time linear systems
The control of complex systems poses new challenges that fall beyond the traditional
methods of control theory. One of these challenges is given by the need to control …
methods of control theory. One of these challenges is given by the need to control …
[BUKU][B] Modeling and control of logical discrete event systems
The field of discrete event systems has emerged to provide a formal treatment of many of the
man-made systems such as manufacturing systems, communica tion networks. automated …
man-made systems such as manufacturing systems, communica tion networks. automated …
Synthesis of feedback control logic for a class of controlled Petri nets
An efficient solution is developed for a class of forbidden state problems for discrete event
systems (DESs). DESs are considered which can be modeled as cyclic controlled marked …
systems (DESs). DESs are considered which can be modeled as cyclic controlled marked …
Lyapunov stability of a class of discrete event systems
KM Passino, AN Michel… - IEEE transactions on …, 1994 - ieeexplore.ieee.org
Discrete event systems (DES) are dynamical systems which evolve in time by the
occurrence of events at possibly irregular time intervals." Logical" DES are a class of …
occurrence of events at possibly irregular time intervals." Logical" DES are a class of …
Supervisory control and reactive synthesis: a comparative introduction
This paper presents an introduction to and a formal connection between synthesis problems
for discrete event systems that have been considered, largely separately, in the two research …
for discrete event systems that have been considered, largely separately, in the two research …
Control of infinite behavior of finite automata
JG Thistle, WM Wonham - SIAM Journal on Control and Optimization, 1994 - SIAM
A problem in the control of automata on infinite strings is defined and analyzed. The key to
the investigation is the development of a fixpoint characterization of the “controllability …
the investigation is the development of a fixpoint characterization of the “controllability …