CONTROL-INVARIANCE OF SAMPLEDDATA HYBRID SYSTEMS WITH PERIODICALLY CLOCKED EVENTS AND JITTER

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.