Reconfigurable robot teams: Modeling and supervisory control

IEEE Transactions on Control Systems Technology

Volumn 12, Issue 5, 2004, Pages 763-769

  Gordon Spears, Diana ^a   Kiriakidis, Kiriakos ^b  

^a UNIVERSITY OF WYOMING   (United States)

^b UNITED STATES NAVAL ACADEMY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DISCRETE TIME CONTROL SYSTEMS; DYNAMICS; LEARNING ALGORITHMS; MATHEMATICAL MODELS; MOBILE ROBOTS; ROBOTICS; THEOREM PROVING;

AUTONOMOUS VEHICLE GROUPS; DISCRETE EVENT SYSTEMS; ROBOTIC GROUP; SUPERVISORY CONTROL;

ADAPTIVE CONTROL SYSTEMS;

EID: 4444347823     PISSN: 10636536     EISSN: None     Source Type: Journal    
DOI: 10.1109/TCST.2004.825048     Document Type: Article

References (19)

1. P. J. Ramadge and W. M. Wonham, "Supervisory control of a class of discrete event processes," SIAM J. Control Optim., vol. 25, no. 1, pp. 206-230, 1987.
2. W. M. Wonham and P. J. Ramadge, "On the supremal controllable sublanguage of a given language," SIAM J. Control Optim., vol. 25, no. 3, pp. 637-659, 1987.
3. P. Kurshan, Computer Aided Verification of Coordinating Processes. Princeton, NJ: Princeton Univ. Press, 1994.
4. Y. Du and S. H. Wang, "Control of discrete-event systems with minimal switching," Int. J. Control, vol. 48, no. 3, pp. 981-991, 1988.
5. W. M. Wonham and P. J. Ramadge, "Modular supervisory control of discrete-event systems," Math. Control Signals Syst., vol. 1, no. 1, pp. 13-30, 1988.
6. J. G. Thistle, "Supervisory control of discrete event systems," Math. Comput. ModeL, vol. 23, no. 11, pp. 25-53, 1996.
7. F. Lin, "Robust and adaptive supervisory control of discrete event systems," IEEE Trans. Automat. Contr., vol. 38, pp. 1842-I 852, Dec. 1993.
8. S. Young and V. K. Garg, "Model uncertainty in discrete event systems," SIAM J. Control Optim., vol. 33, no. 1, pp. 208-226, 1995.
9. Y.-L. Chen, S. Lafortune, and F. Lin, "How to reuse supervisors when discrete event systems evolve," in Proc. IEEE Conf. Decision and Control, San Diego, CA, 1997, pp. 1442-1448.
10. P. J. Ramadge and W. M. Wonham, "The control of discrete event systems," Proc. IEEE, vol. 77, pp. 81-98, Jan. 1989.
11. C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems. Norwell, MA: Kluwer, 2001.
12. R. Kumar and V. K. Garg, Modeling and Control of Logical Discrete Event Systems. Norwell, MA: Kluwer, 1995.
13. M. Vardi and P. Wolper, "An automata-theoretic approach to automatic program verification," in Proc. 1st Annu. IEEE Symp. Logic Computer Science, Cambridge, MA, 1986, pp. 322-331.
14. K. Kiriakidis and D. Gordon, "Supervision of multiple-robot systems," in Proc. Amer. Control Conf., Washington, DC, 2001, pp. 2117-2118.
15. D. Gordon and K. Kiriakidis, "Adaptive supervisory control of interconnected discrete event systems," in Proc. IEEE Conf. Control Applications, Anchorage, AK, 2000, pp. 935-940.
16. D. Gordon, "Design of adaptive supervisors for discrete event systems via learning," in Proc. ASME Dynamic Systems Control Division, Int. Mechanical Engineering Congr. Exposition, Orlando, FL, 2000, pp. 365-370.
17. J. Hopcroft and J. Ullman, Introduction to Automata Theory, Languages, and Computation. Reading, MA: Addison-Wesley, 1979.
18. K. Rosen, Discrete Mathematics and Its Applications. New York: McGraw-Hill, 2003.
19. D. Gordon, "Asimovian adaptive agents," J. Artif. Intell. Res., vol. 13, pp. 95-153, 2000.