Normal Processes for Modeling the Desired Behavior of Distributed Autonomous Discrete Event Systems
暂无分享,去创建一个
[1] Jan A. Bergstra,et al. Algebra of Communicating Processes with Abstraction , 1985, Theor. Comput. Sci..
[2] James S. Albus,et al. Theory and Practice of Hierarchical Control , 1981 .
[3] W. M. Wonham,et al. On the consistency of hierarchical supervision in discrete-event systems , 1990 .
[4] Jay Loren Gischer,et al. Partial orders and the axiomatic theory of shuffle (pomsets) , 1985 .
[5] Rein Smedinga,et al. Discrete Event Systems: Modeling and Control : Proceedings of a Joint Workshop Held in Prague, August 1992 , 1993 .
[6] Hans-Dieter Burkhard,et al. Fairness and Control in Multi-Agent Systems , 1997, Theor. Comput. Sci..
[7] Y. Brave. Control of discrete event systems modeled as hierarchical state machines , 1993, IEEE Trans. Autom. Control..
[8] Shashi Phoha,et al. A hierarchical structure of interacting automata for modeling battlefield dynamics: controllability and formal specification , 1996 .
[9] Walter Murray Wonham,et al. Hierarchical control of discrete-event systems , 1996, Discret. Event Dyn. Syst..
[10] J. Willems,et al. The computational complexity of decentralized discrete-event control problems , 1995, IEEE Trans. Autom. Control..
[11] Y. Ho,et al. Models of discrete event dynamic systems , 1990, IEEE Control Systems Magazine.
[12] Keon-Myung Lee,et al. Hierarchical partition of nonstructured concurrent systems , 1997, IEEE Trans. Syst. Man Cybern. Part B.
[13] P. Caines,et al. Hierarchical hybrid control systems: a lattice theoretic formulation , 1998, IEEE Trans. Autom. Control..
[14] Jeffrey D. Ullman,et al. Introduction to Automata Theory, Languages and Computation , 1979 .
[15] P. Ramadge,et al. Supervisory control of a class of discrete event processes , 1987 .
[16] Walter Murray Wonham,et al. Hierarchical control of timed discrete-event systems , 1996, Discret. Event Dyn. Syst..
[17] William H. Sanders,et al. Frameworks for evaluating discrete event dynamic systems , 1993, Discrete event dynamic systems.
[18] P. Caines,et al. The hierarchical lattices of a finite machine , 1995 .
[19] E. Szpilrajn. Sur l'extension de l'ordre partiel , 1930 .