Hybrid System version

Akshay Rajhans home

GRASP Lab

'Continuous-only' version of the Robust Testing Toolbox

--------------------------------------------------------------------------------------------------------------------------------------------------------------

Note: This version of the tool is loosely a special case of the original hybrid-system version. If you are looking for the hybrid system version, it can be found here. The page also has the overview of the theory and pointers to some helpful resources.

--------------------------------------------------------------------------------------------------------------------------------------------------------------

Changes from the original hybrid system version:

In general, continuous time systems can be thought of as special cases of hybrid systems, where there is only one location (discrete state), and there are no discrete variables, no guards, no invariant set(s), no discrete time transitions, and no reset map.

There are these following changes between this version and the hybrid version.

• The unsafe region(s) and goal region(s) in the orignial systems have to be specified as if they are separate locations. That is how you model the hybrid automaton in the hybrid version. In the continuous version, because there is no sense of a separate discrete location, the unsafe and/or the goal region(s) are to be specified as regions of the state space. Currently, only polytope shaped regions are supported. Hence, these have to be objects of the class 'polytope'.
• Other changes are obvious: There are no edges, no invariant, no guards.

Snapshot of the GUI: (click to enlarge)

Download:

You can download this version of the toolbox here. Unzip and save everything in your Matlab search path. 

Note: You will also need to have the Multi-parametric toolbox and CVX toolbox installed as well. The download page for MPT is here, and that for CVX is here.

Last updated: June 26, 2008