Abstract
We apply the stability theory of dynamical systems presented in Chapters 3 and 4 in the analysis of an important class of discrete-event systems. We show that these discrete-event systems determine dynamical systems. We establish necessary and sufficient conditions for the uniform stability and the uniform asymptotic stability of invariant sets with respect to the class of discrete-event systems considered. We apply these results in the analysis of two specific examples, a manufacturing system and a load balancing problem in a computer network.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Bibliography
D.P. Bertsekas, J.N. Tsitsiklis, Parallel and Distributed Computation: Numerical Methods (Prentice Hall, Englewood Cliffs, 1989)
F. Blanchini, M. Stefano, Set-Theoretic Methods in Control (Birkhäuser, Boston, 2008)
R.K. Boel, J.H. van Schuppen, Distributed routing for load balancing. Proc. IEEE 77, 210–221 (1989)
E.M. Clark, M.C. Browne, E.A. Emerson, A.P. Sistla, Using temporal logic for automatic verification of finite state systems, in Logic and Models of Concurrent Systems, ed. by K.R. Apt (Springer, New York, 1985), pp. 3–25
G. Cybenko, Dynamic load balancing for distributed memory multi-processors. Technical Report 87-1, Department of Computer Science, Tufts University, Medford, 1987
N. Francez, Fairness (Springer, New York, 1986)
J.F. Knight, K.M. Passino, Decidability for a temporal logic used in discrete event system analysis. Int. J. Control 52, 1489–1506 (1990)
Z. Manna, A. Pnueli, Verification of concurrent programs: a temporal proof system. Report No. STAN-CS-83-967, Department of Computer Science, Stanford University, 1983
A.N. Michel, K. Wang, K.M. Passino, Qualitative equivalence of dynamical systems with applications to discrete event systems, in Proceedings of the 31st IEEE Conference on Decision and Control, Tuscon, December 1992, pp. 731–736
A.N. Michel, K. Wang, K.M. Passino, Stability preserving mappings and qualitative equivalence of dynamical systems-Part I. Avtomatika i Telemekhanika 10, 3–12 (1994)
T. Murata, Petri nets: properties, analysis, and applications. Proc. IEEE 77, 541–580 (1989)
K.M. Passino, A.N. Michel, P.J. Antsaklis, Stability analysis of discrete event systems, in Proceedings of the 28th Annual Allerton Conference on Communication, Control and Computing, University of Illinois at Urbana-Champaign, October 1990, pp. 487–496
K.M. Passino, A.N. Michel, P.J. Antsaklis, Lyapunov stability of discrete event systems, in Proceedings of the 1991 American Control Conference, Boston, June 1991, pp. 2911–2916
K.M. Passino, A.N. Michel, P.J. Antsaklis, Lyapunov stability of a class of discrete event systems. IEEE Trans. Autom. Control 39, 269–279 (1994)
M. Raynal, Algorithms for Mutual Exclusion (MIT, Cambridge, 1986)
J.G. Thistle, W.M. Wonham, Control problems in a temporal logic framework. Int. J. Control 44, 943–976 (1986)
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Michel, A.N., Hou, L., Liu, D. (2015). Applications to a Class of Discrete-Event Systems. In: Stability of Dynamical Systems. Systems & Control: Foundations & Applications. Birkhäuser, Cham. https://doi.org/10.1007/978-3-319-15275-2_5
Download citation
DOI: https://doi.org/10.1007/978-3-319-15275-2_5
Publisher Name: Birkhäuser, Cham
Print ISBN: 978-3-319-15274-5
Online ISBN: 978-3-319-15275-2
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)