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

Conference information

Host: The Society of Instrument and Control Engineers

Co-host: 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

Author information

Keywords: hybrid automaton, state feedback control, control-invarience, supremal control-invariant subpredicate

CONFERENCE PROCEEDINGS FREE ACCESS

Pages 253

Details

Abstract

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

Register with J-STAGE for free!