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.
- 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.Google ScholarCross Ref
- 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. Google ScholarDigital Library
- E. D. Sontag, "Nonlinear regulation: the piecewise linear approach," IEEE Transactions on Automatic Control, vol. 26, no. 2, pp. 346--357, 1981.Google ScholarCross Ref
- 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.Google ScholarCross Ref
- 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. Google ScholarDigital Library
- 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.Google ScholarCross Ref
- 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.Google Scholar
- 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.Google Scholar
- 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.Google ScholarCross Ref
- 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. Google ScholarDigital Library
- S. Petterson, "Switched state jump observers for switched systems," in 16th IFAC World Congress, Prague, Czech Republic, 2005.Google Scholar
- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- 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.Google ScholarCross Ref
- 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.Google ScholarCross Ref
- 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.Google ScholarCross Ref
- A. Polanski, "On absolute stability analysis by polyhedral Lyapunov functions," Automatica, vol. 36, pp. 573--578, 2000. Google ScholarDigital Library
- 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.Google ScholarCross Ref
- 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.Google ScholarCross Ref
- F. Blanchini, "Nonquadratic Lyapunov functions for robust control," Automatica, vol. 31, no. 3, pp. 451--461, 1995. Google ScholarDigital Library
- 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.Google ScholarCross Ref
- 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. Google ScholarDigital Library
- 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.Google ScholarCross Ref
- 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. Google ScholarDigital Library
- 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.Google ScholarCross Ref
- M. Lazar, "Model predictive control of hybrid systems: Stability and robustness," Ph.D. dissertation, Eindhoven University of Technology, The Netherlands, 2006.Google Scholar
- S. Boyd and L. Vandenberghe, Convex optimization. Cambridge University Press, 2004. Google ScholarDigital Library
Index Terms
- On infinity norms as Lyapunov functions for piecewise affine systems
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