Automatic deployment of autonomous cars in a robotic urban-like environment (RULE)

Proceedings - IEEE International Conference on Robotics and Automation

Volumn , Issue , 2009, Pages 2055-2060

  Lahijanian, M ^a   Kloetzer, M ^a   Itani, S ^b   Belta, C ^a   Andersson, S B ^a  

^a Boston University   (United States)

^b MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTONOMOUS CAR; COMPUTATIONAL FRAMEWORK; EXPERIMENTAL SETUP; KHEPERA; PARKING SPACES; ROBOT CONTROLS; TEMPORAL LOGIC STATEMENTS; TRAFFIC RULES; TRANSITION SYSTEM;

MODEL CHECKING; ROADS AND STREETS; ROBOTICS; TEMPORAL LOGIC;

ROBOTS;

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

References (15)

1. E. M. Clarke, D. Peled, and O. Grumberg, Model checking. MIT Press, 1999.
2. J. Davoren, V. Coulthard, N. Markey, and T. Moor, " Non-deterministic temporal logics for general flow systems, " in HSCC: 7th International Workshop, 2004, pp. 280-295.
3. P. Tabuada and G. Pappas, " Model checking LTL over controllable linear systems is decidable, " ser. Lecture Notes in Computer Science, O. Maler and A. Pnueli, Eds. Springer, 2003, vol. 2623.
4. M. Kloetzer and C. Belta, " A fully automated framework for control of linear systems from temporal logic specifications, " IEEE Transactions on Automatic Control, vol. 53, no. 1, pp. 287-297, 2008.
5. 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, 2004.
6. G. E. Fainekos, H. Kress-Gazit, and G. J. Pappas, " Hybrid controllers for path planning: a temporal logic approach, " in Proceedings of the 2005 IEEE Conference on Decision and Control, 2005.
7. H. Kress-Gazit, D. Conner, H. Choset, A. Rizzi, and G. Pappas, " Courteous cars, " IEEE Robotics and Automation Magazine, vol. 15, pp. 30-38, March 2008.
8. R. Alur, T. A. Henzinger, G. Lafferriere, and G. J. Pappas, " Discrete abstractions of hybrid systems, " Proceedings of the IEEE, vol. 88, pp. 971-984, 2000.
9. (2007) 2007 darpa urban challenge. [Online]. Available: http://www.darpa.mil/GRANDCHALLENGE/.
10. A. Arnold, Finite transition systems: semantics of communicating systems. Prentice Hall, 2007.
11. N. Piterman, A. Pnueli, and Y. Saar, " Synthesis of reactive(1) designs, " in VMCAI, Charleston, SC, 2006, pp. 364-380.
12. C. Belta and L. Habets, " Control of a class of nonlinear systems on rectangles, " IEEE Transactions on Automatic Control, vol. 51, no. 11, pp. 1749 - 1759, 2006.
13. M. Mukund, " From global specifications to distributed implementations, " in Synthesis and control of discrete event systems. Kluwer, 2002, pp. 19-34.
14. A. Cimatti, E. Clarke, E. Giunchiglia, F. Giunchiglia, M. Pistore, M. Roveri, R. Sebastiani, and A. Tacchella, " NuSMV Version 2: An OpenSource Tool for Symbolic Model Checking, " in Proc. Interna- tional Conference on Computer-Aided Verification (CAV 2002), ser. LNCS, vol. 2404. Copenhagen, Denmark: Springer, July 2002.
15. M.Kloetzer and C. Belta, " Dealing with non-determinism in symbolic control, " in Hybrid Systems: Computation and Control: 11th Interna- tional Workshop, ser. Lecture Notes in Computer Science, M. Egerstedt and B. Mishra, Eds. Springer Berlin/Heidelberg, 2008, pp. 287-300.