On the supervisory control of multiagent product systems

IEEE Transactions on Automatic Control

Volumn 51, Issue 5, 2006, Pages 794-799

  Romanovski, I ^a   Caines, Peter E ^b  

^a QUEEN S UNIVERSITY   (Canada)

^b MCGILL UNIVERSITY   (Canada)

Author keywords

Decentralized systems; Discrete event systems; Multiagent (MA) product distributed systems; Supervisory control

Indexed keywords

CONTROL SYSTEM SYNTHESIS; CONTROLLABILITY; DECENTRALIZED CONTROL; LARGE SCALE SYSTEMS;

DECENTRALIZED SYSTEMS; DISCRETE EVENT SYSTEMS; MULTIAGENT PRODUCT DISTRIBUTED SYSTEMS; SUPERVISORY CONTROL;

MULTI AGENT SYSTEMS;

EID: 33646935699     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/TAC.2006.875027     Document Type: Article

References (24)

1. ARENA Software Package [Online]. Available: http://www.rockwellsoftware.com
2. A. Arnold, Finite Transition Systems. Upper Saddle River, NJ: Prentice-Hall, 1994.
3. C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems. Norwell, MA: Kluwer, 1999.
4. R. Fagin, J. Halperin, Y. Moses, and Y. Moshe, Reasoning about Knowledge. Cambridge, MA: MIT Press, 1995.
5. P. Hubbard and P. E. Caines, "Initial investigations of hierarchical supervisory control for multi-agent systems," in Proc. 38th IEEE Conf. Decision Control, vol. 3, Phoenix, AZ, 1999, pp. 2218-2223.
6. P. Hubbard, "Hierarchical supervisory control systems," Ph.D. dissertation, Dept. Elect. Comp. Eng., McGill Univ., Montreal, QC, Canada, 1999.
7. M. Heymann, "Concurrency and discrete event control," IEEE Control Syst. Mag., vol. 10, no. 4, pp. 103-112, Apr. 1990.
8. C. Hoare, Communicating Sequential Processes. Upper Saddle River, NJ: Prentice-Hall, 1985, International Series in Computer Science.
9. J. Hartmanis and R. E. Stearns, Algebraic Structure Theory of Sequential Machines. Upper Saddle River, NJ: Prentice-Hall, 1966.
10. R. Kumar and V. K. Garg, Modeling and Control of Logical Discrete Event Systems. Norwell, MA: Kluwer, 1995.
11. T. Kam, T. Villa, R. Brayton, and A. Sangiovanni-Vincentelli, Synthesis of Finite State Machines: Functional Optimization. Norwell, MA: Kluwer, 1997.
12. Y. Li and W. M. Wonham, "Control of vector discrete-event systems I base model," IEEE Trans. Autom. Control, vol. 38, no. 8, pp. 1214-1227, Aug. 1993.
13. Y. Li and W. M. Wonham, "Concurrent vector discrete event systems," IEEE Trans. Autom. Control, vol. 40, no. 4, pp. 628-637, Apr. 1995.
14. A. Pattavina, "Nonblocking architectures for ATM switching," IEEE Commun. Mag., vol. 31, no. 2, pp. 38-48, Feb. 1993.
15. P. J. Ramadge and W. M. Wonham, "Supervisory control of a class of discrete event processes," SIAM J. Control Optim., vol. 25, pp. 206-230, 1987.
16. P. J. Ramadge and W. M. Wonham, "The control of discrete event systems," Proc. IEEE, vol. 77, no. 1, pp. 81-98, Jan. 1989.
17. I. Romanovski, "Multi-agent product systems: Analysis, synthesis and control," Ph.D. dissertation, Dept. Elect. Comp. Eng., McGill Univ., Montreal, QC, Canada, 2003.
18. I. Romanovski and P. E. Caines, "On vector trajectory specifications for multi-agent product systems," in Proc. 40th IEEE Conf. Decision Control, Orlando, FL., 2001, pp. 2333-2334.
19. I. Romanovski and P. E. Caines, "Multi-agent products and trajectory specifications in supervisory control theory," in Proc. Amer. Control Conf., Anchorage, AK, May 2002, pp. 722-723.
20. A.W. Roscoe, The Theory and Practice of Concurrency. Upper Saddle River, NJ: Prentice-Hall, 1998.
21. K. Rudie and J. Willems, "The computational complexity of decentralized discrete-event control problems," IEEE Trans. Autom. Control, vol. 40, no. Jul., pp. 1313-1319, 1995.
22. W. M. Wonham. Notes on control of discrete-event systems. [Online]. Available: http://www.control.utoronto.ca/cgi-bin/dldes.cgi
23. W. M. Wonham and P. J. Ramadge, "On the supremal controllable sublanguage of a given language," SIAM J. Control Optim., vol. 25, pp. 637-659, 1987.
24. G. Yin and Q. Zhang, Eds., Mathematics of Stochastic Manufacturing Systems. Providence, RI: AMS, 1997.