The Supremal Control-Invariant Subpredicate in State Feedback Control of Hybrid Automata

Shigemasa Takai; Toshimitsu Ushio

doi:10.11499/sicep.2002.0.253.0

SICE Annual Conference 2002

DOI https://doi.org/10.11499/sicep.2002.0.253.0

会議情報

主催: The Society of Instrument and Control Engineers

共催: IEEE/Industiral Electronic Society, IEEE/Robotics and Automation Society, IEEE/Control System Society

The Supremal Control-Invariant Subpredicate in State Feedback Control of Hybrid Automata

Shigemasa Takai, Toshimitsu Ushio

著者情報

キーワード: hybrid automaton, state feedback control, control-invarience, supremal control-invariant subpredicate

会議録・要旨集フリー

p. 253

詳細

抄録

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.

責任著者(Corresponding author)

J-STAGEへの登録はこちら（無料）