EECI 2013: Computer Session: TuLiP: Difference between revisions

From Murray Wiki
Jump to navigationJump to search
No edit summary
Line 7: Line 7:

==  Lecture Materials ==
==  Lecture Materials ==
* Lecture slides: [ TuLiP] (Exercises are at the end of the slides.)
* Lecture slides: [ TuLiP]
* MATLAB plotting: [ plotRobotSim.m], [ plotCarSim.m]
* MATLAB plotting: [ plotRobotSim.m], [ plotCarSim.m]
* [ Example TuLiP files] (zip file):  
* [ Example TuLiP files] (zip file):  

Revision as of 19:59, 20 March 2013

Prev: RHTLP Course home Next: Advanced Topcis

This lecture provides an overview of TuLiP, a Python-based software toolbox for the synthesis of embedded control software that is provably correct with respect to a GR[1] specifications. TuLiP combines routines for (1) finite state abstraction of control systems, (2) digital design synthesis from GR[1] specifications, and (3) receding horizon planning. The underlying digital design synthesis routine treats the environment as adversary; hence, the resulting controller is guaranteed to be correct for any admissible environment profile. TuLiP applies the receding horizon framework, allowing the synthesis problem to be broken into a set of smaller problems, and consequently alleviating the computational complexity of the synthesis procedure, while preserving the correctness guarantee.

A brief overview of TuLiP will be followed by hands-on exercises using the toolbox.

Lecture Materials

Further Reading

Additional Information