Coordination planning: Applying control synthesis methods for a class of distributed agents

IEEE Transactions on Control Systems Technology

Volumn 17, Issue 2, 2009, Pages 405-415

  Seow, Kiam Tian ^a   Pham, Manh Tung ^a   Ma, Chuan ^b   Yokoo, Makoto ^c  

^a NANYANG TECHNOLOGICAL UNIVERSITY   (Singapore)

^b UNIVERSITY OF TORONTO   (Canada)

^c KYUSHU UNIVERSITY   (Japan)

Author keywords

Automata; Control synthesis; Coordination design; Discrete event systems; Multi agent planning

Indexed keywords

AGENTS; CONCURRENCY CONTROL; CONTROL THEORY; MULTI AGENT SYSTEMS; SOFTWARE DESIGN; TELECOMMUNICATION NETWORKS; TRANSLATION (LANGUAGES);

AUTOMATA; CONTROL SYNTHESIS; COORDINATION DESIGN; DISCRETE-EVENT SYSTEMS; MULTI-AGENT PLANNING;

COORDINATION REACTIONS;

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

References (33)

1. G. Weiss, Multiagent System: A Modern Approach to Distributed Artificial Intelligence. Cambridge, MA: MIT Press, 1999.
2. T. W. Malone and K. Crowston, "The interdisciplinary study of coordination," ACM Comput. Surveys, vol. 26, no. 1, pp. 87-119, Mar. 1994.
3. E. H. Durfee, V. R. Lesser, and D. D. Corkill, "Trends in cooperative distributed problem solving," IEEE Trans. Knowledge Data Eng., vol. 1, no. 1, pp. 63-83, Mar. 1989.
4. N. R. Jennings, "Coordination techniques for distributed artificial intelligence," in Foundations of Distributed Artificial Intelligence G.M. P. O.'Hare and N. R. Jennings, Eds. New York: Wiley, 1996, pp. 187-210.
5. J. E. Hopcroft and J. D. Ullman, Introduction to Automata Theory, Languages and Computation. Reading, MA: Addison-Wesley, 1979.
6. 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, Jan. 1987.
7. W. M. Wonham, "Notes on control of discrete-event systems ECE 1636F/ 1637S," Systems Control Group, University of Toronto, Jul. 2004. [Online]. Available: http://www.control.toronto.edu/cgi-bin/dldes.cgi
8. P. J. Ramadge and W. M.Wonham, "The control of discrete event systems," Proc. IEEE, vol. 77, no. 1, pp. 81-98, Jan. 1989.
9. W. M. Wonham, "Control design software: TCT," Systems Control Group, University of Toronto, Jul. 2007. [Online]. Available: http:// www.control.toronto.edu/cgi-bin/dlxptct.cgi
10. C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems. Norwell, MA: Kluwer, 1999.
11. W. M.Wonham and P. J. Ramadge, "On the supremal controllable sub-language of a given language," SIAM J. Control Optim., vol. 25, no. 3, pp. 637-659, May 1987.
12. R. Su and W. M. Wonham, "Supervisor reduction for discrete-event systems," Discrete Event Dynamic Syst.: Theory Appl., vol. 14, no. 1, pp. 31-53, 2004.
13. K. T. Seow, C. Ma, and M.Yokoo, "Multiagent planning as control synthesis," in Proc. 3rd Int. Joint Conf. Auton. Agents Multi-Agent Syst., New York, Jul. 2004, pp. 972-979.
14. C. Ma and W. M. Wonham, Nonblocking Supervisory Control of State Tree Structures. Lecture Notes in Control and Information Sciences. New York: Springer-Verlag, 2005, vol. 317.
15. N. R. Jennings, "Commitments and conventions: The foundation of coordination in multi-agent systems," Knowledge Eng. Rev., vol. 8, no. 3, pp. 223-250, 1993.
16. W. M. Wonham, "A control theory for discrete-event systems," in Advanced Computing Concepts and Techniques in Control Engineering. NATO ASI Series, Vol. F47, M. J. Denham and A. J. Laub, Eds. Berlin, Germany: Springer-Verlag, 1988, pp. 129-169.
17. H. V. D. Parunak, S. Brueckner, M. Fleischer, and J. Odell, "A preliminary taxonomy of multi-agent interactions," in Proc. 2nd Int. Conf. Auton. Agents MultiAgent Syst., Melbourne, Australia, Jul. 2003, pp. 1090-1091.
18. W. van der Hoek and M. Wooldridge, "Tractable multiagent planning for epistemic goals," in Proc. 1st Int. Conf. Auton. Agents MultiAgent Syst., Bologna, Italy, Jul. 2002, pp. 1167-1174.
19. K. T. Seow, "Integrating temporal logic as a state-based specification language for discrete-event control design in finite automata," IEEE Trans. Autom. Sci. Eng., vol. 4, no. 3, pp. 451-464, Jul. 2007.
20. M. Wooldridge, "The computational complexity of agent design problems," in Proc. 4th Int. Conf. MultiAgent Syst., Boston, MA, Jul. 2000, pp. 341-348.
21. M. Wooldridge and P. E. Dunne, "Optimistic and disjunctive agent design problems," in Pre-Proc. 7th Int. Workshop on Agent Theories, Arch. Lang., Boston, MA, Jul. 2000, pp. 1-14.
22. F. Giunchiglia and P. Traverso, "Planning as model checking," in Recent Advances in AI Planning, Lecture Notes in Artificial Intelligence L. Cavedon, A. Rao, and W. Wobcke, Eds. Heidelberg, Germany: Springer-Verlag, 1999, vol. 1809, pp. 1-20.
23. E. M. Clarke, O. Grumberg, and D. A. Peled, Model Checking. Cambridge, MA: MIT Press, 2000.
24. P. E. Dunne, M. Wooldridge, and M. Laurence, "The computational complexity of boolean and stochastic agent design problems," in Proc. 1st Int. Conf. Auton. Agents MultiAgent Syst., Bologna, Italy, Jul. 2002, pp. 976-983.
25. P. Wolper and Z. Manna, "Synthesis of communicating processes from temporal logic specifications," in Proc. Workshop Logics Programs New York, 1982, pp. 253-281.
26. E. M. Clarke and E. A. Emerson, "Design and synthesis of synchronization skeletons using branching time temporal logic," in Proc.Workshop Logics Programs, New York, 1982, pp. 52-71.
27. K. Rudie, S. Lafortune, and F. Lin, "Minimal communication in a distributed discrete-event system," IEEE Trans. Autom. Control, vol. 48, no. 6, pp. 957-975, Jun. 2003.
28. K. Rohloff and S. Lafortune, "The control and verification of similar agents operating in a broadcast network environment," in Proc. 42nd IEEE Int. Conf. Decision and Control, Maui, HI, Dec. 2003, pp. 2673-2679.
29. K. H. Cho and J. T. Lim, "Multiagent supervisory control for antifault propagation in serial production systems," IEEE Trans. Ind. Electron., vol. 48, no. 2, pp. 460-466, Apr. 2001.
30. M. Wooldridge, "Agent-based software engineering," IEE Proc. Softw. Eng., vol. 144, no. 1, pp. 26-37, 1997.
31. Y. Li and W. M.Wonham, "Concurrent vector discrete event systems," IEEE Trans. Autom. Control, vol. 40, no. 4, pp. 628-638, Apr. 1995.
32. P. Hubbard and P. E. Caines, "Initial investigations of hierarchical supervisory control for multi-agent systems," in Proc. 38th IEEE Int. Conf. Decision Control, Phoenix, AZ, Dec. 1999, pp. 2218-2223.
33. I. Romanovski and P. E. Caines, "On the supervisory control of multiagent product systems: Controllability properties," Syst. Control Lett., vol. 56, no. 2, pp. 113-121, Apr. 2007.