Passer à la navigation principale Passer à la recherche Passer au contenu principal

Dissipative quadratizations of polynomial ODE systems

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collectionContribution à une conférenceRevue par des pairs

Résumé

Quadratization refers to a transformation of an arbitrary system of polynomial ordinary differential equations to a system with at most quadratic right-hand side. Such a transformation unveils new variables and model structures that facilitate model analysis, simulation, and control and offer a convenient parameterization for data-driven approaches. Quadratization techniques have found applications in diverse fields, including systems theory, fluid mechanics, chemical reaction modeling, and mathematical analysis. In this study, we focus on quadratizations that preserve the stability properties of the original model, specifically dissipativity at given equilibria. This preservation is desirable in many applications of quadratization including reachability analysis and synthetic biology. We establish the existence of dissipativity-preserving quadratizations, develop an algorithm for their computation, and demonstrate it in several case studies.

langue originaleAnglais
titreTools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings
rédacteurs en chefBernd Finkbeiner, Laura Kovács
EditeurSpringer Science and Business Media Deutschland GmbH
Pages323-342
Nombre de pages20
ISBN (imprimé)9783031572487
Les DOIs
étatPublié - 1 janv. 2024
Evénement30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024 - Luxembourg City, Luxembourg
Durée: 6 avr. 202411 avr. 2024

Série de publications

NomLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume14571 LNCS
ISSN (imprimé)0302-9743
ISSN (Electronique)1611-3349

Une conférence

Une conférence30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024
Pays/TerritoireLuxembourg
La villeLuxembourg City
période6/04/2411/04/24

Empreinte digitale

Examiner les sujets de recherche de « Dissipative quadratizations of polynomial ODE systems ». Ensemble, ils forment une empreinte digitale unique.

Contient cette citation