Control-Invariance of Sampled-Data Hybrid Systems with Clocked Events and Jitters
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.
- Publication
- IEICE TRANSACTIONS on Fundamentals Vol.E90-A No.4 pp.707-714
- Publication Date
- 2007/04/01
- Publicized
- Online ISSN
- 1745-1337
- DOI
- 10.1093/ietfec/e90-a.4.707
- Type of Manuscript
- Special Section PAPER (Special Section on Selected Papers from the 19th Workshop on Circuits and Systems in Karuizawa)
- Category
Authors
Keyword
Latest Issue
Copyrights notice of machine-translated contents
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
Cite this
Copy
Yoshiyuki TSUCHIE, Toshimitsu USHIO, "Control-Invariance of Sampled-Data Hybrid Systems with Clocked Events and Jitters" in IEICE TRANSACTIONS on Fundamentals,
vol. E90-A, no. 4, pp. 707-714, April 2007, doi: 10.1093/ietfec/e90-a.4.707.
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.
URL: https://global.ieice.org/en_transactions/fundamentals/10.1093/ietfec/e90-a.4.707/_p
Copy
@ARTICLE{e90-a_4_707,
author={Yoshiyuki TSUCHIE, Toshimitsu USHIO, },
journal={IEICE TRANSACTIONS on Fundamentals},
title={Control-Invariance of Sampled-Data Hybrid Systems with Clocked Events and Jitters},
year={2007},
volume={E90-A},
number={4},
pages={707-714},
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={},
doi={10.1093/ietfec/e90-a.4.707},
ISSN={1745-1337},
month={April},}
Copy
TY - JOUR
TI - Control-Invariance of Sampled-Data Hybrid Systems with Clocked Events and Jitters
T2 - IEICE TRANSACTIONS on Fundamentals
SP - 707
EP - 714
AU - Yoshiyuki TSUCHIE
AU - Toshimitsu USHIO
PY - 2007
DO - 10.1093/ietfec/e90-a.4.707
JO - IEICE TRANSACTIONS on Fundamentals
SN - 1745-1337
VL - E90-A
IS - 4
JA - IEICE TRANSACTIONS on Fundamentals
Y1 - April 2007
AB - 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.
ER -
English
