| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 721974 | IFAC Proceedings Volumes | 2006 | 6 Pages |
Abstract
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.
Keywords
Related Topics
Physical Sciences and Engineering
Engineering
Computational Mechanics
Authors
Yoshiyuki Tsuchie, Toshimitsu Ushio,