The supremal control-invariant subpredicate in state feedback control of hybrid automata
Shigemasa Takai, Toshimitsu Ushio · 2003
We study state feedback control of hybrid automata with forcible events. A predicate is said to be control-invariant if there exists a state feedback controller such that the predicate remains true in the controlled system invariantly. We prove that there always exists the supremal control-invariant subpredicate of a predicate given as a specification.