|
For Full-Text PDF, please login, if you are a member of IEICE,
or go to Pay Per View on menu list, if you are a nonmember of IEICE.
|
Control-Invariance of Sampled-Data Hybrid Systems with Clocked Events and Jitters
Yoshiyuki TSUCHIE Toshimitsu USHIO
Publication
IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Vol.E90-A
No.4
pp.707-714 Publication Date: 2007/04/01 Online ISSN: 1745-1337
DOI: 10.1093/ietfec/e90-a.4.707 Print ISSN: 0916-8508 Type of Manuscript: Special Section PAPER (Special Section on Selected Papers from the 19th Workshop on Circuits and Systems in Karuizawa) Category: Keyword: hybrid automaton, jitter, control-invariance, state feedback,
Full Text: PDF(233.6KB)>>
Summary:
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.
|
open access publishing via
|
|
|
|
|
|
|
|