Control and estimation of piecewise affine systems

Piecewise affine (PWA) system has wide applications in circuit and control systems. It is considered as a powerful tool to study nonlinear systems, as well as switched and hybrid systems. This thesis presents our research findings in control and estimation of PWA systems. We begin with the examination of the stability of PWA systems. We introduce a piecewise homogeneous polynomial Lyapunov function approach to achieve less conservative stability conditions by using two types of power transformations. Both continuous-time and discrete-time PWA systems are considered. The approach leads to less conservative stability analysis than existing results. In addition to these stability results based on halfspace representation, we also find ways to address the stability of PWA systems based on vertex representation. Specifically, we incorporate vertex information of local partition and utilize parameterized Lyapunov functions to deduce less conservative conditions for stability. Next, we address the controllability and reachability of a class of PWA systems. Based on a general classification method, explicit necessary and sufficient conditions in terms of system parameters for controllability and reachability are presented. We show that controllability and reachability can be asserted in finite steps in some situations. We also briefly discuss the general cases. We then turn to the controller design problems for discrete-time PWA systems. We first consider the state feedback control for PWA systems. By incorporating partition information of the system and applying S-procedure, linear matrix inequality ii ATTENTION: The Singapore Copyright Act applies to the use of this document. Nanyang Technological University Library

[1]  Gang Feng,et al.  Stability analysis of discrete-time fuzzy dynamic systems based on piecewise Lyapunov functions , 2004, IEEE Trans. Fuzzy Syst..

[2]  Masakazu Kojima,et al.  Branch-and-Cut Algorithms for the Bilinear Matrix Inequality Eigenvalue Problem , 2001, Comput. Optim. Appl..

[3]  Alberto Bemporad,et al.  Hybrid Control of an Automotive Robotized Gearbox for Reduction of Consumptions and Emissions , 2003, HSCC.

[4]  A. Rantzer.  A dual to Lyapunov's stability theorem , 2001 .

[5]  Aleksej F. Filippov,et al.  Differential Equations with Discontinuous Righthand Sides , 1988, Mathematics and Its Applications.

[6]  C. Fantuzzi,et al.  Identification of piecewise affine models in noisy environment , 2002 .

[7]  F. Allgower,et al.  Polynomial Feedback and Observer Design using Nonquadratic Lyapunov Functions , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[8]  M. Morari,et al.  Optimal controllers for hybrid systems: stability and piecewise linear explicit form , 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).

[9]  Gang Feng,et al.  Stability analysis of piecewise discrete-time linear systems , 2002, IEEE Trans. Autom. Control..

[10]  D. Chatterjee,et al.  On stability of stochastic switched systems , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[11]  Jun-ichi Imura,et al.  Optimal control of sampled-data piecewise affine systems , 2004, Autom..

[12]  J. Doyle,et al.  Robust simulation and nonlinear performance , 1996, Proceedings of 35th IEEE Conference on Decision and Control.

[13]  Alberto Bemporad,et al.  Identification of piecewise affine systems via mixed-integer programming , 2004, Autom..

[14]  Munther A. Dahleh,et al.  Global analysis of piecewise linear systems using impact maps and surface Lyapunov functions , 2003, IEEE Trans. Autom. Control..

[15]  Leon O. Chua,et al.  Canonical piecewise-linear representation , 1988 .

[16]  A. Juloski,et al.  Two approaches to state estimation for a class of piecewise affine systems , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[17]  J.M. Goncalves,et al.  Finding surface Lyapunov functions through sum-of-squares programming , 2004, Proceedings of the 2004 American Control Conference.

[18]  Gang Feng.  H/spl infin/ controller analysis and synthesis of piecewise discrete time linear systems , 2004, ICARCV 2004 8th Control, Automation, Robotics and Vision Conference, 2004..

[19]  Tor Arne Johansen,et al.  Computation of Lyapunov functions for smooth nonlinear systems using convex optimization , 2000, Autom..

[20]  Gang Feng,et al.  Robust filtering design of piecewise discrete time linear systems , 2005, IEEE Transactions on Signal Processing.

[21]  P. Peres,et al.  Stability of polytopes of matrices via affine parameter-dependent lyapunov functions : Asymptotically exact LMI conditions , 2005 .

[23]  Pierre Apkarian,et al.  Robust control via concave minimization local and global algorithms , 2000, IEEE Trans. Autom. Control..

[24]  E. Rudolf Kalman.  Phase-plane analysis of automatic control systems with nonlinear gain elements , 1955, Transactions of the American Institute of Electrical Engineers, Part II: Applications and Industry.

[25]  Eduardo Sontag.  Nonlinear regulation: The piecewise linear approach , 1981 .

[26]  Leon O. Chua,et al.  Linear and nonlinear circuits , 1987 .

[27]  Anders Rantzer,et al.  Piecewise linear quadratic optimal control , 1997, Proceedings of the 1997 American Control Conference (Cat. No.97CH36041).

[28]  Guangming Xie,et al.  Necessary and sufficient conditions for controllability of switched linear systems , 2002, Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301).

[29]  G. Feng,et al.  Generalized H/sub 2/ controller synthesis of fuzzy dynamic systems based on piecewise lyapunov functions , 2002 .

[30]  Jun Xu,et al.  Non-synchronized H∞ Estimation of Piecewise Linear Systems , 2006, 2006 1ST IEEE Conference on Industrial Electronics and Applications.

[31]  Stephen P. Boyd,et al.  Linear Matrix Inequalities in Systems and Control Theory , 1994 .

[32]  Lihua Xie,et al.  Controllability and reachability of discrete-time planar bimodal piecewise linear systems , 2006, 2006 American Control Conference.

[33]  G. Papavassilopoulos,et al.  A global optimization approach for the BMI problem , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[34]  M. Branicky.  Analyzing continuous switching systems: theory and examples , 1994, Proceedings of 1994 American Control Conference - ACC '94.

[35]  Vadim I. Utkin,et al.  Sliding Modes in Control and Optimization , 1992, Communications and Control Engineering Series.

[36]  G. Papavassilopoulos,et al.  Biaffine matrix inequality properties and computational methods , 1994, Proceedings of 1994 American Control Conference - ACC '94.

[37]  Xuping Xu,et al.  Optimal control of switched systems via non-linear optimization based on direct differentiations of value functions , 2002 .

[38]  P. Parrilo.  Structured semidefinite programs and semialgebraic geometry methods in robustness and optimization , 2000 .

[39]  Karl-Erik Årzén,et al.  Piecewise quadratic stability of fuzzy systems , 1999, IEEE Trans. Fuzzy Syst..

[40]  Pablo A. Parrilo,et al.  Nonlinear control synthesis by convex optimization , 2004, IEEE Transactions on Automatic Control.

[41]  M. Morari,et al.  Analysis and control with performance of piecewise affine and hybrid systems , 2001, Proceedings of the 2001 American Control Conference. (Cat. No.01CH37148).

[42]  J. Lasserre,et al.  SOS approximation of polynomials nonnegative on an algebraic set , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[43]  Bernard Brogliato,et al.  Some results on the controllability of planar variational inequalities , 2005, Syst. Control. Lett..

[44]  M. Morari,et al.  A survey on stability analysis of discrete-time piecewise affine systems , 2005 .

[45]  Kiyotsugu Takaba,et al.  Identification of piecewise affine systems based on statistical clustering technique , 2004, Autom..

[46]  Alberto Bemporad,et al.  Observability and controllability of piecewise affine and hybrid systems , 2000, IEEE Trans. Autom. Control..

[47]  Etienne de Klerk,et al.  Solving Standard Quadratic Optimization Problems via Linear, Semidefinite and Copositive Programming , 2002, J. Glob. Optim..

[48]  D. Coutinho,et al.  Stability analysis and guaranteed domain of attraction for a class of hybrid systems: an LMI approach , 2003 .

[49]  J.-N. Lin,et al.  Canonical piecewise-linear approximations , 1992 .

[50]  David Zhang,et al.  Improved robust H2 and Hinfinity filtering for uncertain discrete-time systems , 2004, Autom..

[51]  Manfred Morari,et al.  Moving horizon estimation for hybrid systems , 2002, IEEE Trans. Autom. Control..

[52]  Eduardo D. Sontag,et al.  Interconnected Automata and Linear Systems: A Theoretical Framework in Discrete-Time , 1996, Hybrid Systems.

[53]  Gang Feng.  Observer-based output feedback controller design of piecewise discrete-time linear systems , 2003 .

[54]  Alberto Bemporad,et al.  Synthesis of state-feedback optimal controllers for continuous-time switched linear systems , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[55]  J. Geromel,et al.  A new discrete-time robust stability condition , 1999 .

[56]  Alexandre Trofino,et al.  Bi-Quadratic Stability for Nonlinear Systems , 2000 .

[57]  John N. Tsitsiklis,et al.  Complexity of stability and controllability of elementary hybrid systems , 1999, Autom..

[58]  A. Alessandri,et al.  Switching observers for continuous-time and discrete-time linear systems , 2001, Proceedings of the 2001 American Control Conference. (Cat. No.01CH37148).

[59]  Stephen P. Boyd,et al.  A path-following method for solving BMI problems in control , 1999, Proceedings of the 1999 American Control Conference (Cat. No. 99CH36251).

[60]  Mohamed Babaali,et al.  Switched Linear Systems: Observability and Observers , 2004 .

[61]  M. C. de Oliveira.  Decomposition of a Polynomial as a Sum-of-Squares of Polynomials and the S-Procedure , 2005, CDC 2005.

[62]  M. Kanat Camlibel,et al.  On the Controllability of Bimodal Piecewise Linear Systems , 2004, HSCC.

[63]  Arnaud Doucet,et al.  Stochastic sampling algorithms for state estimation of jump Markov linear systems , 2000, IEEE Trans. Autom. Control..

[64]  Gang Feng,et al.  Hinfinity controller design of fuzzy dynamic systems based on piecewise Lyapunov functions. , 2004, IEEE transactions on systems, man, and cybernetics. Part B, Cybernetics : a publication of the IEEE Systems, Man, and Cybernetics Society.

[65]  W. James Schwartz.  Piecewise linear servomechanisms , 1953, Transactions of the American Institute of Electrical Engineers, Part II: Applications and Industry.

[66]  R. Liu,et al.  Nonlinear filtering: A hybrid approximation scheme , 2001 .

[67]  Z. Jarvis-Wloszek,et al.  Lyapunov Based Analysis and Controller Synthesis for Polynomial Systems using Sum-of-Squares Optimization , 2003 .

[68]  Jun Xu,et al.  Dilated LMI Characterization and a New Stability Criterion for Polytopic Uncertain Systems , 2006, 2006 6th World Congress on Intelligent Control and Automation.

[69]  Alberto Bemporad,et al.  Optimization-Based Verification and Stability Characterization of Piecewise Affine and Hybrid Systems , 2000, HSCC.

[70]  Didier Henrion,et al.  GloptiPoly: Global optimization over polynomials with Matlab and SeDuMi , 2003, TOMS.

[71]  M. Johansson,et al.  Piecewise Linear Control Systems , 2003 .

[72]  Graziano Chesi.  Establishing stability and instability of matrix hypercubes , 2005, Syst. Control. Lett..

[73]  A. Bemporad,et al.  Passivity analysis of discrete-time hybrid systems using piecewise polynomial storage functions , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[74]  Bernard Brogliato,et al.  Some perspectives on the analysis and control of complementarity systems , 2003, IEEE Trans. Autom. Control..

[75]  I. Bar-Itzhack,et al.  Observability analysis of piece-wise constant systems with application to inertial navigation , 1990, 29th IEEE Conference on Decision and Control.

[76]  L. Rodrigues.  Dynamic output feedback controller synthesis for piecewise-affine systems , 2002 .

[77]  A. Papachristodoulou,et al.  Analysis of switched and hybrid systems - beyond piecewise quadratic methods , 2003, Proceedings of the 2003 American Control Conference, 2003..

[78]  Bart De Schutter,et al.  Equivalence of hybrid dynamical models , 2001, Autom..

[79]  J. Imura,et al.  Probabilistic controllability analysis of sampled-data/discrete-time piecewise affine systems , 2004, Proceedings of the 2004 American Control Conference.

[80]  Alberto Bemporad,et al.  A bounded-error approach to piecewise affine system identification , 2005, IEEE Transactions on Automatic Control.

[81]  Hava T. Siegelmann,et al.  On the Computational Power of Neural Nets , 1995, J. Comput. Syst. Sci..

[82]  Tingshu Hu,et al.  An analysis and design method for linear systems subject to actuator saturation and disturbance , 2002, Proceedings of the 2000 American Control Conference. ACC (IEEE Cat. No.00CH36334).

[83]  Stephen P. Boyd,et al.  Lyapunov methods in the analysis of complex dynamical systems , 2000 .

[84]  Stephen P. Boyd,et al.  A global BMI algorithm based on the generalized benders decomposition , 1997, 1997 European Control Conference (ECC).

[85]  Hiromasa Haneda,et al.  Computer generated Lyapunov functions for a class of nonlinear systems , 1993 .

[86]  Manfred Morari,et al.  A clustering technique for the identification of piecewise affine systems , 2001, Autom..

[87]  Pierre Apkarian,et al.  Non Linear Spectral SDP Method for BMI-Constrained Problems: Applications to Control Design , 2004, ICINCO.

[88]  Michel Verhaegen,et al.  Robust output-feedback controller design via local BMI optimization , 2004, Autom..

[89]  Graziano Chesi.  Estimating the domain of attraction for uncertain polynomial systems , 2004, Autom..

[90]  R. Decarlo,et al.  Perspectives and results on the stability and stabilizability of hybrid systems , 2000, Proceedings of the IEEE.

[91]  S. Sastry,et al.  Decidable and semi-decidable controller synthesis for classes of discrete time hybrid systems , 2001, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).

[92]  M. Branicky.  Multiple Lyapunov functions and other analysis tools for switched and hybrid systems , 1998, IEEE Trans. Autom. Control..

[93]  Gang Feng,et al.  Feedback control design for discrete-time piecewise affine systems , 2005, 2005 International Conference on Control and Automation.

[94]  Eugenius Kaszkurewicz,et al.  A team algorithm for robust stability analysis and control design of uncertain time‐varying linear systems using piecewise quadratic Lyapunov functions , 2001 .

[95]  Gang Feng,et al.  Piecewise H/sub /spl infin// controller design of discrete time fuzzy systems , 2004, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

[96]  G. Feng.  Controller design and analysis of uncertain piecewise-linear systems , 2002 .

[97]  Angelo Alessandri,et al.  Design of Luenberger Observers for a Class of Hybrid Linear Systems , 2001, HSCC.

[98]  A. I. Barkin,et al.  Method of power transformations for analysis of stability of nonlinear control systems , 1983 .

[99]  John N. Tsitsiklis,et al.  Deciding stability and mortality of piecewise affine dynamical systems , 2001, Theor. Comput. Sci..

[100]  Manfred Morari,et al.  A Generalized Approach for Analysis and Control of Discrete-Time Piecewise Affine and Hybrid Systems , 2001, HSCC.

[101]  A. Morse,et al.  Basic problems in stability and design of switched systems , 1999 .

[102]  A. Juloski,et al.  Observer design for a class of piece-wise affine systems , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[103]  Uri Shaked,et al.  Improved LMI representations for the analysis and the design of continuous-time systems with polytopic type uncertainty , 2001, IEEE Trans. Autom. Control..

[104]  S. Pettersson,et al.  Controller design of switched linear systems , 2004, Proceedings of the 2004 American Control Conference.

[105]  Guangming Xie,et al.  Null controllability of planar piecewise linear systems , 2003, SMC'03 Conference Proceedings. 2003 IEEE International Conference on Systems, Man and Cybernetics. Conference Theme - System Security and Assurance (Cat. No.03CH37483).

[106]  A. Haddad,et al.  On the Controllability and Observability of Hybrid Systems , 1988, 1988 American Control Conference.

[107]  Lihua Xie,et al.  Homogeneous polynomial Lyapunov functions for piecewise affine systems , 2005, Proceedings of the 2005, American Control Conference, 2005..

[108]  Lihua Xie,et al.  H∞ STATE FEEDBACK CONTROL OF DISCRETE-TIME PIECEWISE AFFINE SYSTEMS , 2005 .

[109]  B. Reznick,et al.  A new bound for Pólya's Theorem with applications to polynomials positive on polyhedra , 2001 .

[110]  Christos Yfoulis,et al.  Stabilization of orthogonal piecewise linear systems using piecewise linear Lyapunov-like functions , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).

[111]  E. Kerrigan.  Robust Constraint Satisfaction: Invariant Sets and Predictive Control , 2000 .

[112]  Lihua Xie,et al.  Null controllability of discrete-time planar bimodal piecewise linear systems , 2005 .

[113]  van Jh Jan Schuppen,et al.  Reachability of affine systems on polytopes in the plane , 2004 .

[114]  Gang Feng,et al.  Controller synthesis of fuzzy dynamic systems based on piecewise Lyapunov functions and bilinear matrix inequalities , 2003, The 12th IEEE International Conference on Fuzzy Systems, 2003. FUZZ '03..

[115]  Tingshu Hu,et al.  A complete stability analysis of planar discrete-time linear systems under saturation , 2001 .

[116]  Jun-ichi Imura.  Classification and stabilizability analysis of bimodal piecewise affine systems , 2002 .

[117]  S. Azuma,et al.  A probabilistic approach to controllability/reachability analysis of hybrid systems , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[118]  M. Gati,et al.  Computation of Observability Regions for Piecewise Affine Systems: A Projection-Based Algorithm , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[119]  M. Kantner.  Robust stability of piecewise linear discrete time systems , 1997, Proceedings of the 1997 American Control Conference (Cat. No.97CH36041).

[120]  Stephen P. Boyd,et al.  Piecewise-affine state feedback for piecewise-affine slab systems using convex optimization , 2005, Syst. Control. Lett..

[121]  H. Nijmeijer,et al.  Convergent piecewise affine systems: analysis and design Part II: discontinuous case , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[122]  E. Prempain.  An application of the Sum of Squares Decomposition to the L2gain computation for a class of non linear systems , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[123]  Tingshu Hu,et al.  A complete stability analysis of planar linear systems under saturation , 2000 .

[124]  Jan H. van Schuppen,et al.  A control problem for affine dynamical systems on a full-dimensional polytope , 2004, Autom..

[125]  Christos A. Yfoulis,et al.  Stabilization of Orthogonal Piecewise Linear Systems: Robustness Analysis and Design , 1999, HSCC.

[126]  A. Papachristodoulou,et al.  Nonlinear control synthesis by sum of squares optimization: a Lyapunov-based approach , 2004, 2004 5th Asian Control Conference (IEEE Cat. No.04EX904).

[127]  Stefan Pettersson,et al.  Analysis and Design of Hybrid Systems , 1999 .

[128]  W.P.M.H. Heemels,et al.  Stability and controllability of planar bimodal linear complementarity systems , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[129]  A Piecewise Quadratic Approach to Stability Analysis of Fuzzy Systems , 2000 .

[130]  Graziano Chesi,et al.  An LMI approach to constrained optimization with homogeneous forms , 2001 .

[131]  Jun-ichi Imura,et al.  Well-posedness analysis of switch-driven piecewise affine systems , 2003, IEEE Trans. Autom. Control..

[132]  AN EXACT STABILITY TEST FOR PLANAR AND MULTI-MODAL PIECEWISE LINEAR SYSTEMS , 2005 .

[133]  Manfred Morari,et al.  Analysis of discrete-time piecewise affine and hybrid systems , 2002, Autom..

[134]  G. Millerioux,et al.  Parameter dependent Lyapunov function for global chaos synchronization of discrete time hybrid systems , 2000, 2000 2nd International Conference. Control of Oscillations and Chaos. Proceedings (Cat. No.00TH8521).

[135]  A. Michel,et al.  Stability theory for hybrid dynamical systems , 1998, IEEE Trans. Autom. Control..

[136]  A. Juloski,et al.  Data-based hybrid modelling of the component placement process in pick-and-place machines , 2004 .

[137]  Pascal Grieder,et al.  Efficient computation of feedback controllers for constrained systems , 2004 .

[138]  Michio Sugeno,et al.  Fuzzy identification of systems and its applications to modeling and control , 1985, IEEE Transactions on Systems, Man, and Cybernetics.

[139]  A. L. Zelentsovsky.  Nonquadratic Lyapunov functions for robust stability analysis of linear uncertain systems , 1994, IEEE Trans. Autom. Control..

[140]  Panos J. Antsaklis,et al.  Design of hybrid system regulators , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).

[141]  J. Geromel,et al.  LMI characterization of structural and robust stability: the discrete-time case , 1999 .

[142]  G. Chesi.  Characterizing the positive polynomials which are not SOS , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[143]  Tobias Geyer,et al.  Low complexity model predictive control in power electronics and power systems , 2005 .

[144]  J. How,et al.  Observer-based control of piecewise-affine systems , 2003 .

[146]  L. Ghaoui,et al.  A cone complementarity linearization algorithm for static output-feedback and related problems , 1997, IEEE Trans. Autom. Control..