Abstract
Although control Lyapunov functions (CLFs) provide a mature framework for the synthesis of stabilizing controllers, their application in the field of hybrid systems remains scarce. One of the reasons for this is conservativeness of Lyapunov conditions. This article proposes a methodology that reduces conservatism of CLF design and is applicable to a wide class of discrete-time nonlinear hybrid systems. Rather than searching for global CLFs off-line, we focus on synthesizing CLFs by solving on-line an optimization problem. This approach makes it possible to derive a trajectory-dependent CLF, which is allowed to be locally non-monotone. Besides the theoretical appeal of the proposed idea, we indicate that for systems affine in control and CLFs based on infinity norms, the corresponding on-line optimization problem can be formulated as a single linear program.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
- Hybrid System
- Lyapunov Function
- Model Predictive Control
- Synthesis Problem
- Lyapunov Asymptotic Stability
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Artstein, Z.: Stabilization with relaxed controls. Nonlinear Analysis 7, 1163–1173 (1983)
Sontag, E.D.: A Lyapunov-like characterization of asymptotic controllability. SIAM Journal of Control and Optimization 21, 462–471 (1983)
Sontag, E.D.: Stability and stabilization: Discontinuities and the effect of disturbances. In: Clarke, F.H., Stern, R.J. (eds.) Nonlinear Analysis, Differential Equations, and Control, pp. 551–598. Kluwer Academic Publishers, Dordrecht (1999)
Kokotović, P., Arcak, M.: Constructive nonlinear control: a historical perspective. Automatica 37(5), 637–662 (2001)
Grüne, L., Nesić, D.: Optimization based stabilization of sampled-data nonlinear systems via their approximate discrete-time models. SIAM Journal of Control and Optimization 42(1), 98–122 (2003)
Kellett, C.M., Teel, A.R.: Discrete-time asymptotic controllability implies smooth control-Lyapunov function. Systems & Control Letters 52, 349–359 (2004)
Jiang, Z.-P., Wang, Y.: Input-to-state stability for discrete-time nonlinear systems. Automatica 37, 857–869 (2001)
Lazar, M.: Model predictive control of hybrid systems: Stability and robustness. PhD thesis, Eindhoven University of Technology, The Netherlands (2006)
Branicky, M.S., Borkar, V.S., Mitter, S.K.: A unified framework for hybrid control: model and optimal control theory. IEEE Transactions on Automatic Control 43(1), 31–45 (1998)
Johansson, M., Rantzer, A.: Computation of piecewise quadratic Lyapunov functions for hybrid systems. IEEE Transactions on Automatic Control 43(4), 555–559 (1998)
Johansson, M.: Piecewise linear control systems. PhD thesis, Lund Institute of Technology, Sweden (1999)
Ferrari-Trecate, G., Cuzzola, F.A., Mignone, D., Morari, M.: Analysis of discrete-time piecewise affine and hybrid systems. Automatica 38(12), 2139–2146 (2002)
Daafouz, J., Riedinger, P., Iung, C.: Stability analysis and control synthesis for switched systems: A switched Lyapunov function approach. IEEE Transactions on Automatic Control 47, 1883–1887 (2002)
Di Cairano, S., Lazar, M., Bemporad, A., Heemels, W.P.M.H.: A Control Lyapunov Approach to Predictive Control of Hybrid Systems. In: Egerstedt, M., Mishra, B. (eds.) HSCC 2008. LNCS, vol. 4981, pp. 130–143. Springer, Heidelberg (2008)
Grieder, P., Kvasnica, M., Baotic, M., Morari, M.: Stabilizing low complexity feedback control of constrained piecewise affine systems. Automatica 41(10), 1683–1694 (2005)
Lazar, M., Heemels, W.P.M.H., Weiland, S., Bemporad, A.: Stabilizing model predictive control of hybrid systems. IEEE Transactions on Automatic Control 51(11), 1813–1818 (2006)
Jiang, Z.-P., Wang, Y.: A converse Lyapunov theorem for discrete-time systems with disturbances. Systems & Control Letters 45, 49–58 (2002)
Kellett, C.M., Teel, A.R.: On the robustness of \(\mathcal{K}\mathcal{L}\)-stability for difference inclusions: Smooth discrete-time Lyapunov functions. SIAM Journal on Control and Optimization 44(3), 777–800 (2005)
Vorotnikov, V.I.: Partial stability and control. Birkhäuser, Boston (1998)
Horn, R.A., Johnson, C.R.: Matrix Analysis. Cambridge University Press, United Kingdom (1985)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lazar, M., Jokic, A. (2009). Synthesis of Trajectory-Dependent Control Lyapunov Functions by a Single Linear Program. In: Majumdar, R., Tabuada, P. (eds) Hybrid Systems: Computation and Control. HSCC 2009. Lecture Notes in Computer Science, vol 5469. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-00602-9_17
Download citation
DOI: https://doi.org/10.1007/978-3-642-00602-9_17
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-00601-2
Online ISBN: 978-3-642-00602-9
eBook Packages: Computer ScienceComputer Science (R0)