Robust viability of hybrid systems

Robust viability of hybrid systems is examined based on the controllability operator subject to transition dynamics uncertainty. Two modifications to the controllability operator are introduced, these being the uncertain controllability operator and the uncertainty operator. It is shown how existing fixed-point approximation algorithms can be generalized and applied to compute robustly viable sets for hybrid systems. The three-tank control problem is considered. Robust viable sets are computed for this system subject to transition dynamics uncertainties.