Temporal logic motion planning

Defence Science Journal

Volumn 60, Issue 1, 2010, Pages 23-38

  Seotsanyana, Motlatsi ^a  

^a DSI CSIR Nanotechnology Innovation Centre   (South Africa)

Author keywords

Automata; Formal languages; Mobile agents; Motion planning; Real time; Temporal logic

Indexed keywords

COMPUTER CIRCUITS; FORMAL SPECIFICATION; MOBILE AGENTS; MOTION PLANNING; PROBLEM SOLVING; TEMPORAL LOGIC;

AUTOMATON; CHANGING ENVIRONMENT; CRITICAL REVIEW; FOLLOWING PROBLEM; HIGH LEVEL SPECIFICATION; MOTION PLANNING PROBLEMS; MOTION-PLANNING; REAL- TIME; REVIEW PAPERS; TOOLS AND TECHNIQUES;

FORMAL LANGUAGES;

EID: 75449109862     PISSN: 0011748X     EISSN: None     Source Type: Journal    
DOI: 10.14429/dsj.60.99     Document Type: Review

References (41)

1. Belta, C.; Antonio; Egerstedt, M.; Frazzoli, E.; Klavins, E. & Pappas, G. J. Symbolic planning and control robot motion. IEEE Robotics Autom. Mag., 2007, 14(1), 6170.
2. R.T.M. Corporation. Road Traffic Report. March 2008. http://www. arrivealive.co.za
3. La Valle, S.M. Planning algorithms. University of Illinois, Cambridge University Press, 2006.
4. Clarke, E.M. & Emerson, E.A. Design and synthesis of synchronization skeletons using branching-time temporal logic. In Logic of Programs Workshop, SpringerVerlag, London, UK, 1982. pp. 52-71.
5. Seotsanyana, M. Formal specification, development, and verification of safety interlock systems: comparative case study, Ed. 1. VDM Verlag, September 2008.
6. Antoniotti, M. & Mishra, B. Discrete event models + temporal logic = supervisory controller: Automatic synthesis of locomotion controllers. In IEEE International Conference on Robotics and Automation, 1995, pp. 1441-1446
7. Quottrup, M. M.; Bak, T. & Izadi-Zamanabadi, R. Multirobot planning: a timed automata approach. In ICRA, 2004. pp. 4417-4422
8. 8. Fainekos, G.E.; Kress-Gazit, H. & Pappas, G.J. Temporal logic motion planning for mobile robots. In Proceedings of the 2005 IEEE International Conference on Robotics and Automation, April 2005. pp. 2020-2025 (Pubitemid 46084085)
9. Kress-Gazit, H.; Fainekos, G.E. & Pappas, G.J. Where's Waldo? Sensor-based temporal logic motion planning. In Proceedings of the IEEE Conference on Robotics and Automation, Vol.2324, 2003. pp. 3546-3551
10. rd IEEE Conference on Decision and Control, 14-17 February 2004.
11. Ramadge, P.J. & Wonham, W.M. The control of discrete event systems. Proceedings of IEEE, 1989, 77(1), 8198.
12. Holloway, L.E. & Krogh, B.H. Synthesis of feedback control logic for a controlled petri nets. IEEE Trans. Autom. Contr., May 1990, 35(5), 514-523
13. McCarragher, B.J. & Asada, H. A discrete approach to the control of robotic assembly tasks. In IEEE International Conference on Robotics and Automation, 1993. pp. 331-336 (Pubitemid 23663859)
14. 14. Clarke, E.M.; Emerson, E.A. & Sistla, A.P. Automatic verification of finite-state concurrent system using temporal logic specifications. ACM Trans. Program. Langu. Sys., 1986, 8(2), 244-263 (Pubitemid 16633197)
15. Larsen, K.G. Pettersson, P. & Yi, W. UPPAAL in a Nutshell. Int. J. Software Tools Technol. Transfer, Oct. 1997, 1(1-2), 134-152
16. Bertoli, P.; Cimatti, A.; Pistore, M.; Roveri, M. & Traverso, P. MBP: A model based planner. In Proceedings of the IJCAI'01 Workshop on Planning Under Uncertainty and Incomplete Information, Seattle, August 2001. www.citeseer.ist.psu.edu/bertoli01mbp.html
17. 17. Bacchus, F. & Kabanza, F. Using temporal logics to express search control knowledge for planning. Artificial Intelligence, 2000, 116(1-2), 123-191 (Pubitemid 30560298)
18. Jensen, R.M. & Veloso, M.M. OBDD-based universal planning for synchronized agents in non-deterministic domains. J. Artifi. Intelli. Res., 2000, 13, 13-189.
19. Conner, D.; Rizzi, A. & Choset, H. Composition of local potential functions for global robot control and navigation. In Proceedings of 2003IEEE/RSJ International Conference on Intelligent Robots & Systems (IROS 2003). IEEE, 2007. pp. 3116-3121
20. rd IEEE Conference on Decision and Control. Bahamas, 2004.
21. th Conference on Computer-Aided Verification (CAV'99), Series Lecture Notes in Computer Science, edited by N. Halbwachs & D. Peled, No.1633. Springer, Trento, Italy, July 1999. pp. 495-499
22. de Berg, M.; van Kreveld, M.; Overmars, M. & Schwarzkopf, O. Computational geometry: Algorithms and applications, Ed. 2. 2000.
23. Holzmann, G.J. The spin model checker: Primer and reference manual. Lucent Technilogies Inc., Bell Laboratories, Addison-Wesley, 2004.
24. Alur, R.; Henzinger, T.A.; Lafferriere, George, & Pappas, G.J. Discrete abstractions of hybrid systems. In Proceedings of the IEEE, 2000, pp. 971-984
25. Habets, L. & van Schuppen, J. A control problem for affine dynamical systems on a full-dimensional polytope. J. Artifi. Intelli. Res., 40(1), 21-35, 2004.
26. Kloetzer, M. & Belta, C. A fully automated framework for control of linear systems from temporal logic specifications. IEEE Trans. Autom. Contr., February 2008, 53(1), 287-297
27. 27. Fainekos, G.E.; Kress-Gazit, H. & Pappas, G.J. Hybrid controllers for path planning: A temporal logic approach. In Proceedings of the 44th IEEE Conference on Decision and Control, December 2005. pp. 4885-4890 (Pubitemid 46297743)
28. Piterman, N.; Pnueli, A. & Sa'ar, Y. Synthesis of reactive(l) designs. Lecture Notes Comp. Sci., 2006, 3855.
29. thACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM, New York, 1989. pp. 179-190
30. Klavins, E. Automatic synthesis of controllers for assembly and formation forming. In Proceedings of the International Conference on Robotics and Automation, 2002.
31. Tabuada, T. & Pappas, G.J. Linear time logic control of linear systems. Submitted, IEEE Transactions Autom. Contr., 2004.
32. Egerstedt, M. Motion description languages for multimodal control in robotics. In Control Problems in Robotics, edited by A. Bicchi, H. Cristensen & D. Prattichizzo, 2002. pp. 75-90.
33. Mishra, B. & Clarke, E.M. Hierarchical verification of asynchronous circuits using temporal logic. Theo. Compu. Sci., 1985, 38, 269-291
34. Egerstedt' M. & Brockett, R. Feedback can reduce the specification complexity of motor programs. IEEE Trans. Autom. Contr., 2003, 48(2), 213-223
35. Klavins, E.; Ghrist, R. & Lipsky, D. A grammatical approach to selforganizing robotic systems. IEEE Trans. Autom. Control, 2006, 51(6), 949-962,
36. Baier, C. & Katoen, J.-P. Principles of model checking, Ed. 1. MIT Press, September 2008.
37. K.-G. H. & P. GJ., Automatically synthesizing a planning and control subsystem for the DARPA urban challenge. In IEEE International Conference on Automation Science and Engineering, Aug. 2008, Vol.23, No.26. pp. 766 -771
38. Valle, L. Rapidly-exploring random trees: A new tool for path planning. Iowa State University. Tech. Rep. 98-111, 1998.
39. Choset, H.; Lynch, K.M.; Hutchison, S.; Kantor, W.B.G.; Kavraki, L.E. & Thrun, S. Principle of robot motion: Theory and implementation. MIT Press, 2005.
40. Fainekos, G.E. An introduction to multi-valued model checking. Dept. of CIS, University of Pennsylvania, Tech. Rep. MS-CIS-05-16, September 2005.
41. O.M. Group. Mobile agent facility specification. January 2000, http://www.omg.com