LTL planning for groups of robots

Proceedings of the 2006 IEEE International Conference on Networking, Sensing and Control, ICNSC'06

Volumn , Issue , 2006, Pages 578-583

  Kloetzer, Marius ^a,b   Belta, Calin ^a,b  

^a IEEE   (United States)

^b Boston University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

INTER-ROBOT COLLISION; LINEAR TEMPORAL LOGIC (LTL);

AUTONOMOUS AGENTS; LINEAR SYSTEMS; MATHEMATICAL MODELS; MOTION PLANNING; PROGRAMMABLE LOGIC CONTROLLERS; ROBOTICS;

ROBOTS;

EID: 34250197961     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (22)

1. M. Antoniotti and B. Mishra. Discrete event models + temporal logic = supervisory controller: Automatic synthesis of locomotion controllers. In IEEE International Conference on Robotics and Automation, May 1995.
2. C. Belta and L.C.G.J.M. Habets. Constructing decidable hybrid systems with velocity bounds. In 43rd IEEE Conference on Decision and Control, Paradise Island, Bahamas, 2004.
3. C. Belta and L.C.G.J.M. Habets. Control of a class of nonlinear systems on rectangles. IEEE Transactions on Automatic Control, 2005. to appear.
4. C. Belta, V. Isler, and G. J. Pappas. Discrete abstractions for robot planning and control in polygonal environments. IEEE Trans. on Robotics, 21(5):864-874, 2005.
5. J. R. Bucht. On a decision method in restricted second order arithmetic. In E. Nagel et al., editor, Proceedings of the International Congress on Logic, Methodology and Philosophy of Science 1960, Stanford, CA.
6. T. H. Corman, C. E. Leiserson, R. L. Rivest, and C. Stein. Introduction to Algorithms. The MIT Press and McGraw-Hill Book Company, Cambridge, Massachusetts and New York, 2nd edition, 2001.
7. E.W. Dijkstra. A note on two problems in connexion with graphs. In Numerische Mathematik, volume 1, pages 269-271. Mathematisch Centrum, Amsterdam, The Netherlands, 1959.
8. 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. North-Holland Pub. Co./MIT Press, 1990.
9. 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.
10. 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.
11. G. De Giacomo and M.Y. Vardi. Automata-theoretic approach to planning for temporally extended goals. In Proceedings of the 5th European Conference on Planning (ECP '99), volume 1809, pages 226-238, 1999.
12. L.C.G.J.M. Habets and J.H. van Schuppen. A control problem for affine dynamical systems on a full-dimensional polytope. Automatica, 40:21-35, 2004.
13. G. Holzmann. The Spin Model Checker, Primer and Reference Manual. Addison-Wesley, Reading, Massachusetts, 2004.
14. M. Kloetzer and C. Belta. A framework for automatic deployment of robots in 2d and 3d environments. In International Conference on Robotics and Automation, Orlando, FL, 2006. submitted.
15. 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.
16. D. E. Koditschek. The control of natural motion in mechanical systems. ASME Journal of Dynamic Systems, Measurement, and Control, 113(4):548-551, 1991.
17. J.C. Latombe. Robot Motion Planning, Kluger Academic Pub., 1991.
18. S. M. LaValle and M. S. Branicky. On the relationship between classical grid search and probabilistic roadmaps. In Workshop on the Algorithmic Foundations of Robotics, Nice, France, 2002.
19. 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.
20. Z. Manna and A. Pnueli. The temporal Logic of Reactive and Concurrent Systems: Specification. Springer-Verlag, Berlin, 1992.
21. R. Milner. Communication and Concurrency. Prentice Hall, 1989.
22. M. M. Quottrup, T. Bak, and R. Izadi-Zamanabadi. Multi-robot motion planning: A timed automata approach. In Proceedings of the 2004 IEEE International Conference on Robotics and Automation, page 44174422, New Orleans, LA, April 2004.