State feedback control of hybrid automata with forcible events

This paper deals with a state feedback control problem for hybrid systems described by hybrid automata with forcible events. First, we introduce two semantics of the controlled hybrid automata using labeled transition systems. Next, we show necessary and sufficient conditions for the existence of state feedback controllers. The conditions are based on the transition systems. It is also shown that the conditions are preserved under a bisimilarity relation so that synthesis methods of state feedback controllers in discrete event systems can be applied in the hybrid systems if the bisimilarity relation is finitary. Finally, we show that there always exists the supremal subpredicate for which state feedback controllers exist.