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.

[img] PDF - Accepted Version
See Usage Policy.


Use this Persistent URL to link to this item:


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 DOIArticle
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.
Funding AgencyGrant Number
Semiconductor Research CorporationUNSPECIFIED
Defense Advanced Research Projects Agency (DARPA)N66001-14-1-4045
Microelectronics Advanced Research Corporation (MARCO)UNSPECIFIED
Record Number:CaltechAUTHORS:20161020-140012994
Persistent URL:
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
Deposited By: Tony Diaz
Deposited On:20 Oct 2016 21:43
Last Modified:11 Nov 2021 04:43

Repository Staff Only: item control page