Filippidis, Ioannis and Dathathri, Sumanth and Livingston, Scott C. and Ozay, Necmiye and Murray, Richard M. (2016) Control design for hybrid systems with TuLiP: The Temporal Logic Planning toolbox. In: 2016 IEEE Conference on Control Applications (CCA). IEEE , Piscataway, NJ, pp. 1030-1041. ISBN 978-1-5090-0755-4. https://resolver.caltech.edu/CaltechAUTHORS:20161020-140012994
![]() |
PDF
- Accepted Version
See Usage Policy. 223kB |
Use this Persistent URL to link to this item: https://resolver.caltech.edu/CaltechAUTHORS:20161020-140012994
Abstract
This tutorial describes TuLiP, the Temporal Logic Planning toolbox, a collection of tools for designing controllers for hybrid systems from specifications in temporal logic. The tools support a workflow that starts from a description of desired behavior, and of the system to be controlled. The system can have discrete state, or be a hybrid dynamical system with a mixed discrete and continuous state space. The desired behavior can be represented with temporal logic and discrete transition systems. The system description can include uncontrollable variables that take discrete or continuous values, and represent disturbances and other environmental factors that affect the dynamics, as well as communication signals that affect controller decisions.
Item Type: | Book Section | ||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Related URLs: |
| ||||||||||||||
ORCID: |
| ||||||||||||||
Additional Information: | © 2016 IEEE. This work was supported by STARnet, a Semiconductor Research Corporation program, sponsored by MARCO and DARPA. NO was supported in part by NSF grants CNS-1446298 and ECCS-1553873, and DARPA grant N66001-14-1-4045. | ||||||||||||||
Funders: |
| ||||||||||||||
DOI: | 10.1109/CCA.2016.7587949 | ||||||||||||||
Record Number: | CaltechAUTHORS:20161020-140012994 | ||||||||||||||
Persistent URL: | https://resolver.caltech.edu/CaltechAUTHORS:20161020-140012994 | ||||||||||||||
Official Citation: | I. Filippidis, S. Dathathri, S. C. Livingston, N. Ozay and R. M. Murray, "Control design for hybrid systems with TuLiP: The Temporal Logic Planning toolbox," 2016 IEEE Conference on Control Applications (CCA), Buenos Aires, Argentina, 2016, pp. 1030-1041. | ||||||||||||||
Usage Policy: | No commercial reproduction, distribution, display or performance rights in this work are provided. | ||||||||||||||
ID Code: | 71326 | ||||||||||||||
Collection: | CaltechAUTHORS | ||||||||||||||
Deposited By: | Tony Diaz | ||||||||||||||
Deposited On: | 20 Oct 2016 21:43 | ||||||||||||||
Last Modified: | 11 Nov 2021 04:43 |
Repository Staff Only: item control page