Approximate analysis of supervisory target control for hybrid systems

The approximation of the continuous reachability operator associated with the supervisory target control problem is considered. The computation is performed using state space discretization and approximate forward reachability analysis. The scheme is applied to linear dynamics with affine disturbance and to nonlinear dynamics without disturbance. Implementation issues concerning computational efficiency are discussed.