Formal modeling and supervisory control of reconfigurable robot teams

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 2699, Issue , 2003, Pages 92-102

  Kiriakidis, Kiriakos ^a   Gordon Spears, Diana F ^b  

^a UNITED STATES NAVAL ACADEMY   (United States)

^b UNIVERSITY OF WYOMING   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL MODELING; ROBOT TEAMS; ROBOTIC SYSTEM; SUPERVISORY CONTROL; AIR BORNE; CONTROLLED BEHAVIOR; FORMAL MODEL; RECONFIGURABLE; RECONFIGURABLE ROBOT; ROBOTIC SYSTEMS;

ARTIFICIAL INTELLIGENCE; DISCRETE TIME CONTROL SYSTEMS; LEARNING SYSTEMS; ROBUSTNESS (CONTROL SYSTEMS); SWITCHING; DISCRETE EVENT SIMULATION; RECONFIGURABLE HARDWARE; ROBOTS;

ROBOTICS;

EID: 7044247207     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-45133-4_8     Document Type: Conference Paper

References (18)

1. C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems. Boston, Massachusetts: Kluwer Academic Publishers, 2001.
2. Y.-L. Chen, S. Lafortune, and F. Lin, "How to reuse supervisors when discrete event systems evolve," in Proceedings of the IEEE Conference on Decision and Control, (San Diego, CA), pp. 1442-1448, 1997.
3. Y. Du and S. H. Wang, "Control of discrete-event systems with minimal switching," International Journal of Control, Vol. 48, no. 3, pp. 981-991, 1988.
4. D. Gordon, "Asimovian adaptive agents," Journal of Artificial Intelligence Research, Vol. 13, pp. 95-153, 2000.
5. K. Kiriakidis and D. Gordon, "Supervision of multiple-robot systems," in Proceedings of the American Control Conference, (Arlington, VA), June 2001, pp. 2117-2118.
6. D. Gordon and K. Kiriakidis, "Adaptive supervisory control of interconnected discrete event systems," in Proceedings of the 2000 IEEE Conference on Control Applications, (Anchorage, AK), Sept. 2000, pp. 935-940.
7. D. Gordon and K. Kiriakidis, "Design of adaptive supervisors for discrete event systems via learning," in Proceedings of the ASME Dynamic Systems and Control Division, International Mechanical Engineering Congress and Exposition, (Orlando, FL), Nov. 2000, pp. 365-370.
8. J. Hopcroft and J. Ullman, Introduction to Automata Theory, Languages, and Computation. Menlo Park, California: Addison-Wesley, 1979.
9. K. Kiriakidis and D. Gordon, "Supervision of multiple-robot systems," abstract in Lecture Notes in Artificial Intelligence, Volume 1871 (Proceedings of FAABS'00), Springer-Verlag, 2001.
10. R. Kumar and V. K. Garg, Modeling and Control of Logical Discrete Event Systems. Boston, Massachusets: Kluwer Academic Publishers, 1995.
11. P. Kurshan, Computer Aided Verification of Coordinating Processes. Princeton, New Jersey: Princeton University Press, 1994.
12. F. Lin, "Robust and adaptive supervisory control of discrete event systems," IEEE Transactions on Automatic Control, Vol. 38, no. 12, pp. 1842-1852, 1993.
13. P. J. Ramadge and W. M. Wonham, "Supervisory control of a class of discrete event processes," SIAM J. Control and Optimization, Vol. 25, no. 1, pp. 206-230, 1987.
14. P. J. Ramadge and W. M. Wonham, "The control of discrete event systems," Proceedings of the IEEE, Vol. 77, no. 1, pp. 81-98, 1989.
15. J. G. Thistle, "Supervisory control of discrete event systems," Mathematical and Computer Modelling, Vol. 23, no. 11, pp. 25-53, 1996.
16. W. M. Wonham and P. J. Ramadge, "Modular supervisory control of discrete-event systems," Mathematics of Control, Signals, and Systems, Vol. 1, no. 1, pp. 13-30, 1988.
17. W. M. Wonham and P. J. Ramadge, "On the supremal controllable sublanguage of a given language," SIAM J. Control and Optimization, Vol. 25, no. 3, pp. 637-659, 1987.
18. S. Young and V. K. Garg, "Model uncertainty in discrete event systems," SIAM J. Control and Optimization, Vol. 33, no. 1, pp. 208-226, 1995.