Loading...
Please wait, while we are loading the content...
Similar Documents
TuLiP: A software toolbox for receding horizon temporal logic planning
| Content Provider | CiteSeerX |
|---|---|
| Author | Wongpiromsarn, Tichakorn Topcu, Ufuk Ozay, Necmiye Xu, Huan Murray, Richard M. |
| Description | In International Conference on Hybrid Systems: Computation and Control This paper describes TuLiP, a Python-based software toolbox for the synthesis of embedded control software that is provably correct with respect to an expressive subset of linear 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 design synthesis routine treats the environment as adversary; hence, the resulting controller is guaranteed to be correct for any admissible environment profile. TuLiP applies the receding 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. 1. |
| File Format | |
| Language | English |
| Access Restriction | Open |
| Subject Keyword | Digital Design Synthesis Horizon Planning Linear Temporal Logic Control Software Horizon Framework Correctness Guarantee Finite State Abstraction Expressive Subset Control System Tulip Combine Routine Admissible Environment Profile Synthesis Problem Python-based Software Toolbox Underlying Digital Design Synthesis Routine Horizon Temporal Logic Planning Software Toolbox Ltl Specification Synthesis Procedure Computational Complexity |
| Content Type | Text |
| Resource Type | Article |
