|# of variables||# of modes||# of jumps|
|Type||Continuous dynamics||Guards & Invariants||Resets|
|hybrid||non-linear polynomial||non-linear polynomial||identity|
A simplified version of the hybrid control for Brockett’s non-holonomic integrator is described by the following ODE.
wherein , are the control inputs defined by
We consider the initial set , and .
The following figures show an over-approximation computed by Flow* for the time horizon :