Characterization of well-posedness of piecewise-linear systems

被引:146
作者
Imura, J
van der Schaft, A
机构
[1] Univ Twente, Fac Math Sci, NL-7500 AE Enschede, Netherlands
[2] CWI, NL-1090 GB Amsterdam, Netherlands
关键词
discontinuous systems; hybrid systems; lexicographic inequalities; piecewise-linear systems; well-posedness;
D O I
10.1109/9.880612
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
One of the basic issues in the study of hybrid systems is the well-posedness (existence and uniqueness of solutions) problem of discontinuous dynamical systems. The paper addresses this problem for a class of piecewise-linear discontinuous systems under the definition of solutions of Caratheodory, The concepts of jump solutions or of sliding modes are not considered here. In this sense, the problem to be discussed is one of the most basic problems in the study of well-posedness for discontinuous dynamical systems. First, we derive necessary and sufficient renditions for bimodal systems to be well-posed, in terms of an analysis based on lexicographic inequalities and the smooth continuation property of solutions. Next, its extensions to the multi-modal case are discussed. As an application to switching control, in the case that two state feedback gains are switched according to a criterion depending on the state, we give a characterization of all admissible state feedback gains for which the closed loop system remains well-posed.
引用
收藏
页码:1600 / 1619
页数:20
相关论文
共 31 条
[1]   A THEORY OF TIMED AUTOMATA [J].
ALUR, R ;
DILL, DL .
THEORETICAL COMPUTER SCIENCE, 1994, 126 (02) :183-235
[2]   THE ALGORITHMIC ANALYSIS OF HYBRID SYSTEMS [J].
ALUR, R ;
COURCOUBETIS, C ;
HALBWACHS, N ;
HENZINGER, TA ;
HO, PH ;
NICOLLIN, X ;
OLIVERO, A ;
SIFAKIS, J ;
YOVINE, S .
THEORETICAL COMPUTER SCIENCE, 1995, 138 (01) :3-34
[3]  
ALUR R, 1996, LECT NOTES COMPUTER, V1066
[4]  
ANTSAKLIS P, 1993, LNCS, P366
[5]  
ANTSAKLIS PJ, 1995, LECT NOTES COMPUTER, V999
[6]  
ANTSAKLIS PJ, 1997, LECT NOTES COMPUTER, V1273
[7]   Multiple Lyapunov functions and other analysis tools for switched and hybrid systems [J].
Branicky, MS .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1998, 43 (04) :475-482
[8]   UNIVERSAL COMPUTATION AND OTHER CAPABILITIES OF HYBRID AND CONTINUOUS DYNAMICAL-SYSTEMS [J].
BRANICKY, MS .
THEORETICAL COMPUTER SCIENCE, 1995, 138 (01) :67-100
[9]  
BRANICKY MS, 1994, IEEE DECIS CONTR P, P4228, DOI 10.1109/CDC.1994.411615
[10]  
BRANICKY MS, 1994, PROCEEDINGS OF THE 1994 AMERICAN CONTROL CONFERENCE, VOLS 1-3, P3110