Title :
The supremal control-invariant subpredicate in state feedback control of hybrid automata
Author :
Takai, Shigemasa ; Ushio, Toshimitsu
Author_Institution :
Wakayama Univ., Japan
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.
Keywords :
automata theory; discrete event systems; invariance; iterative methods; state feedback; control-invariance; discrete event system; hybrid automaton; hybrid system; iterative method; state feedback control; supremal control invariant subpredicate; Automata; Automatic control; Control systems; Discrete event systems; Force control; State feedback; Sufficient conditions;
Conference_Titel :
SICE 2002. Proceedings of the 41st SICE Annual Conference
Print_ISBN :
0-7803-7631-5
DOI :
10.1109/SICE.2002.1195343