CaltechAUTHORS
  A Caltech Library Service

Control design for hybrid systems with TuLiP: The Temporal Logic Planning toolbox

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. http://resolver.caltech.edu/CaltechAUTHORS:20161020-140012994

[img] PDF - Accepted Version
See Usage Policy.

218Kb

Use this Persistent URL to link to this item: http://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:
URLURL TypeDescription
http://dx.doi.org/10.1109/CCA.2016.7587949 DOIArticle
http://ieeexplore.ieee.org/document/7587949/PublisherArticle
ORCID:
AuthorORCID
Filippidis, Ioannis0000-0003-4704-3334
Murray, Richard M.0000-0002-5785-7481
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:
Funding AgencyGrant Number
STARnetUNSPECIFIED
Semiconductor Research CorporationUNSPECIFIED
NSFCNS-1446298
NSFECCS-1553873
Defense Advanced Research Projects Agency (DARPA)N66001-14-1-4045
Microelectronics Advanced Research Corporation (MARCO)UNSPECIFIED
Record Number:CaltechAUTHORS:20161020-140012994
Persistent URL:http://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:06 Jan 2017 17:58

Repository Staff Only: item control page