Output stabilizability of discrete-event dynamic systems

The authors investigate the problem of designing stabilizing feedback compensators for discrete-event dynamic systems (DEDS) modeled as finite-state automata in which some transition events are controllable and some events are observed. The problem of output stabilization is defined as the construction of a compensator such that all state trajectories in the closed-loop system go through a given set E infinitely often. The authors also define a stronger notion of output stabilizability which requires that the state not only pass through E infinitely often but that the set of instants when the state is in E and one knows it is in E is also infinite. Necessary and sufficient conditions are presented for both notions. The authors also introduce and characterize a notion of resiliency that corresponds to the system being able to recover from observation errors. In addition, they provide some general bounds for the algorithms considered and discuss several conditions under which far smaller bounds can be achieved. >

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

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

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

[4]  Walter Murray Wonham,et al.  Decentralized supervisory control of discrete-event systems , 1987, Inf. Sci..

[5]  P. Varaiya,et al.  Modeling and control of discrete event systems , 1986, 1986 25th IEEE Conference on Decision and Control.

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

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

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

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

[10]  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..

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

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

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

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