Control-Invariance of Sampled-Data Hybrid Systems with Clocked Events and Jitters
Yoshiyuki Tsuchie, Toshimitsu Ushio · IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences · 2007
Silva and Krogh formulate a sampled-data hybrid automaton to deal with time-driven events and discuss its verification. In this paper, we consider a state feedback control problem of the automaton. First, we introduce two transition systems as semantics of the automaton. Next, using these transition systems, we derive necessary and sufficient conditions for a predicate to be control-invariant. Finally, we show that there always exists the supremal control-invariant subpredicate for any predicate.