research-article

On infinity norms as Lyapunov functions for piecewise affine systems

Authors:

Andrej JokićAuthors Info & Claims

HSCC '10: Proceedings of the 13th ACM international conference on Hybrid systems: computation and control

Pages 131 - 140

https://doi.org/10.1145/1755952.1755972

Published: 12 April 2010 Publication History

Abstract

This paper considers off-line synthesis of stabilizing static feedback control laws for discrete-time piecewise affine (PWA) systems. Two of the problems of interest within this framework are: (i) incorporation of the S-procedure in synthesis of a stabilizing state feedback control law and (ii) synthesis of a stabilizing output feedback control law. Tackling these problems via (piecewise) quadratic Lyapunov function candidates yields a bilinear matrix inequality at best. A new solution to these problems is proposed in this work, which uses infinity norms as Lyapunov function candidates and, under certain conditions, requires solving a single linear program. This solution also facilitates the computation of piecewise polyhedral positively invariant (or contractive) sets for discrete-time PWA systems.

References

[1]

M. S. Branicky, V. S. Borkar, and S. K. Mitter, "A unified framework for hybrid control: model and optimal control theory," IEEE Transactions on Automatic Control, vol. 43, no. 1, pp. 31--45, 1998.

[2]

M. Johansson, "Piecewise linear control systems," Ph.D. dissertation, Lund Institute of Technology, Sweden, 1999., Piecewise linear control systems, ser. Lecture Notes in Control and Information Sciences. Springer, 2003, vol. 284.

Digital Library

[3]

E. D. Sontag, "Nonlinear regulation: the piecewise linear approach," IEEE Transactions on Automatic Control, vol. 26, no. 2, pp. 346--357, 1981.

[4]

M. Johansson and A. Rantzer, "Computation of piecewise quadratic Lyapunov functions for hybrid systems," IEEE Transactions on Automatic Control, vol. 43, no. 4, pp. 555--559, 1998.

[5]

G. Ferrari-Trecate, F. A. Cuzzola, D. Mignone, and M. Morari, "Analysis of discrete-time piecewise affine and hybrid systems," Automatica, vol. 38, no. 12, pp. 2139--2146, 2002.

Digital Library

[6]

J. Daafouz, P. Riedinger, and C. Iung, "Stability analysis and control synthesis for switched systems: A switched Lyapunov function approach," IEEE Transactions on Automatic Control, vol. 47, pp. 1883--1887, 2002.

[7]

M. Lazar, W. P. M. H. Heemels, S. Weiland, and A. Bemporad, "On the stability of quadratic forms based model predictive control of constrained PWA systems," in 24th American Control Conference, Portland, Oregon, 2005, pp. 575--580.

[8]

I. Necoara, B. De Schutter, W. P. M. H. Heemels, S. Weiland, M. Lazar, and T. J. J. van den Boom, "Control of PWA systems using a stable receding horizon control method," in 16th IFAC World Congress, Prague, Czech Republic, 2005.

[9]

M. Lazar and W. P. M. H. Heemels, "Global input-to-state stability and stabilization of discrete-time piece-wise affine systems," Nonlinear Analysis: Hybrid Systems, vol. 2, pp. 721--734, 2008.

[10]

A. Balluchi, L. Benvenuti, M. D. Di Benedetto, and A. L. Sangiovanni-Vincentelli, "Design of observers for hybrid systems," in Hybrid Systems: Computation and Control, ser. Lecture Notes in Computer Science, vol. 2289. Springer Verlag, 2002, pp. 76--89.

Digital Library

[11]

S. Petterson, "Switched state jump observers for switched systems," in 16th IFAC World Congress, Prague, Czech Republic, 2005.

[12]

W. P. M. H. Heemels, M. K. Camlibel, B. Brogliato, and J. M. Schumacher, "Observer-based control of linear complementarity systems," in Hybrid Systems: Computation and Control, ser. Lecture Notes in Computer Science, vol. 4981. Springer-Verlag, 2008, pp. 259--272.

Digital Library

[13]

A. P. Molchanov and E. S. Pyatnitskii, "Criteria of asymptotic stability of differential and difference inclusions encountered in control theory," Systems & Control Letters, vol. 13, pp. 59--64, 1989.

Digital Library

[14]

H. Kiendl, J. Adamy, and P. Stelzner, "Vector norms as Lyapunov functions for linear systems," IEEE Transactions on Automatic Control, vol. 37, no. 6, pp. 839--842, 1992.

[15]

A. Polanski, "On infinity norms as Lyapunov functions for linear systems," IEEE Transactions on Automatic Control, vol. 40, no. 7, pp. 1270--1273, 1995., "Lyapunov function construction by linear programming," IEEE Transactions on Automatic Control, vol. 42, no. 7, pp. 1013--1016, 1997.

[16]

K. Loskot, A. Polanski, and R. Rudnicki, "Further comments on "Vector norms as Lyapunov functions for linear systems"," IEEE Transactions on Automatic Control, vol. 43, no. 2, pp. 289--291, 1998.

[17]

A. Polanski, "On absolute stability analysis by polyhedral Lyapunov functions," Automatica, vol. 36, pp. 573--578, 2000.

Digital Library

[18]

P. Julián, J. Guivant, and A. Desages, "A parametrization of piecewise linear Lyapunov functions via linear programming," International Journal of Control, vol. 72, no. 7/8, pp. 702--715, 1999.

[19]

F. J. Christophersen and M. Morari, "Further results on infinity norms as Lyapunov functions for linear systems", IEEE Transactions on Automatic Control, vol. 52, no. 3, pp. 547--553, 2007.

[20]

F. Blanchini, "Nonquadratic Lyapunov functions for robust control," Automatica, vol. 31, no. 3, pp. 451--461, 1995.

Digital Library

[21]

H. Lin and P. J. Antsaklis, "Switching stabilizability for continuous-time uncertain switched linear systems," IEEE Transactions on Automatic Control, vol. 52, no. 4, pp. 633--646, 2007.

[22]

M. Lazar, W. P. M. H. Heemels, S. Weiland, A. Bemporad, and O. Pastravanu, "Infinity norms as Lyapunov functions for model predictive control of constrained PWA systems," in Hybrid Systems: Computation and Control, ser. Lecture Notes in Computer Science, vol. 3414. Zürich, Switzerland: Springer Verlag, 2005, pp. 417--432.

Digital Library

[23]

M. Lazar, W. P. M. H. Heemels, S. Weiland, and A. Bemporad, "Stabilizing model predictive control of hybrid systems," IEEE Transactions on Automatic Control, vol. 51, no. 11, pp. 1813--1818, 2006.

[24]

M. Lazar and A. Jokic, "Synthesis of trajectory-dependent control Lyapunov functions by a single linear program," in Hybrid Systems: Computation and Control, ser. Lecture Notes in Computer Science, vol. 5469. Springer-Verlag, 2009, pp. 237--251.

Digital Library

[25]

Z.-P. Jiang and Y. Wang, "A converse Lyapunov theorem for discrete-time systems with disturbances," Systems & Control Letters, vol. 45, pp. 49--58, 2002.

[26]

M. Lazar, "Model predictive control of hybrid systems: Stability and robustness," Ph.D. dissertation, Eindhoven University of Technology, The Netherlands, 2006.

[27]

S. Boyd and L. Vandenberghe, Convex optimization. Cambridge University Press, 2004.

Digital Library

Cited By

Palacios Roman JHafstein S(2024)Convex Lyapunov Functions for Switched Discrete-Time Systems by Linear Programming2024 25th International Carpathian Control Conference (ICCC)10.1109/ICCC62069.2024.10569580(01-06)Online publication date: 22-May-2024
https://doi.org/10.1109/ICCC62069.2024.10569580
Meijer TDolk VHeemels W(2024)Certificates of nonexistence for analyzing stability, stabilizability and detectability of LPV systemsAutomatica10.1016/j.automatica.2024.111841170(111841)Online publication date: Dec-2024
https://doi.org/10.1016/j.automatica.2024.111841
Hafstein S(2018)Fast Algorithms for Computing Continuous Piecewise Affine Lyapunov FunctionsSimulation and Modeling Methodologies, Technologies and Applications10.1007/978-3-030-01470-4_15(274-299)Online publication date: 21-Nov-2018
https://doi.org/10.1007/978-3-030-01470-4_15
Show More Cited By

Index Terms

On infinity norms as Lyapunov functions for piecewise affine systems
1. Mathematics of computing
  1. Mathematical analysis
    1. Numerical analysis

Recommendations

Asymptotic stability of sampled-data piecewise affine slab systems

This paper addresses stability analysis of closed-loop sampled-data piecewise affine (PWA) slab systems. In particular, we study the case in which a PWA plant is in feedback with a discrete-time emulation of a PWA controller. We consider the sampled-...
Lyapunov stability for piecewise affine systems via cone-copositivity

Cone-copositive piecewise quadratic Lyapunov functions (PWQ-LFs) for the stability analysis of continuous-time piecewise affine (PWA) systems are proposed. The state space is assumed to be partitioned into a finite number of convex, possibly unbounded, ...
Brief Analysis of discrete-time piecewise affine and hybrid systems

In this paper, we present various algorithms both for stability and performance analysis of discrete-time piece-wise affine (PWA) systems. For stability, different classes of Lyapunov functions are considered and it is shown how to compute them through ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

HSCC '10: Proceedings of the 13th ACM international conference on Hybrid systems: computation and control

April 2010

308 pages

ISBN:9781605589558

DOI:10.1145/1755952

General Chairs:
Karl Henrik Johansson
KTH, Sweden
,
Wang Yi
Uppsala University, Sweden

Copyright © 2010 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

SIGBED: ACM Special Interest Group on Embedded Systems

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 12 April 2010

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

HSCC '10

Sponsor:

SIGBED

HSCC '10: The 13th ACM International Conference on Hybrid Systems: Computation and Control

April 12 - 15, 2010

Stockholm, Sweden

Acceptance Rates

Overall Acceptance Rate 153 of 373 submissions, 41%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

11
Total Citations
View Citations
185
Total Downloads

Downloads (Last 12 months)15
Downloads (Last 6 weeks)1

Reflects downloads up to 16 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

Palacios Roman JHafstein S(2024)Convex Lyapunov Functions for Switched Discrete-Time Systems by Linear Programming2024 25th International Carpathian Control Conference (ICCC)10.1109/ICCC62069.2024.10569580(01-06)Online publication date: 22-May-2024
https://doi.org/10.1109/ICCC62069.2024.10569580
Meijer TDolk VHeemels W(2024)Certificates of nonexistence for analyzing stability, stabilizability and detectability of LPV systemsAutomatica10.1016/j.automatica.2024.111841170(111841)Online publication date: Dec-2024
https://doi.org/10.1016/j.automatica.2024.111841
Hafstein S(2018)Fast Algorithms for Computing Continuous Piecewise Affine Lyapunov FunctionsSimulation and Modeling Methodologies, Technologies and Applications10.1007/978-3-030-01470-4_15(274-299)Online publication date: 21-Nov-2018
https://doi.org/10.1007/978-3-030-01470-4_15
Ghasemi MAfzalian A(2017)Robust tube-based MPC of constrained piecewise affine systems with bounded additive disturbancesNonlinear Analysis: Hybrid Systems10.1016/j.nahs.2017.04.00726(86-100)Online publication date: Nov-2017
https://doi.org/10.1016/j.nahs.2017.04.007
Gallieri MGallieri M(2016)Robust Tracking with Soft ConstraintsLasso-MPC – Predictive Control with ℓ1-Regularised Least Squares10.1007/978-3-319-27963-3_7(145-172)Online publication date: 31-Mar-2016
https://doi.org/10.1007/978-3-319-27963-3_7
Gallieri MGallieri M(2016)Version 2: LASSO MPC with Stabilising Terminal CostLasso-MPC – Predictive Control with ℓ1-Regularised Least Squares10.1007/978-3-319-27963-3_5(85-110)Online publication date: 31-Mar-2016
https://doi.org/10.1007/978-3-319-27963-3_5
Hafstein SGiesl P(2015)Review on computational methods for Lyapunov functionsDiscrete and Continuous Dynamical Systems - Series B10.3934/dcdsb.2015.20.229120:8(2291-2331)Online publication date: Aug-2015
https://doi.org/10.3934/dcdsb.2015.20.2291
Björnsson JGudmundsson SHafstein S(2015)Class library in C++ to compute Lyapunov functions for nonlinear systems∗∗Björnsson and Gudmundsson are supported by The Icelandic Research Fund, grant nr. 130677-052 and 152429-051 respectively.IFAC-PapersOnLine10.1016/j.ifacol.2015.09.28448:11(778-783)Online publication date: 2015
https://doi.org/10.1016/j.ifacol.2015.09.284
Brunner FLazar MAllgöwer FFráänzle MLygeros J(2014)Computation of piecewise affine terminal cost functions for model predictive controlProceedings of the 17th international conference on Hybrid systems: computation and control10.1145/2562059.2562108(1-10)Online publication date: 15-Apr-2014
https://dl.acm.org/doi/10.1145/2562059.2562108
Giesl PHafstein S(2014)Computation of Lyapunov functions for nonlinear discrete time systems by linear programmingJournal of Difference Equations and Applications10.1080/10236198.2013.86734120:4(610-640)Online publication date: 14-Jan-2014
https://doi.org/10.1080/10236198.2013.867341
Show More Cited By

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents