Lyapunov Stability of a Class of Discrete Event Systems

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 discrete time DES with equations of motion that are most often non-linear and discontinuous with respect to event occurrences. Recently, there has been much interest in studying the stability properties of logical DES and several definitions for stability, and methods for stability analysis have been proposed. Here we introduce a logical DES model and define stability in the sense of Lyapunov for logical DES. Then we show that a more conventional analysis of stability which employs appropriate Lyapunov functions can be used for logical DES. This standard approach has the advantage of not requiring high computational complexity (as some of the others) but the difficulty lies in specifying the Lyapunov functions. The approach is illustrated on a manufacturing system that processes batches of N different types of parts according to a priority scheme, one of Dijkstra's "self-stabilizing" distributed Systems, and a load balancing problem in computer networks.

[1]  S. Sieber.  On a decision method in restricted second-order arithmetic , 1960 .

[2]  David E. Muller,et al.  Infinite sequences and finite machines , 1963, SWCT.

[3]  Edsger W. Dijkstra,et al.  Self-stabilizing systems in spite of distributed control , 1974, CACM.

[4]  Z. Manna,et al.  Verification of concurrent programs: a temporal proof system , 1983 .

[5]  Kazuko Takahashi,et al.  A Description and Reasoning of Plant Controllers in Temporal Logic , 1983, IJCAI.

[6]  Edmund M. Clarke,et al.  Using Temporal Logic for Automatic Verification of Finite State Systems , 1984, Logics and Models of Concurrent Systems.

[7]  W. M. Wonham,et al.  Control problems in a temporal logic framework , 1986 .

[8]  Michel Raynal,et al.  Algorithms for mutual exclusion , 1986 .

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

[10]  P. R. Kumar,et al.  Stable distributed real-time scheduling of flexible manufacturing/assembly/disassembly systems , 1988, Proceedings of the 27th IEEE Conference on Decision and Control.

[11]  J. H. van Schuppen,et al.  Distributed routing for load balancing , 1989, Proc. IEEE.

[12]  P. R. Kumar,et al.  Dynamic instabilities and stabilization methods in distributed real-time scheduling of manufacturing systems , 1989, Proceedings of the 28th IEEE Conference on Decision and Control,.

[13]  M. Heymann,et al.  On stabilization of discrete-event processes , 1989, Proceedings of the 28th IEEE Conference on Decision and Control,.

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

[15]  George Cybenko,et al.  Dynamic Load Balancing for Distributed Memory Multiprocessors , 1989, J. Parallel Distributed Comput..

[16]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[17]  Kevin M. Passino,et al.  Decidability for a temporal logic used in discrete-event system analysis , 1990 .

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

[19]  Kevin M. Passino,et al.  Stability and Boundedness Analysis of Discrete Event Systems , 1992, 1992 American Control Conference.

[20]  Kevin M. Passino,et al.  Stability Analysis of Load Balancing Systems , 1993, 1993 American Control Conference.