×

A contractive approach to separable Lyapunov functions for monotone systems. (English) Zbl 1429.93290

Summary: Monotone systems preserve a partial ordering of states along system trajectories and are often amenable to separable Lyapunov functions that are either the sum or the maximum of a collection of functions of a scalar argument. In this paper, we consider constructing separable Lyapunov functions for monotone systems that are also contractive, that is, the distance between any pair of trajectories exponentially decreases. We assume the system evolves in a forward invariant rectangular domain, and the distance between trajectories is defined in terms of a Finsler type metric characterized by a possibly state-dependent norm. When this norm is a weighted one-norm, we obtain conditions which lead to sum-separable Lyapunov functions, and when this norm is a weighted infinity-norm, symmetric conditions lead to max-separable Lyapunov functions. In addition, we consider two classes of Lyapunov functions: the first class is separable along the system’s state, and the second class is separable along components of the system’s vector field. The latter case is advantageous for many practically motivated systems for which it is difficult to measure the system’s state but easier to measure the system’s velocity or rate of change.

MSC:

93D20 Asymptotic stability in control theory
93C15 Control/observation systems governed by ordinary differential equations
90B20 Traffic problems in operations research
PDFBibTeX XMLCite
Full Text: DOI arXiv

References:

[1] Angeli, D.; Sontag, E., Monotone control systems, IEEE Transactions on Automatic Control, 48, 10, 1684-1698 (2003) · Zbl 1364.93326
[3] Boothby, W. M., An introduction to differentiable manifolds and Riemannian geometry, Volume 120 (1986), Academic Press
[4] Burago, D.; Burago, Y.; Ivanov, S., A course in metric geometry, Volume 33 (2001), American Mathematical Soc. · Zbl 0981.51016
[5] Clarke, F. H., Optimization and nonsmooth analysis, Volume 5 (1990), SIAM
[6] Como, G.; Lovisari, E.; Savla, K., Throughput optimality and overload behavior of dynamical flow networks under monotone distributed routing, IEEE Transactions on Control of Network Systems, 2, 1, 57-67 (2015) · Zbl 1370.90037
[7] Coogan, S. (2016) Separability of Lyapunov functions for contractive monotone systems. In IEEE conference on decision and control; Coogan, S. (2016) Separability of Lyapunov functions for contractive monotone systems. In IEEE conference on decision and control
[8] Coogan, S., & Arcak, M. (2014) Dynamical properties of a compartmental model for traffic networks. In Proceedings of the 2014 American control conference; Coogan, S., & Arcak, M. (2014) Dynamical properties of a compartmental model for traffic networks. In Proceedings of the 2014 American control conference
[9] Coogan, S.; Arcak, M., A compartmental model for traffic networks and its dynamical behavior, IEEE Transactions on Automatic Control, 60, 10, 2698-2703 (2015) · Zbl 1360.90085
[10] Dashkovskiy, S.; Ito, H.; Wirth, F., On a small gain theorem for ISS networks in dissipative Lyapunov form, European Journal of Control, 17, 4, 357-365 (2011) · Zbl 1237.93160
[11] Dashkovskiy, S. N.; Rüffer, B. S.; Wirth, F. R., Small gain theorems for large scale systems and construction of ISS Lyapunov functions, SIAM Journal on Control and Optimization, 48, 6, 4089-4118 (2010) · Zbl 1202.93008
[12] Desoer, C.; Vidyasagar, M., Feedback systems: Input – output properties (2008), Society for Industrial and Applied Mathematics · Zbl 1153.93015
[13] Di Bernardo, M.; Liuzza, D.; Russo, G., Contraction analysis for a class of nondifferentiable systems with applications to stability and network synchronization, SIAM Journal on Control and Optimization, 52, 5, 3203-3227 (2014) · Zbl 1304.93040
[14] Dirr, G.; Ito, H.; Rantzer, A.; Rüffer, B., Separable Lyapunov functions for monotone systems: constructions and limitations, Discrete and Continuous Dynamical Systems. Series B (2015) · Zbl 1338.34102
[15] Forni, F.; Sepulchre, R., A differential Lyapunov framework for contraction analysis, IEEE Transactions on Automatic Control, 59, 3, 614-628 (2014) · Zbl 1360.93597
[16] Gomes, G.; Horowitz, R.; Kurzhanskiy, A. A.; Varaiya, P.; Kwon, J., Behavior of the cell transmission model and effectiveness of ramp metering, Transportation Research Part C, 16, 4, 485-513 (2008)
[17] Hirsch, M. W., Differential equations and convergence almost everywhere in strongly monotone semiflows, Contemporary Mathematics, 17, 267-285 (1983) · Zbl 0523.58034
[18] Hirsch, M. W., Systems of differential equations that are competitive or cooperative II: Convergence almost everywhere, SIAM Journal on Mathematical Analysis, 16, 3, 423-439 (1985) · Zbl 0658.34023
[19] Ito, H.; Dashkovskiy, S.; Wirth, F., Capability and limitation of max-and sum-type construction of Lyapunov functions for networks of iISS systems, Automatica, 48, 6, 1197-1204 (2012) · Zbl 1244.93149
[20] Ito, H.; Jiang, Z. P.; Dashkovskiy, S. N.; Rüffer, B. S., Robust stability of networks of iISS systems: Construction of sum-type Lyapunov functions, IEEE Transactions on Automatic Control, 58, 5, 1192-1207 (2013) · Zbl 1369.93461
[21] Jacquez, J. A.; Simon, C. P., Qualitative theory of compartmental systems, SIAM Review, 35, 1, 43-79 (1993) · Zbl 0776.92001
[22] Jiang, Z.-P.; Mareels, I. M.; Wang, Y., A lyapunov formulation of the nonlinear small-gain theorem for interconnected ISS systems, Automatica, 32, 8, 1211-1215 (1996) · Zbl 0857.93089
[23] Khalil, H. K., Nonlinear systems (2002), Prentice Hall
[24] Lohmiller, W.; Slotine, J.-J. E., On contraction analysis for non-linear systems, Automatica, 34, 6, 683-696 (1998) · Zbl 0934.93034
[25] Lovisari, E.; Como, G.; Rantzer, A.; Savla, K., Stability analysis and control synthesis for dynamical transportation networks (2014)
[26] Lovisari, E., Como, G., & Savla, K. (2014). Stability of monotone dynamical flow networks. In Proceedings of the 53rd conference on decision and control; Lovisari, E., Como, G., & Savla, K. (2014). Stability of monotone dynamical flow networks. In Proceedings of the 53rd conference on decision and control
[27] Maeda, H.; Kodama, S.; Ohta, Y., Asymptotic behavior of nonlinear compartmental systems: nonoscillation and stability, IEEE Transactions on Circuits and Systems, 25, 6, 372-378 (1978) · Zbl 0382.93041
[28] Manchester, I. R.; Slotine, J.-J. E., On existence of separable contraction metrics for monotone nonlinear systems, 20th IFAC world congress. 20th IFAC world congress, IFAC-PapersOnLine, 50, 1, 8226-8231 (2017)
[29] Margaliot, M.; Sontag, E. D.; Tuller, T., Entrainment to periodic initiation and transition rates in a computational model for gene translation, PLoS One, 9, 5, Article e96039 pp. (2014)
[30] Margaliot, M.; Tuller, T., Stability analysis of the ribosome flow model, IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB), 9, 5, 1545-1552 (2012)
[31] Pavlov, A.; Pogromsky, A.; van de Wouw, N.; Nijmeijer, H., Convergent dynamics, a tribute to Boris Pavlovich Demidovich, Systems & Control Letters, 52, 3, 257-261 (2004) · Zbl 1157.34333
[33] Rantzer, A., Ruffer, B., & Dirr, G. (2013). Separable Lyapunov functions for monotone systems. In Decision and Control (CDC), 2013 IEEE 52nd annual conference on; Rantzer, A., Ruffer, B., & Dirr, G. (2013). Separable Lyapunov functions for monotone systems. In Decision and Control (CDC), 2013 IEEE 52nd annual conference on
[34] Raveh, A.; Margaliot, M.; Sontag, E. D.; Tuller, T., A model for competition for ribosomes in the cell, Journal of the Royal Society Interface, 13, 116, 20151062 (2016)
[35] Rudin, W., Principles of mathematical analysis (1976), McGraw-Hill, Inc · Zbl 0148.02903
[36] Rüffer, B. S.; Kellett, C. M.; Weller, S. R., Connection between cooperative positive systems and integral input-to-state stability of large-scale systems, Automatica, 46, 6, 1019-1027 (2010) · Zbl 1192.93108
[37] Smith, H. L., Monotone dynamical systems: An introduction to the theory of competitive and cooperative systems (1995), American Mathematical Society · Zbl 0821.34003
[38] Sontag, E., Smooth stabilization implies coprime factorization, IEEE Transactions on Automatic Control, 34, 4, 435-443 (1989) · Zbl 0682.93045
[39] Sontag, E. D., Mathematical control theory: Deterministic finite dimensional systems (1998), Springer · Zbl 0945.93001
[40] Sontag, E. D., Monotone and near-monotone biochemical networks, Systems and Synthetic Biology, 1, 2, 59-87 (2007)
[41] Sontag, E. D., Contractive systems with inputs, (Perspectives in mathematical system theory, control, and signal processing (2010), Springer), 217-228 · Zbl 1198.93097
[42] Sontag, E. D.; Wang, Y., On characterizations of the input-to-state stability property, Systems & Control Letters, 24, 5, 351-359 (1995) · Zbl 0877.93121
[43] Sootla, A. (2016) Construction of max-separable Lyapunov functions for monotone systems using the Koopman operator. In 2016 IEEE 55th conference on decision and control (CDC); Sootla, A. (2016) Construction of max-separable Lyapunov functions for monotone systems using the Koopman operator. In 2016 IEEE 55th conference on decision and control (CDC)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.