The supervisory control of timed discrete-event systems

The framework given by P.J. Ramadge and W.M. Wonham (SIAM J. Control Optim., Vol. 25, no.1, p.206-30, 1987) for control of discrete event systems is augmented with timing features by use of Ostroff's semantics for timed transition models (1989, 1990). It is shown that the corresponding concept of controllability, and the existence of minimally restrictive 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.<<ETX>>

[1]  S. D. O'Young,et al.  Continuous-time supervisory synthesis for distributed-clock discrete-event processes , 1994 .

[2]  Beno Benhabib,et al.  Manufacturing cell supervisory control-a modular timed discrete-event system approach , 1993, [1993] Proceedings IEEE International Conference on Robotics and Automation.

[3]  Alan C. Shaw,et al.  Communicating Real-Time State Machines , 1992, IEEE Trans. Software Eng..

[4]  Jonathan S. Ostroff,et al.  Formal methods for the specification and design of real-time safety critical systems , 1992, J. Syst. Softw..

[5]  J. G. Thistle.  Control of infinite behaviour of discrete-event systems , 1992 .

[6]  Panos J. Antsaklis,et al.  Event rates and aggregation in hierarchical discrete event systems , 1992, Discret. Event Dyn. Syst..

[7]  H. Wong-Toi,et al.  The control of dense real-time discrete event systems , 1991, [1991] Proceedings of the 30th IEEE Conference on Decision and Control.

[8]  G. Franklin,et al.  Discrete Event Controller for a Rapid Thermal Multiprocessor , 1991, 1991 American Control Conference.

[9]  M. Diaz,et al.  Modeling and Verification of Time Dependent Systems Using Time Petri Nets , 1991, IEEE Trans. Software Eng..

[10]  R. Alur,et al.  Automata For Modeling Real-Time Systems , 1990, ICALP.

[11]  W. M. Wonham,et al.  A framework for real-time discrete event control , 1990 .

[12]  Jonathan S. Ostroff,et al.  Deciding Properties of Timed Transition Models , 1990, IEEE Trans. Parallel Distributed Syst..

[13]  W. M. Wonham,et al.  The control of discrete event systems , 1989, Proc. IEEE.

[14]  Jonathan S. Ostroff,et al.  Temporal logic for real-time systems , 1989 .

[15]  Y. Brave,et al.  Formulation and control of real time discrete event processes , 1988, Proceedings of the 27th IEEE Conference on Decision and Control.

[16]  W. M. Wonham.  A control theory for discrete-event systems , 1988 .

[17]  Krithi Ramamritham,et al.  Hard Real-Time Systems , 1988 .

[18]  Stéphane Lafortune.  Modeling and analysis of transaction execution in database systems , 1988 .

[19]  R. P. Kurshan,et al.  Reducibility in analysis of coordination , 1988 .

[20]  Stanley B. Gershwin,et al.  A hierarchical framework for discrete event scheduling in manufacturing systems , 1988 .

[21]  C. Golaszewski,et al.  Control of discrete event processes with forced events , 1987, 26th IEEE Conference on Decision and Control.

[22]  Yang Li,et al.  On Supervisory Control of Real-Time Discrete-Event Systems , 1987, 1987 American Control Conference.

[23]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[24]  P. Ramadge,et al.  Supervisory control of a class of discrete event processes , 1987 .

[25]  P. Moller.  Introducing Real Time in the Algebraic Theory of Finite Automata , 1986 .

[26]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[27]  P. Merlin,et al.  Recoverability of Communication Protocols - Implications of a Theoretical Study , 1976, IEEE Transactions on Communications.