Applications to a Class of Discrete-Event Systems
暂无分享,去创建一个
[1] Edmund M. Clarke,et al. Using Temporal Logic for Automatic Verification of Finite State Systems , 1984, Logics and Models of Concurrent Systems.
[2] J. H. van Schuppen,et al. Distributed routing for load balancing , 1989, Proc. IEEE.
[3] Kevin M. Passino,et al. Qualitative equivalence of dynamical systems with applications to discrete event systems , 1992, [1992] Proceedings of the 31st IEEE Conference on Decision and Control.
[4] W. M. Wonham,et al. Control problems in a temporal logic framework , 1986 .
[5] Panos J. Antsaklis,et al. Lyapunov stability of a class of discrete event systems , 1994, IEEE Trans. Autom. Control..
[6] Z. Manna,et al. Verification of concurrent programs: a temporal proof system , 1983 .
[7] George Cybenko,et al. Dynamic Load Balancing for Distributed Memory Multiprocessors , 1989, J. Parallel Distributed Comput..
[8] Kevin M. Passino,et al. Decidability for a temporal logic used in discrete-event system analysis , 1990 .
[9] Michel Raynal,et al. Algorithms for mutual exclusion , 1986 .
[10] Franco Blanchini,et al. Set-theoretic methods in control , 2007 .
[11] John N. Tsitsiklis,et al. Parallel and distributed computation , 1989 .
[12] Tadao Murata,et al. Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.
[13] Kevin M. Passino,et al. Stability Analysis of Discrete Event Systems , 1998 .