Tracking and restrictability in discrete-event dynamic systems

Several elements of a control theory for discrete-event dynamic systems (DEDs) are described. It is assumed that the composition of two DEDSs which share some common events operates as it would with each system in isolation except that when a shared event occurs, it must occur in both systems. The authors focus on the ability of a DEDS to follow prescribed tracking event trajectories. A notion of resiliency, i.e. the ability of the DEDS to resume correct tracking after an error, is introduced. Restrictability compensators, task reachability, and aggregation are discussed.<<ETX>>

[1]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[2]  P. Ramadge,et al.  On the supremal controllable sublanguage of a given language , 1984, The 23rd IEEE Conference on Decision and Control.

[3]  J. Ostroff,et al.  A temporal logic approach to real time control , 1985, 1985 24th IEEE Conference on Decision and Control.

[4]  A. F. Vaz,et al.  On supervisor reduction in discrete-event systems , 1986 .

[5]  P. Ramadge,et al.  Modular feedback logic for discrete event systems , 1987 .

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

[7]  John N. Tsitsiklis,et al.  On the control of discrete-event dynamical systems , 1987, 26th IEEE Conference on Decision and Control.

[8]  W. Wonham,et al.  Controllability and observability in the state-feedback control of discrete-event systems , 1988, Proceedings of the 27th IEEE Conference on Decision and Control.

[9]  W. M. Wonham,et al.  Decentralized control and coordination of discrete-event systems , 1988, Proceedings of the 27th IEEE Conference on Decision and Control.

[10]  C. Desclaux,et al.  Supervisory control of discrete-event processes with partial observations , 1988 .

[11]  Walter Murray Wonham,et al.  On observability of discrete-event systems , 1988, Inf. Sci..

[12]  Peter E. Caines,et al.  Classical and logic based regulator design and its complexity for partially observed automata , 1989, Proceedings of the 28th IEEE Conference on Decision and Control,.

[13]  P. Ramadge.  Some tractable supervisory control problems for discrete-event systems modeled by Buchi automata , 1989 .

[14]  Steven I. Marcus,et al.  On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation , 1989, Math. Control. Signals Syst..

[15]  Cüneyt M. Özveren,et al.  Analysis and control of discrete event dynamic systems: a state space approach , 1989 .

[16]  A. Willsky,et al.  Observability of discrete event dynamic systems , 1990 .

[17]  Alan S. Willsky,et al.  Applications of a Regulator Theory for Discrete-Event Dynamic Systems , 1991 .

[18]  Panos J. Antsaklis,et al.  Stability and stabilizability of discrete event dynamic systems , 1991, JACM.

[19]  Alan S. Willsky,et al.  Output stabilizability of discrete-event dynamic systems , 1991 .

[20]  Alan S. Willsky,et al.  Mathematics of Control, Signals, and Systems Invertibility of Discrete-event Dynamic Systems* , 2022 .

[21]  Alan S. Willsky,et al.  Aggregation and multi-level control in discrete event dynamic systems , 1992, Autom..