強制事象のあるハイブリッドシステムにおける状態フィードバック制御

抄録

This paper shows necessary and sufficient conditions for the existence of state feedback in hybrid systems described by hybrid automata with forcible events. We introduce two semantics of controlled hybrid automata using transition systems. The conditions are based on the transition systems. It is also shown that the conditions are preserved under bisimilar relations so that synthesis methods of state feedback in discrete event systems can be applied in the hybrid systems if the bisimilar relations are finitary.