Target control for linear hybrid systems

In this paper we consider a control synthesis problem for linear hybrid systems. The proposed controller ensures that the system can be transferred from a given initial region of the hybrid state space to a target region, avoiding at the same time some forbidden states. We distinguish controllable and uncontrollable discrete transitions (switches). Control action is considered only on the controllable transitions. Backward reachability analysis is performed to check the controllability of the system. Then, forward reachability is employed to obtain a “memoryless” control strategy.