Hybrid Control Synthesis Monotone Dynamical Systems Monotonisation Example Summary Abstraction Based Hybrid Control Synthesis

Is applied to nonlinear continuous-time dynamical systems with quantised input/output signals. Continuous dynamics is “replaced ” by discrete abstraction the underlying hybrid control problem is converted into a purely discrete one. The modified problem can be efficiently solved using standard methods from discrete event systems (DES) theor