Observer-based control of piecewise-affine systems

This paper presents a new synthesis method for both state and dynamic output feedback control of a class of hybrid systems called piecewise-affine (PWA) systems. The synthesis procedure delivers stabilizing controllers that can be proven to give either asymptotic or exponential convergence rates. The synthesis method builds on existing PWA stability analysis tools by transforming the design into a closed-loop analysis problem wherein the controller parameters are unknown. More specifically, the proposed technique formulates the search for a piecewise-quadratic control Lyapunov function and a piecewise-affine control law as an optimization problem subject to linear constraints and a bilinear matrix inequality. The linear constraints in the synthesis guarantee that sliding modes are not generated at the switching. The resulting optimization problem is known to be hard, but suboptimal solutions can be obtained using the three iterative algorithms presented in the paper. The new synthesis technique allows controllers to be designed with a specified structure, such as a combined regulator and observer. The observers in these controllers then enable switching based on state estimates rather than on measured outputs. The overall design approach, including a comparison of the synthesis algorithms and the performance of the resulting controllers, is clearly demonstrated in four simulation examples.

[1]  R. Stengel,et al.  CONTROL systems. , 1952, Hospitals.

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

[3]  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.

[4]  Te-Lung Chang.  The absolute stability of nonlinear systems , 1970 .

[5]  Sung Mo Kang,et al.  Section-wise piecewise-linear functions: Canonical representation, properties, and applications , 1977, Proceedings of the IEEE.

[6]  Van Bokhoven.  Piecewise-linear modelling and analysis , 1981 .

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

[8]  R. Decarlo,et al.  Asymptotic Stability of m-Switched Systems using Lyapunov-Like Functions , 1991, 1991 American Control Conference.

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

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

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

[12]  Michael S. Branicky,et al.  General Hybrid Dynamical Systems: Modeling, Analysis, and Control , 1996, Hybrid Systems.

[13]  N. B. O. L. Pettit.  Analysis of Piecewise Linear Dynamical Systems , 1996 .

[14]  Jonathan P. How,et al.  Parametric robust H2 control design using LMI synthesis , 1996 .

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

[16]  Bart De Schutter,et al.  The Extended Linear Complementary Problem and the Modeling and Analysis of Hybrid Systems , 1997, Hybrid Systems.

[17]  Anders Rantzer,et al.  Computation of piecewise quadratic Lyapunov functions for hybrid systems , 1997, 1997 European Control Conference (ECC).

[18]  Stephen P. Boyd,et al.  Quadratic stabilization and control of piecewise-linear systems , 1998, Proceedings of the 1998 American Control Conference. ACC (IEEE Cat. No.98CH36207).

[19]  E. Yaz.  Linear Matrix Inequalities In System And Control Theory , 1998, Proceedings of the IEEE.

[20]  P. Julián,et al.  High-level canonical piecewise linear representation using a simplicial partition , 1999 .

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

[22]  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).

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

[24]  Alberto Bemporad,et al.  Control of systems integrating logic, dynamics, and constraints , 1999, Autom..

[25]  Stephen P. Boyd,et al.  A class of Lyapunov functionals for analyzing hybrid dynamical systems , 1999, Proceedings of the 1999 American Control Conference (Cat. No. 99CH36251).

[26]  David D. Sworder,et al.  Control of linear jump systems in noise , 1999, Autom..

[27]  David D. Sworder,et al.  Estimation Problems in Hybrid Systems , 1999 .

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

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

[30]  Jonathan P. How,et al.  Output feedback controller synthesis for piecewise-affine systems with multiple equilibria , 2000, Proceedings of the 2000 American Control Conference. ACC (IEEE Cat. No.00CH36334).

[31]  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).

[32]  Jonathan P. How,et al.  Parametric Robust H Control Design Using Iterative Linear Matrix Inequalities Synthesis , 2000 .

[33]  Wilson J. Rugh,et al.  Research on gain scheduling , 2000, Autom..

[34]  T. Başar.  Absolute Stability of Nonlinear Systems of Automatic Control , 2001 .

[35]  B. Foss,et al.  Piecewise affine observer-based robust controllers for constrained nonlinear systems , 2001, 2001 European Control Conference (ECC).

[36]  Jonathan P. How,et al.  Automated control design for a piecewise-affine approximation of a class of nonlinear systems , 2001, Proceedings of the 2001 American Control Conference. (Cat. No.01CH37148).

[37]  Jonathan P. How,et al.  A KYP lemma and invariance principle for systems with multiple hysteresis non-linearities , 2001 .

[38]  Munther A. Dahleh,et al.  Global stability of relay feedback systems , 2001, IEEE Trans. Autom. Control..

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

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

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