Bounded amplitude performance of switched LPV systems with applications to hybrid systems

被引:14
作者
Bett, CJ
Lemmon, MD [1 ]
机构
[1] Univ Notre Dame, Dept Elect Engn, Notre Dame, IN 46556 USA
[2] Raytheon Syst Co, Missile Guidance Lab, Tewksbury, MA 01876 USA
关键词
amplitude response; automata extraction; gain scheduling; Lyapunov methods; parametric variation; timed automata;
D O I
10.1016/S0005-1098(98)00180-0
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
This paper discusses recent results on multiple linear agent control for systems satisfying a bounded amplitude performance constraint. The plant is assumed to be a linear parameter varying (LPV) system scheduled along a nominal parameter trajectory; in this respect, the control problem represents a plant operating between a prespecified set of operating conditions. Linear controllers are designed at setpoints along this scheduling trajectory to satisfy bounded amplitude performance constraints. This paper discusses an approach to analyze the switched system behavior under practical assumptions on the structure of the switching rule. The approach combines the scheduling parameter with LPV system properties to derive bounds on the switching behavior of the system. These estimates are then used to construct a logical model of the switched system behavior in the form of a timed automaton. In this respect, this paper presents a way of extracting logical models of continuous time system behavior. (C) 1999 Elsevier Science Ltd. All rights reserved.
引用
收藏
页码:491 / 503
页数:13
相关论文
共 23 条
[1]   A THEORY OF TIMED AUTOMATA [J].
ALUR, R ;
DILL, DL .
THEORETICAL COMPUTER SCIENCE, 1994, 126 (02) :183-235
[2]  
Alur R., 1992, LECTURE NOTES COMPUT, V736, P209, DOI [DOI 10.1007/3-540-57318-6_30, 10.1007/3-540-45027-0_11, DOI 10.1007/3-540-45027-0_11]
[3]   A CONVEX CHARACTERIZATION OF GAIN-SCHEDULED H-INFINITY CONTROLLERS [J].
APKARIAN, P ;
GAHINET, P .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1995, 40 (05) :853-864
[4]   ROBUST PERFORMANCE OF LINEAR PARAMETRICALLY VARYING SYSTEMS USING PARAMETRICALLY-DEPENDENT LINEAR FEEDBACK [J].
BECKER, G ;
PACKARD, A .
SYSTEMS & CONTROL LETTERS, 1994, 23 (03) :205-215
[5]  
BETT CJ, 1997, P AM CONTR C ALB NM
[6]  
BETT CJ, 1998, THESIS U NOTRE DAME
[7]   A unified framework for hybrid control: Model and optimal control theory [J].
Branicky, MS ;
Borkar, VS ;
Mitter, SK .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1998, 43 (01) :31-45
[8]   SYMBOLIC MODEL CHECKING - 1020 STATES AND BEYOND [J].
BURCH, JR ;
CLARKE, EM ;
MCMILLAN, KL ;
DILL, DL ;
HWANG, LJ .
INFORMATION AND COMPUTATION, 1992, 98 (02) :142-170
[9]   H infinity design with pole placement constraints: An LMI approach [J].
Chilali, M ;
Gahinet, P .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1996, 41 (03) :358-367
[10]  
CLARKE EM, 1981, LECT NOTES COMPUTER, V85