Welcome to the new version of CaltechAUTHORS. Login is currently restricted to library staff. If you notice any issues, please email coda@library.caltech.edu
Published September 2016 | Accepted Version
Book Section - Chapter Open

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

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.

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.

Attached Files

Accepted Version - final_submission.pdf

Files

final_submission.pdf
Files (223.9 kB)
Name Size Download all
md5:422ec202b35c295488ba6b2c8bdab97f
223.9 kB Preview Download

Additional details

Created:
August 20, 2023
Modified:
October 23, 2023