Stability of hybrid automata with average dwell time: An invariant approach

被引：19
作者：
Mitra, S [1 ]
Liberzon, D [1 ]
机构：
[1] MIT, Comp Sci & Artificial Intelligence Lab, Cambridge, MA 02139 USA
来源：
2004 43RD IEEE CONFERENCE ON DECISION AND CONTROL (CDC), VOLS 1-5 | 2004年
关键词：
average dwell time; hybrid systems; hybrid I/O automaton; hysteresis switching; invariant; stability;
D O I：
10.1109/CDC.2004.1430238
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
A formal method based technique is presented for proving the average dwell time property of a hybrid system, which is useful for establishing stability under slow switching. The Hybrid Input/Output Automaton (HIOA) of [12] is used as the model for hybrid systems, and it is shown that some known stability theorems from system theory can be adapted to be applied in this framework. The average dwell time property of a given automaton is formalized as an invariant of a corresponding transformed automaton, such that the former has average dwell time if and only if the latter satisfies the invariant. Formal verification techniques can be used to check this invariance property. In particular, the HIOA framework facilitates inductive invariant proofs by systematically breaking them down into cases for the discrete actions and continuous trajectories of the automaton. The invariant approach to proving the average dwell time property is illustrated by analyzing the hysteresis switching logic unit of a supervisory control system.
引用
收藏
页码：1394 / 1399
页数：6
相关论文
共 17 条
  • [1] ALUR R, 1995, THEORETICAL COMPUTER, V138, P34
  • [2] ARCHER M, 1998, P UITP 98
  • [3] Multiple Lyapunov functions and other analysis tools for switched and hybrid systems
    Branicky, MS
    [J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1998, 43 (04) : 475 - 482
  • [4] CHATTERJEE D, 2004, IN PRESS P 43 C DEC
  • [5] CHEUG L, 2004, UNPUB SWITCHED PROBA
  • [6] HEITMEYER C, 1994, REAL TIM SYST SYMP P, P120, DOI 10.1109/REAL.1994.342724
  • [7] The theory of hybrid automata
    Henzinger, TA
    [J]. 11TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1996, : 278 - 292
  • [8] Hespanha J. P., 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304), P2655, DOI 10.1109/CDC.1999.831330
  • [9] Hysteresis-based switching algorithms for supervisory control of uncertain systems
    Hespanha, JP
    Liberzon, D
    Morse, AS
    [J]. AUTOMATICA, 2003, 39 (02) : 263 - 272
  • [10] Liberzon D., 2003, SYS CON FDN
12