Browse wiki

From MurrayWiki
Jump to: navigation, search
TuLiP: A Software Toolbox for Receding Horizon Temporal Logic Planning
Abstract This paper describes TuLiP, a Python-based …
This paper describes TuLiP, a Python-based software tool- box for the synthesis of embedded control software that is provably correct with respect to an expressive subset of lin- ear temporal logic (LTL) specifications. TuLiP combines routines for (1) finite state abstraction of control systems, (2) digital design synthesis from LTL specifications, and (3) receding horizon planning. The underlying digital de- sign synthesis routine treats the environment as adversary; hence, the resulting controller is guaranteed to be correct for any admissible environment profile. TuLiP applies the re- ceding horizon framework, allowing the synthesis problem to be broken into a set of smaller problems, and consequently alleviating the computational complexity of the synthesis procedure, while preserving the correctness guarantee.
hile preserving the correctness guarantee.  +
Authors Tichakorn Wongpiromsarn, Ufuk Topcu, Necmiye Ozay, Huan Xu, Richard M Murray  +
ID 2010n  +
Source International Conference on Hybrid Systems: Computation and Control (HSCC)  +
Tag wtoxm11-hscc  +
Title TuLiP: A Software Toolbox for Receding Horizon Temporal Logic Planning +
Type Preprint  +
Categories Papers
Modification date
This property is a special property in this wiki.
15 May 2016 06:16:11  +
URL
This property is a special property in this wiki.
http://www.cds.caltech.edu/~murray/preprints/wtoxm11-hscc.pdf  +
hide properties that link here 
TuLiP: A Software Toolbox for Receding Horizon Temporal Logic Planning + Title
 

 

Enter the name of the page to start browsing from.