Title :
On the operator Post-1
Author :
Pei, Hai-Long ; Krogh, Bruce H.
Author_Institution :
Dept. of Autom., South China Univ. of Technol., Guangzhou, China
Abstract :
We discuss the definition and implementation of a new operator in hybrid system analysis.
Keywords :
continuous time systems; control system synthesis; discrete time systems; maximum principle; reachability analysis; Post-1 operator; discrete state; hybrid system analysis; reachability maximum principle; safety regions; virtual viability regions; Automation; Kernel; Region 9; Safety; Terminology; Transient analysis; Uncertainty;
Conference_Titel :
Decision and Control, 2002, Proceedings of the 41st IEEE Conference on
Print_ISBN :
0-7803-7516-5
DOI :
10.1109/CDC.2002.1184192
