Hierarchical abstractions for robotic swarms

Proceedings - IEEE International Conference on Robotics and Automation

Volumn 2006, Issue , 2006, Pages 952-957

  Kloetzer, Marius ^a   Belta, Calin ^a  

^a Boston University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

LINEAR TEMPORAL LOGIC FORMULAS; POLYGONAL OBSTACLES; POLYHEDRAL VELOCITY BOUNDS; ROBOT CONTROL LAWS;

COMPUTATIONAL GEOMETRY; FORMAL LOGIC; MATHEMATICAL MODELS; NATURAL LANGUAGE PROCESSING SYSTEMS; ROBOTICS; SYSTEMS ANALYSIS;

HIERARCHICAL SYSTEMS;

EID: 33845600439     PISSN: 10504729     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ROBOT.2006.1641832     Document Type: Conference Paper

References (16)

1. C. Belta and V. Kumar. Abstraction and control for groups of robots. IEEE Trans. on Robotics, 20(5): 865-875, 2004.
2. M. Broucke. A geometric approach to bisimulation and verification of hybrid systems, volume 1569 of Lecture Notes in Computer Science, pages 61-75. Springer-Verlag, 1999.
3. E. A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science: Formal Models and Semantics, volume B, pages 995-1072. MIT Press, 1990.
4. G. E. Fainekos, H. Kress-Gazit, and G. J. Pappas. Temporal logic motion planning for mobile robots. In Proceedings of the 2005 IEEE International Conference on Robotics and Automation, April 2005.
5. K. Fukuda. CDD/CDD+ package. URL http://www.cs.mcgill.ca/fukuda/soft/ cdd_home/cdd.html.
6. P. Gastin and D. Oddoux. Fast LTL to Büchi automata translation. In H. Comon G. Berry and A. Finkel, editors, Proceedings of the 13th Conference on Computer Aided Verification (CAV'01), number 2102, pages 53-65, 2001.
7. M. Kloetzer and C. Belta. Linear temporal logic planning and control of robotic swarms. Technical Report CISE 2005-IR-0080, Boston University, 2005. http://www.bu.edu/systems/research/publications/2005/2005-IR-0080.pdf.
8. M. Kloetzer and C. Belta. A fully automated framework for control of linear systems from LTL specifications. In The 9th International Workshop on Hybrid Systems: Computation and Control, Santa Barbara, CA, 2006. to appear.
9. S. G. Loizou and K. J. Kyriakopoulos. Automatic synthesis of multiagent motion tasks based on LTL specifications. In 43rd IEEE Conference on Decision and Control, December 2004.
10. R. Milner. Communication and Concurrency. Prentice Hall, 1989.
11. G. J. Pappas and S. Simic. Consistent abstractions of affine control systems. IEEE Trans. on Automatic Control, 47(5):745-756, 2002.
12. M. M. Quottrup, T. Bak, and R. Izadi-Zamanabadi. Multi-robot motion planning: A timed automata approach. In Proceedings of the 2004 IEEE Int. Conf. on Rob. and Aut., page 44174422, New Orleans, LA, 2004.
13. M. Spivak. A Comprehensive Introduction to Differential Geometry. Publish or Perish, 1979.
14. P. Tabuada and G. Pappas. Model checking LTL over controllable linear systems is decidable. volume 2623 of Lecture Notes in Computer Science. Springer-Verlag, 2003.
15. P. Tabuada and G. J. Pappas. Hierarchical trajectory generation for a class of nonlinear systems. Automatica, 41(4):701-708, 2005.
16. V. Weispfenning. A new approach to quantifier elimination for real algebra. Technical Report MIP-9305, Universität Passau, Germany, 1993.