Supervisory control of timed discrete-event systems
- 1 February 1994
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Automatic Control
- Vol. 39 (2) , 329-342
- https://doi.org/10.1109/9.272327
Abstract
The Ramadge-Wonham framework for control of discrete event systems is augmented with timing features by use of Ostroff's semantics for timed transition models. It is shown that the RW concept of controllability and the existence of maximally permissive supervisory controls can be suitably generalized. The enhanced setting admits subsystem composition and the concept of forcible event as an event that preempts the tick of a global clock. An example of a simple manufacturing cell illustrates how the new framework can be used to solve synthesis problems which may include logic-based, temporal and quantitative optimality specifications.<>Keywords
This publication has 21 references indexed in Scilit:
- A hierarchical framework for discrete event scheduling in manufacturing systemsPublished by Springer Nature ,2006
- Manufacturing cell supervisory control-a timed discrete event system approachPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- The control of dense real-time discrete event systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Communicating real-time state machinesIEEE Transactions on Software Engineering, 1992
- Modeling and verification of time dependent systems using time Petri netsIEEE Transactions on Software Engineering, 1991
- On sSupervisory control of real-time discrete-event systemsInformation Sciences, 1988
- Modeling and analysis of transaction execution in database systemsIEEE Transactions on Automatic Control, 1988
- A Control Theory for Discrete-Event SystemsPublished by Springer Nature ,1988
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987
- Recoverability of Communication Protocols--Implications of a Theoretical StudyIEEE Transactions on Communications, 1976