Finite data-rate feedback stabilization of switched and hybrid linear systems

被引:198
作者
Liberzon, Daniel [1 ]
机构
[1] Univ Illinois, Coordinated Sci Lab, Urbana, IL 61821 USA
基金
美国国家科学基金会; 新加坡国家研究基金会;
关键词
Quantized control; Switched systems; Hybrid systems; TO-STATE STABILITY; REACHABILITY ANALYSIS; COMPUTATIONAL TECHNIQUES; LIMITED INFORMATION; SUPERVISORY CONTROL; VERIFICATION;
D O I
10.1016/j.automatica.2013.11.037
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
We study the problem of asymptotically stabilizing a switched linear control system using sampled and quantized measurements of its state. The switching is assumed to be slow enough in the sense of combined dwell time and average dwell time, each individual mode is assumed to be stabilizable, and the available data rate is assumed to be large enough but finite. Our encoding and control strategy is rooted in the one proposed in our earlier work on non-switched systems, and in particular the data-rate bound used here is the data-rate bound from that earlier work maximized over the individual modes. The main technical step that enables the extension to switched systems concerns propagating over-approximations of reachable sets through sampling intervals, during which the switching signal is not known; a novel algorithm is developed for this purpose. Our primary focus is on systems with time-dependent switching (switched systems) but the setting of state-dependent switching (hybrid systems) is also discussed. (C) 2013 Elsevier Ltd. All rights reserved.
引用
收藏
页码:409 / 420
页数:12
相关论文
共 45 条
[1]  
Asarin E., 2002, Computer Aided Verification. 14th International Conference, CAV 2002. Proceedings (Lecture Notes in Computer Science Vol.2404), P365
[2]  
Asarin E, 2000, LECT NOTES COMPUT SC, V1790, P20
[3]   Computational techniques for hybrid system verification [J].
Chutinan, A ;
Krogh, BH .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2003, 48 (01) :64-75
[4]  
Dang T, 1998, LECT NOTES COMPUT SC, V1386, P96
[5]  
Frehse G, 2005, LECT NOTES COMPUT SC, V3414, P258
[6]  
Frehse G., 2011, LNCS, V6806, P379, DOI DOI 10.1007/978-3-642-22110-1
[7]  
Girard A, 2005, LECT NOTES COMPUT SC, V3414, P291
[8]  
Girard A, 2008, LECT NOTES COMPUT SC, V4981, P215
[9]   Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems [J].
Girard, Antoine ;
Pola, Giordano ;
Tabuada, Paulo .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2010, 55 (01) :116-126
[10]  
Greenstreet MR, 1998, LECT NOTES COMPUT SC, V1386, P159