Correct, reactive, high-level robot control

IEEE Robotics and Automation Magazine

Volumn 18, Issue 3, 2011, Pages 65-74

  Kress Gazit, Hadas ^a   Wongpiromsarn, Tichakorn ^b   Topcu, Ufuk ^c  

^a Cornell University   (United States)

^b SINGAPORE MIT ALLIANCE FOR RESEARCH AND TECHNOLOGY   (Singapore)

^c California Institute of Technology   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

LOW-LEVEL CONTROLLERS; OPERATING CONDITION; PHYSICAL COMPONENTS; ROBOT CONTROLS; STATIC AND DYNAMIC OBSTACLES; TRAFFIC RULES;

MANEUVERABILITY;

EID: 80052911000     PISSN: 10709932     EISSN: None     Source Type: Journal    
DOI: 10.1109/MRA.2011.942116     Document Type: Conference Paper

References (41)

1. J. W. Burdick, N. DuToit, A. Howard, C. Looman, J. Ma, R. M. Murray, and T. Wongpiromsarn. (2007). Sensing, navigation and reasoning technologies for the DARPA Urban Challenge, California Inst. Technol., Pasadena, CA, DARPA Urban Challenge Final Tech. Rep. [Online]. Available: http://www.cds.caltech.edu/ ~murray/papers/bur+07-dgc.html
2. T. Wongpiromsarn, U. Topcu, N. Ozay, H. Xu, and R. M. Murray. (2011). TuLiP: A software toolbox for receding horizon temporal logic planning. Proc. Int. Conf. Hybrid Systems: Computation and Control [Online]. Available: http://www.cds.caltech.edu/tulip
3. N. Piterman, A. Pnueli, and Y. Sa'ar, "Synthesis of reactive(1) designs," in Proc. VMCAI, Charleston, SC, Jan. 2006, pp. 364-380. (Pubitemid 43973678)
4. R. Alur, T. Henzinger, G. Lafferriere, and G. Pappas, "Discrete abstractions of hybrid systems," Proc. IEEE, vol. 88, no. 7, pp. 971-984, 2000.
5. C. Belta, A. Bicchi, M. Egerstedt, E. Frazzoli, E. Klavins, and G. J. Pappas, "Symbolic planning and control of robot motion: State of the art and grand challenges," Robot. Automat. Mag., vol. 14, no. 1, pp. 61-70, 2007. (Pubitemid 46566619)
6. M. Kloetzer and C. Belta, "A fully automated framework for control of linear systems from temporal logic specifications," IEEE Trans. Automat. Contr., vol. 53, no. 1, pp. 287-297, Feb. 2008.
7. A. Bhatia, L. E. Kavraki, and M. Y. Vardi, "Sampling-based motion planning with temporal goals," in Proc. IEEE Int. Conf. Robotics and Automation, 2010, pp. 2689-2696.
8. S. Karaman and E. Frazzoli, "Complex mission optimization for multiple-UAVS using linear temporal logic," in Proc. American Control Conf., Seattle, NA, 2008, pp. 2003-2009.
9. M. Lahijanian, J. Wasniewski, S. B. Andersson, and C. Belta, "Motion planning and control from temporal logic specifications with probabilistic satisfaction guarantees," in Proc. ICRA, 2010, pp. 3227-3232.
10. E. M. Clarke, O. Grumberg, and D. Peled, Model Checking. Cambridge: MA: MIT Press, 1999.
11. E. A. Emerson, "Temporal and modal logic," in Handbook of Theoretical Computer Science, vol. B, Formal Models and Semantics. Cambridge, MA: MIT Press, 1990, pp. 995-1072.
12. A. Pnueli and R. Rosner, "On the synthesis of a reactive module," in Proc. 16th ACM SIGPLAN-SIGACT Symp. Principles of Programming Languages (POPL'89). New York: ACM Press, 1989, pp. 179-190.
13. B. Jobstmann and R. Bloem, Linear logic synthesizer (lily). [Online]. Available: http://www.ist.tugraz.at/staff/jobstmann/lily/2006
14. B. Jobstmann and R. Bloem, "Optimizations for LTL synthesis," in Proc. Formal Methods in Computer Aided Design (FMCAD'06). Washington, DC: IEEE Computer Society, 2006, pp. 117-124. (Pubitemid 47159932)
15. R. Bloem, A. Cimatti, K. Greimel, G. Hofferek, R. Konighofer, M. Roveri, V. Schuppan, and R. Seeber, "Ratsy-A new requirements analysis tool with synthesis," in Proc. CAV, 2010, pp. 425-429.
16. Y. Sa'ar. Java temporal logic verifier (JTLV) [Online]. Available: http://jtlv.ysaar.net/2008
17. A. Pnueli, Y. Saar, and L. Zuck, "Jtlv: A framework for developing verification algorithms," in Computer Aided Verification (Lecture Notes in Computer Science), T. Touili, B. Cook, and P. Jackson, Eds. Berlin: Springer-Verlag: 2010, vol. 6174, pp. 171-174.
18. H. Kress-Gazit and G. J. Pappas, "Automatically synthesizing a planning and control subsystem for the DARPA Urban Challenge," in Proc. IEEE Conf. Automation Science and Engineering, Washington, DC, 2008, pp. 766-771.
19. T. Wongpiromsarn, U. Topcu, and R. M. Murray, "Receding horizon control for temporal logic specifications," in Proc. 13th Int. Conf. Hybrid Systems: Computation and Control, 2010, pp. 101-110.
20. H. Kress-Gazit, G. E. Fainekos, and G. J. Pappas, "Where's Waldo? Sensor-based temporal logic motion planning," in Proc. IEEE Int. Conf. Robotics and Automation, Rome, Italy, 2007, pp. 3116-3121. (Pubitemid 350140658)
21. H. Kress-Gazit, G. E. Fainekos, and G. J. Pappas, "Temporal logicbased reactive mission and motion planning," IEEE Trans. Robot., vol. 25, no. 6, pp. 1370-1381, 2009.
22. D. C. Conner, H. Kress-Gazit, H. Choset, A. A. Rizzi, and G. J. Pappas, "Valet parking without a valet," in Proc. IEEE/RSJ Int. Conf. Intelligent Robots and Systems, San Diego, CA, Oct. 2007, pp. 572-577.
23. M. Kloetzer and C. Belta, "A fully automated framework for control of linear systems from temporal logic specifications," IEEE Trans. Automat. Contr., vol. 53, no. 1, pp. 287-297, 2008.
24. T. Wongpiromsarn, U. Topcu, and R. M. Murray, "Receding horizon temporal logic planning for dynamical systems," in Proc. IEEE Conf. Decision and Control, 2009, pp. 5997-6004.
25. P. Tabuada and G. J. Pappas, "Linear time logic control of linear systems," IEEE Trans. Automat. Contr., vol. 51, no. 12, pp. 1862-1877, 2006. (Pubitemid 46002281)
26. A. Girard and G. J. Pappas, "Hierarchical control system design using approximate simulation," Automatica, vol. 45, no. 2, pp. 566-571, 2009.
27. A. Girard, A. A. Julius, and G. J. Pappas, "Approximate simulation relations for hybrid systems," Disc. Event Dyn. Syst., vol. 18, no. 2, pp. 163-179, 2008. (Pubitemid 351642165)
28. D. C. Conner, A. A. Rizzi, and H. Choset, "Composition of local potential functions for global robot control and navigation," in Proc. IEEE/RSJ Int. Conf. Intelligent Robots and Systems, Las Vegas, NV, Oct. 2003, pp. 3546-3551.
29. C. Belta and L. Habets, "Constructing decidable hybrid systems with velocity bounds," in Proc. IEEE Conf. Decision and Control, Bahamas, 2004, pp. 467-472. (Pubitemid 40291376)
30. S. Lindemann and S. LaValle, "Computing smooth feedback plans over cylindrical algebraic decompositions," in Proc. Robotics: Science and Systems, Cambridge, MA, June 2006 .
31. S. R. Lindemann, I. I. Hussein, and S. M. LaValle, "Realtime feedback control for nonholonomic mobile robots with obstacles," in Proc. IEEE Conf. Decision and Control, San Diego, CA, 2006, pp. 2406-2411. (Pubitemid 351284095)
32. D. C. Conner, H. Choset, and A. Rizzi, "Towards provable navigation and control of nonholonomically constrained convex-bodied systems," in Proc. 2006 IEEE Int. Conf. Robotics and Automation (ICRA'06), May 2006, pp. 4416-4418.
33. N. Ayanian and V. Kumar, "Decentralized feedback controllers for multi-agent teams in environments with obstacles," in Proc. IEEE Int. Conf. Robotics and Automation, Pasadena, CA,May 2008, pp. 1936-1941.
34. D. Conner, H. Choset, and A. Rizzi, "Integrated planning and control for convex-bodied nonholonomic systems using local feedback control policies," in Proc. Robotics: Science and Systems, Cambridge. MA, June 2006, pp. 57-64.
35. H. Kress-Gazit, D. C. Conner, H. Choset, A. A. Rizzi, and G. J. Pappas, "Courteous cars: Decentralized multi-agent traffic coordination," Robot. Automat. Mag., vol. 15, no. 1, pp. 30-38, 2008.
36. C. Finucane, G. Jing, and H. Kress-Gazit, "LTLmoP: Experimenting with language, temporal logic and robot control," in Proc. IEEE/RSJ Int. Conf. Intelligent Robots and Systems, Taipei, Taiwan, Oct. 2010, pp. 1988-1993.
37. H. Kress-Gazit and G. J. Pappas, "Automatic synthesis of robot controllers for tasks with locative prepositions," in Proc. IEEE Int. Conf. Robotics and Automation, Anchorage, AK, 2010, pp. 3215-3220.
38. B. Gerkey, R. T. Vaughan, and A. Howard, "The player/stage project: Tools for multi-robot and distributed sensor systems," in Proc. 11th Int. Conf. Advanced Robotics (ICAR), Coimbra, Portugal, June 2003, pp. 317-323.
39. T. Wongpiromsarn, U. Topcu, and R. M. Murray, "Automatic synthesis of robust embedded control software," in Proc. AAAI Spring Symp. Embedded Reasoning: Intelligence in Embedded Systems, 2010, pp. 104-111.
40. T. Wongpiromsarn, U. Topcu, and R. M. Murray, "Formal synthesis of embedded control software: Application to vehicle management systems," in Proc. AIAA Infotech@Aerospace, 2011.
41. N. Ozay, U. Topcu, T. Wongpiromsarn, and R. M. Murray, "Distributed synthesis of control protocols for smart camera networks," in Proc. Int. Conf. Cyber-Physical Systems, 2011, pp. 45-54.