Temporal logic planning and control of robotic swarms by hierarchical abstractions

IEEE Transactions on Robotics

Volumn 23, Issue 2, 2007, Pages 320-330

  Kloetzer, Marius ^a   Belta, Calin ^a  

^a Boston University   (United States)

Author keywords

Control; Model checking; Motion planning; Robotic swarms; Temporal logic

Indexed keywords

COLLISION AVOIDANCE; CONTROL SYSTEMS; MOBILE ROBOTS; MODEL CHECKING; MOTION PLANNING; TEMPORAL LOGIC;

POLYHEDRAL VELOCITY BOUNDS; ROBOTIC SWARMS;

ROBOTICS;

EID: 34247247620     PISSN: 15523098     EISSN: None     Source Type: Journal    
DOI: 10.1109/TRO.2006.889492     Document Type: Article

References (29)

1. T. Eren, P. N. Belhumeur, and A. S. Morse, "Closing ranks in vehicle formations based rigidity," in Proc. IEEE Conf. Decision Control, Las Vegas, NV, Dec. 2002, vol. 3, pp. 2959-2964.
2. R. Olfati-Saber and R. M. Murray, "Consensus problems in networks of agents with switching topology and time-delays," IEEE Trans. Autom. Control, vol. 49, no. 9, pp. 1520-1533, Sep. 2004.
3. M. Egerstedt and X. Hu, "Formation constrained multi-agent control," in Proc. IEEE Conf. Robot. Autom., Seoul, Korea, May 2001, vol. 4, pp. 3961-3966.
4. P. Ogren, E. Fiorelli, and N. E. Leonard, "Cooperative control of mobile sensor networks: Adaptive gradient climbing in a distributed environment," IEEE Trans. Autom. Control, vol. 49, no. 8, pp. 1292-1302, Aug. 2004.
5. C. Belta and V. Kumar, "Optimal motion generation for groups of robots: A geometric approach," J. Mech. Des., vol. 126, pp. 63-70, 2004.
6. R. G. Littlejohn and M. Reinsch, "Internal or shape coordinates in the n-body problem," Phys. Rev. A, vol. 52, no. 3, pp. 2035-2051, 1995.
7. F. Zhang, M. Goldgeier, and P. S. Krishnaprasad, "Control of small formations using shape coordinates," in Proc. IEEE ICRA, Taipei, Taiwan, 2003, vol. 2, pp. 2510-2515.
8. E. Justh and P. Krishnaprasad, "Steering laws and continuum models for planar formations," in Proc. IEEE Conf. Decision Control, 2003, pp. 3609-3614.
9. C. Belta and V. Kumar, "Abstraction and control for groups of robots," IEEE Trans. Robot., vol. 20, no. 5, pp. 865-875, Oct. 2004.
10. G. J. Pappas and S. Simic, "Consistent abstractions of affine control systems," IEEE Trans. Autom. Control, vol. 47, no. 5, pp. 745-756, May 2002.
11. P. Tabuada and G. J. Pappas, "Hierarchical trajectory generation for a class of nonlinear systems," Automatica, vol. 41, no. 4, pp. 701-708, 2005.
12. P. Tabuada and G. J. Pappas, "Bisimilar control affine systems," Syst. Control Lett., vol. 52, no. 1, pp. 49-58, 2004.
13. M. Broucke, "A geometric approach to bisimulation and verification of hybrid systems," in Hybrid Systems: Computation and Control, F. W. Varager and J. H. van Schuppen, Eds. New York: Springer-Verlag, 1999, vol. 1569, Lecture Notes in Computer Science, pp. 61-75.
14. M. Kloetzer and C. Belta, J. Hespanha and A. Tiwari, Eds., "A fully automated framework for control of linear systems from LTL specifications," in Proc. Hybrid Syst.: Comput. Control: 9th Int. Workshop, Berlin, Heidelberg, 2006, vol. 3927, Lecture Notes in Computer Science, pp. 333-347.
15. P. Tabuada and G. Pappas, "Model checking LTL over controllable linear systems is decidable," in Hybrid Systems: Computation and Control, O. Maler and A. Pnueli, Eds. New York: Springer-Verlag, 2003, vol. 2623, Lecture Notes in Computer Science, pp. 498-513.
16. C. Belta, V. Isler, and G. J. Pappas, "Discrete abstractions for robot planning and control in polygonal environments," IEEE Trans. Robot., vol. 21, no. 5, pp. 864-874, Oct. 2005.
17. S. G. Loizou and K. J. Kyriakopoulos, "Automatic synthesis of multiagent motion tasks based on LTL specifications," in Proc. 43rd IEEE Conf. Decision Control, Dec. 2004, vol. 1, pp. 153-158.
18. M. M. Quottrup, T. Bak, and R. Izadi-Zamanabadi, "Multi-robot motion planning: A timed automata approach," in Proc. IEEE Int. Conf. Robot. Autom., New Orleans, LA, Apr. 2004, pp. 4417-4422.
19. G. E. Fainekos, H. Kress-Gazit, and G. J. Pappas, "Temporal logic motion planning for mobile robots," in Proc. IEEE Int. Conf. Robot. Autom., Apr. 2005, pp. 2020-2025.
20. E. A. Emerson, "Temporal and modal logic," in Handbook of Theoretical Computer Science: Formal Models and Semantics, J. van Leeuwen, Ed. Amsterdam, The Netherlands: North-Holland/MIT Press, 1990, vol. B, pp. 995-1072.
21. M. Spivak, A Comprehensive Introduction to Differential Geometry. Berkeley, CA: Publish or Perish, 1979.
22. R. Milner, Communication and Concurrency. Englewood Cliffs, NJ: Prentice-Hall, 1989.
23. P. Gastin and D. Oddoux, H. C. G. Berry and A. Finkel, Eds., "Fast LTL to Büchi automata translation," in Proc. 13th Conf. Comput. Aided Verification, 2001, vol. 2102, LNCS, pp. 53-65.
24. M. Kloetzer, L. Habets, and C. Belta, "Control of rectangular multiaffine hybrid systems," in Proc. 45th IEEE Conf. Decision Control, San Diego, CA, 2006, pp. 2619-2624.
25. V. Weispfenning, "A new approach to quantifier elimination for real algebra," Universität Passau, Germany, Tech. Rep. MIP-9305, 1993.
26. K. Fukuda, "cdd/cdd+ package," [Online]. Available: http://www.cs.mcgill.ca/~fukuda/soft/cdd_home/cdd.html
27. V. Weisplenning, "The complexity of linear problems in fields," J. Symbolic Comput., vol. 5, no. 1-2, pp. 3-27, Feb./Apr. 1988.
28. J. Latombe, Robot Motion Planning. Norwell, MA: Kluwer, 1991.
29. J. Desai, J. Ostrowski, and V. Kumar, "Modeling and control of formations of nonholonomic mobile robots," IEEE Trans. Robot. Autom., vol. 17, no. 6, pp. 905-908, Dec. 2001.