The Control and Veri£cation of Similar Agents Operating in a Broadcast Network Environment

Proceedings of the IEEE Conference on Decision and Control

Volumn 3, Issue , 2003, Pages 2673-2679

  Rohloff, Kurt ^a   Lafortune, Stéphane ^a  

^a UNIVERSITY OF MICHIGAN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; AUTOMATION; BROADCASTING; CONTROL EQUIPMENT; CONTROL THEORY; LOCAL AREA NETWORKS; SYSTEM THEORY;

SUPERVISORY CONTROL THEORY (SCT);

DISCRETE TIME CONTROL SYSTEMS;

EID: 1542288799     PISSN: 07431546     EISSN: 25762370     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (23)

1. C.G. Cassandras and S. Lafortune. Introduction to Discrete Event Systems. Kluwer Academic Publishers, Boston, MA, 1999.
2. Y.L. Chen, S. Lafortune, and F. Lin. Design of nonblocking modular supervisors using event priority functions. IEEE Trans. Auto. Contr., 45(3):432-452, March 2000.
3. P. Gohari and W.M. Wonham. On the complexity of supervisory control design in the RW framework. IEEE Transactions on Systems, Man and Cybernetics, Part B, 30(5):643-652, 2000.
4. D. Harel, O. Kupferman, and M.Y. Vardi. On the complexity of verifying concurrent transition systems. Information and Computation, 173:143-161, 2002.
5. S. Jiang and R. Kumar. Decentralized control of discrete event systems with specializations to local control and concurrent systems. IEEE Transactions on Systems, Man and Cybernetics, Part B, 30(5):653-660, 2000.
6. O. Kupferman, M. Vardi, and P. Wolper. An automata-theoretic approach to branching-time model checking. Journal of the ACM, 47(2):312-360, 2000.
7. R.J. Leduc, B. Brandin, M. Lawford, and W.M. Wonham. Hierarchical interface-based supervisory control: Serial case. In Proc. 40th IEEE Conf. on Decision and Control, pages 4116-4121, 2001.
8. R.J. Leduc, M. Lawford, and W.M. Wonham. Hierarchical interface-based supervisory control: AIP example. In 39th Allerton Conf. on Comm., Contr., and Comp., 2001.
9. F. Lin and W. M. Wonham. Decentralized supervisory control of discrete-event systems. Information Sciences, 44:199-224, 1988.
10. F. Lin and W. M. Wonham. On observability of discrete-event systems. Information Sciences, 44:173-198, 1988.
11. F. Lin and W. M. Wonham. Decentralized control and coordination of discrete-event systems with partial observation. IEEE Trans. Auto. Contr., 35(12):199-224, December 1990.
12. F. Lin and W. M. Wonham. Verification of nonblocking in decentralized supervision. Control-Theory and Advanced Technology, 7(1):223-232, March 1991.
13. M. H. Queiroz and J. E. R. Cury. Modular control of composed systems. In Proc. of 2000 American Control Conference, 2000.
14. P.J. Ramadage. Some tractable supervisory control problems for discrete-event systems modeled by Büchi automata. IEEE Trans. Auto. Contr., 34(1): 10-19, 1989.
15. P.J. Ramadge and W.M. Wonham. The control of discrete-event systems. Proc. IEEE, 77(1):81-98, 1989.
16. K. Rohloff and S. Lafortune. On the computational complexity of the verif£ication of modular discrete-event systems. In Proc. 41st IEEE Conf. on Decision and Control, Las Vegas, Nevada, December 2002.
17. K. Rohloff and S. Lafortune. Recent results on computational issues in supervisory control. In Proc. of the ATPN-Workshop on Discrete Event Systems Control, Eindhoven, The Netherlands, June 2003.
18. K. Rohloff and S. Lafortune. Supervisor existence for modular discrete-event systems. In Proc. 2nd IFAC Conf. on Control Systems Design, Bratislava, Slovakia, September 2003.
19. K. Rudie and W.M. Wonham. Think globally, act locally: Decentralized supervisory control. IEEE Trans. Auto. Contr., 37(11):1692-1708, November 1992.
20. M. Vardi and P. Wolper. Reasoning about infinite computations. Information and Computation, 115:1-37, 1994.
21. Y. Willner and M. Heyman. Supervisory control of concurrent discrete event systems. International Journal of Control, 54(5-):1143-1169, 1991.
22. K.C. Wong and W.M. Wonham. Modular control and coordination of discrete-event systems. Journal of Discrete Event Dynamical Systems: Theory and Applications, 8:247-297, 1998.
23. W. M. Wonham and P. J. Ramadge. Modular supervisory control of discrete event systems. Maths. of Control, Signals and Systems, 1(1): 13-30, 1988.