Automatic synthesis of multi-agent motion tasks based on LTL specifications

Proceedings of the IEEE Conference on Decision and Control

Volumn 1, Issue , 2004, Pages 153-158

  Loizou, Savvas G ^a   Kyriakopoulos, Kostas J ^a  

^a NATIONAL TECHNICAL UNIVERSITY OF ATHENS   (Greece)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; CLOSED LOOP CONTROL SYSTEMS; COMPUTER SIMULATION; CONTROL EQUIPMENT; FUNCTIONS; LOGIC PROGRAMMING; MATRIX ALGEBRA; MOTION CONTROL; ROBOTS; SET THEORY; SWITCHING SYSTEMS;

BUCHI AUTOMATA; LINEAR TEMPORAL LOGIC (LTL) SPECIFICATIONS; LOCAL CONTROLLERS; MULTI-AGENT CONTROLLERS;

MULTI AGENT SYSTEMS;

EID: 14344252158     PISSN: 07431546     EISSN: 25762370     Source Type: Conference Proceeding    
DOI: 10.1109/cdc.2004.1428622     Document Type: Conference Paper

References (14)

1. E.Klavins, "Automatic synthesis of controllers for assembly and formation forming," Proceedings of the International Conference on Robotics and Automation, 2002.
2. P. Tabuada and G. J. Pappas, "Linear time logic control of linear systems," Submitted, IEEE Transactions on Automatic Control, 2004.
3. M. Egerstedt, "Motion description languages for multi-modal control in robotics," in Control Problems in Robotics, (A. Bicchi, H. Cristensen and D. Prattichizzo Eds.), ser. Springer Tracts in Advanced Robotics. Springer-Verlag, 2002, pp. 75-90.
4. J. H. V. Manikonda, P.S. Krishnaprasad, "Languages, behaviors, hybrid architectures, and motion control," in Mathematical Control Theory, Baillieul and Willems eds. Springer-Verlag, 1998, pp. 199-226.
5. J. Buchi, "On a decision method in restricted second order arithmetic," In Proc. Internal. Congr. Logic, Method and Philos. Sci., pp. 1-12, Stanford, 1962, Stanford University Press.
6. P. Wolper, "Constructing automata from temporal logic formulas: A tutorial," in Lectures on Formal Methods in Performance Analysis, ser. Lecture Notes in Computer Science, vol. 2090. Springer-Verlag, 2001, pp. 261-277.
7. S. G. Loizou and K. J. Kyriakopoulos, "Closed loop navigation for multiple holonomic vehicles," Proc. of IEEE/RSJ Int. Conf. on Intelligent Robots and Systems, pp. 2861-2866, 2002.
8. S. Loizou and K. Kyriakopoulos, "Multi-robot navigation functions," submitted, IEEE Transactions on Robotics, 2004.
9. D. E. Koditschek and E. Rimon, "Robot navigation functions on manifolds with boundary," Advances Appl. Math., vol. 11, pp. 412-442, 1990.
10. E. Rimon and D. E. Koditschek, "Exact robot navigation using artificial potential functions," IEEE Trans. on Robotics and Automation, vol. 8, no. 5, pp. 501-518, 1992.
11. _, "The construction of analytic diffeomorphisms for exact robot navigation on star worlds," Trans. of the American Mathematical Society, vol. 327, no. 1, pp. 71-115, September 1991.
12. H. G. Tanner, S. G. Loizou, and K. J. Kyriakopoulos, "Nonholonomic stabilization with collision avoidance for mobile robots," Proc. of IEEE/RSJ Int. Conf. on Intelligent Robots and Systems, pp. 1220-1225, 2001.
13. J. Milnor, Morse theory, ser. Annals of Mathematics Studies. Princeton, NJ: Princeton University Press, 1963.
14. S. G. Loizou and K. J. Kyriakopoulos, "Closed loop navigation for multiple holonomic vehicles," NTUA, available at users.ntua.gr/sloizou/, Tech. Report, 2002.