Lyapunov Stability of a Class of Discrete Event Systems

IEEE Transactions on Automatic Control

Volumn 39, Issue 2, 1994, Pages 269-279

  Michel, Anthony N ^b   Antsaklis, Panos J ^b  

^a Department of Electrical Engineering University ^*  (United States)

^b UNIVERSITY OF NOTRE DAME   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DISCRETE TIME CONTROL SYSTEMS; FINITE AUTOMATA; MATHEMATICAL MODELS; PETRI NETS;

DISCRETE EVENT SYSTEMS (DES); DYNAMICAL SYSTEMS; STABILITY ANALYSIS;

SYSTEM STABILITY;

EID: 0028368830     PISSN: 00189286     EISSN: 15582523     Source Type: Journal    
DOI: 10.1109/9.272323     Document Type: Article

References (33)

1. V. I. Zubov, Methods of A.M. Lyapunov and Their Applications. The Netherlands: Noordhoff, 1964.
2. P. J. Ramadge and W.M. Wonham, “Supervisory control of a class of discrete event processes,” SIAM J. Contr. Optimiz., vol. 25, no. 1, pp. 206–230, Jan. 1987.
3. T. Murata, “Petri nets: Properties, analysis, and applications,” in Proc. IEEE, vol. 77, no. 4, pp. 541–580, Apr. 1989.
4. K. M. Passino, A.N. Michel, and P.J. Antsaklis, “Stability analysis of discrete event systems,” in Proc. 28th Allerton Conf. Commun., Contr., Comput., Univ. Illinois, Urbana-Champaign, IL, 1990, pp. 487–496.
5. K. M. Passino, A.N. Michel, and P.J. Antsaklis, “Lyapunov stability of a class of discrete event systems,” in Proc. Amer. Contr. Conf, Boston, MA, 1991, pp. 2911–2916.
6. A. Fusaoka, H. Seki, and K. Takahashi, “A description and reasoning of plant controllers in temporal logic,” in Proc. 8th Int. Joint Conf Artificial Intelligence, Aug. 1983, pp. 405 -408.
7. Z. Manna and A. Pnueli, “Verification of concurrent programs: A temporal proof system,” Dept. Comput. Sci., Stanford Univ., Rep. no. STAN-CS-83-967, 1983.
8. J. G. Thistle and W. M. Wonham, “Control problems in a temporal logic framework,” Int. J. Contr., vol. 44, no. 4, 943–976, 1986.
9. J. F. Knight and K.M. Passino, “Decidability for temporal logic in control theory,” in Proc. Allerton Conf. Commun., Contr., Comput., Univ. Illinois, Urbana-Champaign, IL, 1987, pp. 335–344.
10. J. F. Knight and K.M. Passino, “Decidability for a temporal logic used in discrete event system analysis,” Int. J. Contr., vol. 52, no. 6, pp. 1489–1506, 1990.
11. J. S. Ostroff, “Real-time computer control of discrete systems modelled by extended state machines: a temporal logic approach,” Ph.D. dissertation, Dept, of Elect. Eng., Univ. of Toronto, Canada, Rep. No. 8618, 1987.
12. E. M. Clarke, M. C. Browne, E.A. Emerson, and A.P. Sistla, “Using temporal logic for automatic verification of finite state systems,” in Logics and Models of Concurrent Systems, K. R. Apt, Ed. NY: Springer Verlag, 1985, pp. 3–25.
13. K. M. Passino and P.J. Antsaklis, “Branching time temporal logic for discrete event system analysis,” in Proc. 26th Allerton Conf. Commun., Cont., Comput., Univ. Illinois, Urbana-Champaign, IL, 1988, pp. 1160–1169.
14. J. R. Buchi, “On a decision method in restricted second order arithmetic,” in Proc. Int. Congress on Logic, mathematics, and Phil. Sci., 1960. Stanford, CA: Stanford Univ. Press, 1962, pp. 1–11.
15. D. E. Muller, “Infinite sequences and finite machines,” in Switching Circuit Theory and Logic Design, in Proc. Fourth Annual Symp., IEEE, Chicago, IL 1963, pp. 3–16.
16. C. M. Ozveren, A.S. Willsky, and P.J. Antsaklis, “Stability and Stabilizability of Discrete Event Dynamic Systems,” MIT, Cambridge, MA, LIDS Rep. LIDS-P-1853, Feb. 1989; and J. ACM, to be published.
17. C. M. Ozveren “Anaysis and control of discrete event dynamic systems: A state space approach,” Ph. D. dissertation, MIT, Cambridge, MA, LIDS Rep. LIDS-TH-1907, Aug. 1989.
18. Y. Brave and M. Heymann, “On stabilization of discrete event processes,” in Proc. 28th Conf. Decision and Contr., Tampa, FL, 1989, pp. 2737–2742.
19. P. J. Ramadge, “Some tractable supervisory control problems for discrete-event systems modeled by Buchi automata,” IEEE Trans. Automat. Contr., vol. 34, no. 1, pp. 10–19, 1989.
20. B. H. Krogh, “Controlled petri nets and maximally permissive feedback logic,” in Proc. 25th Allerton Conf., Univ. Illinois, Urbana-Champaign, IL, 1987, pp. 317–326.
21. J. N. Tsitsiklis, “On the stability of asychronous iterative processes,” Math. Sys. Theory, vol. 20, pp. 137–153, 1987.
22. A. N. Michel and R. K. Miller, Qualitative Analysis of Large Scale Dynamical Systems. New York: Academic, 1977.
23. J. R. Perkins and P. R. Kumar, “Stable, distributed, real-time scheduling of flexible manufacturing/assembly/disassembly systems,” IEEE Trans. Automat. Contr., vol. 34, no. 2, pp. 139–148, Feb. 1989.
24. P. R. Kumar and T. I. Seidman, “Dynamic instabilities and stabilization methods in distributed real-time scheduling of manufacturing systems,” IEEE Trans. Automat. Contr., vol. 35, no. 3, pp. 289–298, Mar. 1990.
25. W. Hahn, Stability of Motion. New York: Springer Verlag, 1967.
26. K. M. Passino and A.N. Michel, “Stability and boundedness analysis of discrete event systems,” in Proc. Amer. Contr. Conf, Chicago, IL, 1992, pp 3201–3205.
27. E. W. Dijkstra, “Self-stabilizing systems in spite of distributed control,” Commun. The ACM, vol. 17, no. 11, pp. 643 -644, Nov. 1974.
28. M. Raynal, Algorithms for Mutual Exclusion. Cambridge, MA: MIT Press, 1986.
29. N. Francez, Fairness. New York: Springer-Verlag, 1986.
30. D. P. Bertsekas and J.N. Tsitsiklis, Parallel and Distributed Computation: Numerical Methods. Englewood Cliffs, NJ: Prentice-Hall, 1989.
31. R. K. Boel and J.H. van Schuppen, “Distributed routing for load balancing,” Proc. IEEE, vol. 77, no. 1, pp. 210–221, 1989.
32. G. Cybenko, “Dynamic load balancing for distributed memory multi-processors,” Tufts Univ., Medford, MA, Dept, of Comput. Sci. Tech. Rep. 87–1, 1987; and J. Parallel and Distributed Comput., to be published.
33. K. L. Burgess and K. M. Passino, “Stability analysis of load balancing systems,” in Proc. of the Amer. Contr. Conf, San Francisco, CA, June 1992, pp. 2415–2419.