Target control for hybrid systems with linear continuous dynamics

We consider the target control problem for hybrid systems with linear continuous dynamics. The system is modelled as a hybrid automaton. Control action is applied on the discrete level, while the continuous dynamics is subject to constant or set valued disturbance. The proposed controller ensures that the system can be transferred from any point of an initial set to a target set of the hybrid state space. A control design algorithm based on reachability analysis is proposed. For the implementation of the algorithm, approximate reachability analysis is employed. This involves under-approximation of reachable sets under linear continuous dynamics. The algorithm is applied to a batch control problem