Controllability and Control-Law Synthesis of Linear Hybrid Systems

The concept of controllability for hybrid systems has been defined and an algorithm has been presented that is able to decide the controllability for linear hybrid systems. Besides the computation of an acceptable run, the control-law for executing this acceptable run is synthesized as a sequence of phase-transitions with the computed jump-spaces acting as control-law. This control-law guarantees a correct transition from the initial to the final state of the system following a certain path.