Operator-Theoretic Characterization of Eventually Monotone Systems

Koopman operator; Monotone systems; Biological systems; Dynamical systems; Spectrum analyzers; Biologically inspired; Initial conditions; Partial order; Spectral characterization; Spectral properties; Vector fields; Linear systems

Abstract :

[en] Eventually monotone systems are dynamical systems whose solutions preserve a partial order in the initial condition after some initial transient. While monotone systems have a characterization in terms of their vector fields, eventually monotone systems have not been characterized in such an explicit manner. In order to provide a characterization, we drew inspiration from the results for linear systems, where eventually monotone (positive) systems are studied using the spectral properties of the system. We extend this spectral characterization to nonlinear systems by employing the Koopman operator framework. We also present a method to certify strong eventual monotonicity with respect to an unknown cone, a tool which to our best knowledge does not exist for monotone systems. These results are illustrated on biologically inspired numerical examples, which highlight the potential applicability of eventual monotonicity. © 2017 IEEE.

Disciplines :

Electrical & electronics engineering

Author, co-author :

Sootla, A.; Montefiore Institute, University of Liege, Liege, 4000, Belgium, Department of Engineering Science, University of Oxford, Oxford, OX1 3PJ, United Kingdom

Mauroy, Alexandre ; Université de Liège - ULiège

Language :

English

Title :

Operator-Theoretic Characterization of Eventually Monotone Systems

Publication date :

2018

Journal title :

IEEE Control Systems Letters

eISSN :

2475-1456

Volume :

Issue :

Pages :

429-434

Peer reviewed :

Peer reviewed

Available on ORBi :

since 18 December 2021

Statistics

Number of views

54 (1 by ULiège)

Number of downloads

1 (1 by ULiège)

More statistics

Scopus citations^®

Scopus citations^®
without self-citations

OpenCitations

OpenAlex citations

See more details

publications

supporting

mentioning

contrasting

Smart Citations

Citing PublicationsSupportingMentioningContrasting

View Citations

See how this article has been cited at scite.ai

scite shows how a scientific paper has been cited by providing the context of the citation, a classification describing whether it supports, mentions, or contrasts the cited claim, and a label indicating in which section the citation was made.

Bibliography

H. Smith, Monotone Dynamical Systems: An Introduction to the Theory of Competitive and Cooperative Systems, vol. 41. Providence, RI, USA: Amer. Math. Soc., 2008
W. W. Leontief, Input-Output Economics. New York, NY, USA: Oxford Univ. Press, 1986
E. D. Sontag, "Monotone and near-monotone biochemical networks," Syst. Syn. Biol., vol. 1, no. 2, pp. 59-87, 2007
D. Angeli and E. D. Sontag, "Monotone control systems," IEEE Trans. Autom. Control, vol. 48, no. 10, pp. 1684-1698, Oct. 2003
D. Noutsos and M. J. Tsatsomeros, "Reachability and holdability of nonnegative states," SIAM J. Matrix Anal. A, vol. 30, no. 2, pp. 700-712, 2008
M. Kasigwa and M. Tsatsomeros, "Eventual cone invariance," Elect. J. Linear Algebra, vol. 32, pp. 204-216, Jul. 2017
C. Altafini, "Minimal eventually positive realizations of externally positive systems," Automatica, vol. 68, pp. 140-147, Jun. 2016
M. W. Hirsch, "Systems of differential equations that are competitive or cooperative II: Convergence almost everywhere," SIAM J. Math. Anal., vol. 16, no. 3, pp. 423-439, 1985
L. Wang and E. D. Sontag, "Singularly perturbed monotone systems and an application to double phosphorylation cycles," J. Nonlin. Sci., vol. 18, no. 5, pp. 527-550, 2008
B. O. Koopman, "Hamiltonian systems and transformation in Hilbert space," Proc. Nat. Acad. Sci. USA, vol. 17, no. 5, pp. 315-318, 1931
M. Budisic, R. Mohr, and I. Mezic, "Applied koopmanism," Chaos, vol. 22, no. 4, 2012, Art. no. 047510
J. Ding, "The point spectrum of Frobenius-Perron and Koopman operators," Proc. Amer. Math. Soc., vol. 126, no. 5, pp. 1355-1361, 1998
J. H. Shapiro, "The essential norm of a composition operator," Ann. Math., vol. 125, no. 2, pp. 375-404, 1987
P. Gaspard, G. Nicolis, A. Provata, and S. Tasaki, "Spectral signature of the Pitchfork bifurcation: Liouville equation approach," Phys. Rev. E, Stat. Phys. Plasmas Fluids Relat. Interdiscip. Top, vol. 51, no. 1, pp. 74-94, 1995
I. Mezic, "Spectral properties of dynamical systems, model reduction and decompositions," Nonlin. Dyn., vol. 41, nos. 1-3, pp. 309-325, 2005
A. Mauroy, I. Mezic, and J. Moehlis, "Isostables, isochrons, and Koopman spectrum for the action-angle representation of stable fixed point dynamics," Physica D Nonlin. Phenomena, vol. 261, pp. 19-30, Oct. 2013
A. Mauroy and I. Mezic, "Global stability analysis using the eigenfunctions of the Koopman operator," IEEE Trans. Autom. Control, vol. 61, no. 11, pp. 3356-3369, Nov. 2016
D. Daners, J. Gluck, and J. B. Kennedy, "Eventually positive semigroups of linear operators," J. Math. Anal. Appl., vol. 433, no. 2, pp. 1561-1593, 2016
M. Hirsch and H. Smith, Monotone Dynamical Systems. Amsterdam, The Netherlands: Elsevier, 2005
S. Walcher, "On cooperative systems with respect to arbitrary orderings," J. Math. Anal. Appl., vol. 263, no. 2, pp. 543-554, 2001
A. Lasota and M. C. Mackey, Chaos, Fractals, and Noise: Stochastic Aspects of Dynamics. New York, NY, USA: Springer-Verlag, 1994
I. Mezic, "Analysis of fluid flows via spectral properties of the Koopman operator," Annu. Rev. Fluid Mech., vol. 45, pp. 357-378, Jan. 2013
A. Mauroy, F. Forni, and R. Sepulchre, "An operator-theoretic approach to differential positivity," in Proc. IEEE Conf. Decis. Control, Osaka, Japan, Dec. 2015, pp. 7028-7033
E. D. Sontag, Mathematical Control Theory: Deterministic Finite Dimensional Systems, vol. 6. New York, NY, USA: Springer, 2013
Y. Lan and I. Mezic, "Linearization in the large of nonlinear systems and Koopman operator spectrum," Physica D Nonlin. Phenomena, vol. 242, no. 1, pp. 42-53, 2013
B. Lemmens and R. Nussbaum, Nonlinear Perron-Frobenius Theory, vol. 189. Cambridge, U.K.: Cambridge Univ. Press, 2012
F. Forni and R. Sepulchre, "Differentially positive systems," IEEE Trans. Autom. Control, vol. 61, no. 2, pp. 346-359, Feb. 2015
I. Cataudella, K. Sneppen, K. Gerdes, and N. Mitarai, "Conditional cooperativity of toxin-Antitoxin regulation can mediate bistability between growth and dormancy," PLoS Comput. Biol., vol. 9, no. 8, 2013, Art. no. e1003174
A. Papachristodoulou et al., "SOSTOOLS version 3.00 sum of squares optimization toolbox for MATLAB," arXiv e-print arXiv:1310.4716, 2013
A. Sootla and A. Mauroy, "Geometric properties of isostables and basins of attraction of monotone systems," IEEE Trans. Autom. Control, vol. 62, no. 12, pp. 6183-6194, Dec. 2017
A. Sootla, D. Oyarzún, D. Angeli, and G.-B. Stan, "Shaping pulses to control bistable systems: Analysis, computation and counterexamples," Automatica, vol. 63, pp. 254-264, Jan. 2016
A. Sootla, A. Mauroy, and D. Ernst, "Optimal control formulation of pulse-based control using Koopman operator," Automatica, vol. 91, pp. 217-224, May 2018
A. Sootla and D. Ernst, "Pulse-based control using Koopman operator under parametric uncertainty," IEEE Trans. Autom. Control, vol. 63, no. 3, pp. 791-796, Mar. 2018

Similar publications

Sorry the service is unavailable at the moment. Please try again later.

Name	Provider / Domaine	Expiration	Description
JSESSIONID	Oracle Corporation www.uliege.be	Session	General purpose platform session cookie, used by sites written in JSP. Usually used to maintain an anonymous user session by the server.
CookieScriptConsent	CookieScript .uliege.be	1 year	This cookie is used by Cookie-Script.com service to remember visitor cookie consent preferences. It is necessary for Cookie-Script.com cookie banner to work properly.

Name	Provider / Domaine	Expiration	Description
_pk_id	InnoCraft Ltd .uliege.be	1 year	Used to store a few details about the user such as the unique visitor ID
_pk_ses	InnoCraft Ltd .uliege.be	30 minutes	Short lived cookies used to temporarily store data for the visit
_pk_ref	InnoCraft Ltd .uliege.be	6 months	Used to store the attribution information, the referrer initially used to visit the website