Information structures for control and verification of hybrid systems

Hybrid systems are continuous variable, continuous time systems with a phased operation. We present the hybrid automaton model and introduce the problems of control and verification. We describe the information structure of a hybrid system in terms of its observation and control spaces, observation map, control strategy, and state evolution. For the important case of symbolic observations and controls-i.e., of finite observation and control spaces-we develop the notions of state space refinement and equivalence partitioning. We review from the literature different information structure setups for control and verification of hybrid systems