Visible to the public TuLiPConflict Detection Enabled

Submitted by akarns on Mon, 05/08/2017 - 10:41am

TuLiP

Description: The Temporal Logic Planning (TuLiP) toolbox is a Python package for automatic synthesis of correct-by-construction embedded control software. 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.

VO Integration: No

Active: No

Available Benchmarks: No

Website: https://tulip-control.sourceforge.io/

Download: Link to sourceforge project. Installation instructions are on webpage listed above.

Documentation: User guide and API Documentation. Examples are in subdirectory of source.

Contact: Mailing list and email (tulip@tulip-control.org)

Excerpt from: http://www.aero.umd.edu/~mumu/files/wtoxm_HSCC2011.pdf
Graphic from: https://github.com/tulip-control

Backlinks: