TuLiP: A software toolbox for receding horizon temporal logic planning

HSCC'11 - Proceedings of the 2011 ACM/SIGBED Hybrid Systems: Computation and Control

Volumn , Issue , 2011, Pages 313-314

  Wongpiromsarn, Tichakorn ^a   Topcu, Ufuk ^b   Ozay, Necmiye ^b   Xu, Huan ^b   Murray, Richard M ^b  

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

^b CALIFORNIA INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Linear temporal logic; Receding horizon control

Indexed keywords

DIGITAL DESIGNS; EMBEDDED CONTROL SOFTWARE; FINITE-STATE ABSTRACTION; LINEAR TEMPORAL LOGIC; LINEAR TEMPORAL LOGIC SPECIFICATIONS; RECEDING HORIZON; RECEDING HORIZON CONTROL; RECEDING-HORIZON FRAMEWORKS; SOFTWARE TOOLBOX; SYNTHESIS PROBLEMS; SYNTHESIS PROCEDURE;

COMPUTATIONAL COMPLEXITY; CONTROL SYSTEM SYNTHESIS; EMBEDDED SOFTWARE; HYBRID COMPUTERS; HYBRID SYSTEMS; SPECIFICATIONS;

TEMPORAL LOGIC;

EID: 79955986147     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1967701.1967747     Document Type: Conference Paper

References (11)

1. C. Finucane, G. Jing, and H. Kress-Gazit. LTLMoP. http://code.google.com/ p/ltlmop/.
2. B. Gerkey, R. Vaughan, and A. Howard. The Player/Stage project: Tools for multi-robot and distributed sensor systems. In Conf. on Advanced Robotics, 2003.
3. S. Karaman and E. Frazzoli. Sampling-based motion planning with deterministic μ-calculus specifications. In IEEE CDC, 2009.
4. M. Kloetzer and C. Belta. LTLCon. http://iasi.bu.edu/∼software/LTL- control.htm.
5. M. Mazo, A. Davitian, and P. Tabuada. Pessoa: A tool for embedded controller synthesis. In T. Touili, B. Cook, and P. Jackson, editors, CAV, volume 6174 of LNCS, pages 566-569. Springer, 2010.
6. N. Piterman, A. Pnueli, and Y. Sa'ar. Synthesis of reactive(1) designs. In Verification, Model Checking and Abstract Interpretation, volume 3855 of LNCS, pages 364 - 380. Springer, 2006. http://jtlv.sourceforge.net/. (Pubitemid 43973678)
7. P. Tabuada. Verification and Control of Hybrid Systems: A Symbolic Approach. Springer, 2009.
8. T. Wongpiromsarn, U. Topcu, and R. M. Murray. Automatic synthesis of robust embedded control software. In AAAI SS on Embedded Reasoning: Intelligence in Emb'd Systems, pages 104-111, 2010.
9. T. Wongpiromsarn, U. Topcu, and R. M. Murray. Receding horizon control for temporal logic specifications. In HSCC, pages 101-110, 2010.
10. T. Wongpiromsarn, U. Topcu, and R. M. Murray. Formal synthesis of embedded control software: Application to vehicle management systems. In AIAA Infotech@Aerospace, 2011. submitted.
11. B. Yordanov and C. Belta. conPAS2. http://hyness.bu.edu/conPAS2.html.