Cited By
View all- Falkensteiner SOvchinnikov ASendra J(2024)Algorithm for globally identifiable reparametrizations of ODEsJournal of Symbolic Computation10.1016/j.jsc.2024.102385(102385)Online publication date: Sep-2024
On Realizing Differential-Algebraic Equations by Rational Dynamical Systems
Pages 119 - 128
Abstract
Real-world phenomena can often be conveniently described by dynamical systems (that is, ODE systems in the state-space form). However, if one observes the state of the system only partially, the observed quantities (outputs) and the inputs of the system can typically be related by more complicated differential-algebraic equations (DAEs). Therefore, a natural question (referred to as the realizability problem) is: given a differential-algebraic equation (say, fitted from data), does it come from a partially observed dynamical system? A special case in which the functions involved in the dynamical system are rational is of particular interest. For a single differential-algebraic equation in a single output variable, Forsman has shown that it is realizable by a rational dynamical system if and only if the corresponding hypersurface is unirational, and he turned this into an algorithm in the first-order case.
In this paper, we study a more general case of single-input-single-output equations. We show that if a realization by a rational dynamical system exists, the system can be taken to have the dimension equal to the order of the DAE. We provide a complete algorithm for first-order DAEs. We also show that the same approach can be used for higher-order DAEs using several examples from the literature.
References
[1]
Giuseppe Conte, Claude H. Moog, and Anna Maria Perdon. 2007. Algebraic Methods for Nonlinear Control Systems .Springer London. https://doi.org/10.1007/978--1--84628--595-0
[2]
R. Dong, C. Goodbrake, H. Harrington, and G. Pogudin. 2021. Differential elimination for dynamical models via projections with applications to structural identifiability. preprint (2021). https://arxiv.org/abs/2111.00991
[3]
Richard Ehrenborg and Gian-Carlo Rota. 1993. Apolarity and Canonical Forms for Homogeneous Polynomials. European Journal of Combinatorics, Vol. 14, 3 (1993), 157--181. https://doi.org/10.1006/eujc.1993.1022
[4]
K. Forsman. 1993. On rational state space realizations. In Nonlinear Control Systems Design. 341--346. https://doi.org/10.1016/b978-0-08-041901--5.50061-0
[5]
H. Hong, A. Ovchinnikov, G. Pogudin, and C. Yap. 2020. Global Identifiability of Differential Models. Communications on Pure and Applied Mathematics, Vol. 73, 9 (2020), 1831--1879. https://doi.org/10.1002/cpa.21921
[6]
Bronislaw Jakubczyk. 1980. Existence and uniqueness of nonlinear realizations. In Analyse des systèmes. Number 75--76 in Astérisque. Société mathématique de France. http://www.numdam.org/item/AST_1980__75--76__141_0/
[7]
R. E. Kalman. 1963. Mathematical Description of Linear Dynamical Systems. Journal of the SIAM Series A Control, Vol. 1, 2 (1963), 152--192. https://doi.org/10.1137/0301010
[8]
J. Kollár, K. Smith, and A. Corti. 2004. Rational and Nearly Rational Varieties .Cambridge University Press.
[9]
James S. Milne. 2018. Fields and Galois Theory (v4.60). https://www.jmilne.org/math/CourseNotes/ft.html
[10]
Johann J. Mitteramskogler and Franz Winkler. 2021. General solutions of first-order algebraic ODEs in simple constant extensions. https://doi.org/10.35011/risc.21--18 Technical report.
[11]
G.M. Murphy. 1960. Ordinary Differential Equations and their Solutions .New York: Van Nostrand.
[12]
Jana Nve mcová and Jan H. van Schuppen. 2009a. Realization Theory for Rational Systems: Minimal Rational Realizations. Acta Applicandae Mathematicae, Vol. 110, 2 (2009), 605--626. https://doi.org/10.1007/s10440-009--9464-y
[13]
Jana Nve mcová and Jan H. van Schuppen. 2009b. Realization Theory for Rational Systems: The Existence of Rational Realizations. SIAM Journal on Control and Optimization, Vol. 48, 4 (2009), 2840--2856. https://doi.org/10.1137/080714506
[14]
Dmitrii Pavlov and Gleb Pogudin. 2022. Supplementary code. https://github.com/pogudingleb/RealizationMapleNotebooks
[15]
Gleb Pogudin and Xingjian Zhang. 2021. Interpretable Exact Linear Reductions via Positivity. In Computational Methods in Systems Biology, Eugenio Cinquemani and Loïc Paulevé (Eds.). Springer International Publishing, 91--107. https://doi.org/10.1007/978--3-030--85633--5_6
[16]
Fabrice Rouillier. 1999. Solving Zero-Dimensional Systems Through the Rational Univariate Representation. Applicable Algebra in Engineering, Communication and Computing, Vol. 9, 5 (1999), 433--461. https://doi.org/10.1007/s002000050114
[17]
Sriram Sankaranarayanan. 2016. Change of Basis Abstractions for Non-Linear Hybrid Systems. Nonlinear Analysis: Hybrid Systems, Vol. 19 (2016), 107--133. https://doi.org/10.1016/j.nahs.2015.08.006
[18]
A. J. Schaft. 1986. On realization of nonlinear systems described by higher-order differential equations. Mathematical Systems Theory, Vol. 19, 1 (1986), 239--275. https://doi.org/10.1007/bf01704916
[19]
J. Rafael Sendra, Franz Winkler, and Sonia Pérez-Diaz. 2008. Rational Algebraic Curves: A Computer Algebra Approach .Springer, Berlin, Heidelberg. https://doi.org/10.1007/978--3--540--73725--4
[20]
L. Silverman. 1971. Realization of linear dynamical systems. IEEE Trans. Automat. Control, Vol. 16, 6 (1971), 554--567. https://doi.org/10.1109/tac.1971.1099821
[21]
Eduardo Sontag and Yuan Wang. 1993. Algebraic Differential Equations and Rational Control Systems. SIAM J. of Control and Optimization (1993). https://doi.org/10.1137/0330060
[22]
Eduardo D. Sontag. 1998. Mathematical Control Theory .Springer New York. https://doi.org/10.1007/978--1--4612-0577--7
[23]
Hector J. Sussmann. 1976. Existence and uniqueness of minimal realizations of nonlinear systems. Mathematical Systems Theory, Vol. 10, 1 (1976), 263--284. https://doi.org/10.1007/bf01683278
[24]
Ülle Kotta, Claude H. Moog, and Maris T o nso. 2018. Minimal realizations of nonlinear systems. Automatica, Vol. 95 (2018), 207--212. https://doi.org/10.1016/j.automatica.2018.05.007
[25]
N. Thieu Vo, Georg Grasegger, and Franz Winkler. 2018. Deciding the existence of rational general solutions for first-order algebraic ODEs. Journal of Symbolic Computation, Vol. 87 (2018), 127--139. https://doi.org/10.1016/j.jsc.2017.06.003
[26]
Jiangfeng Jeff Zhang, Claude Moog, and Xiaohua Xia. 2010. Realization of multivariable nonlinear systems via the approaches of differential forms and differential algebra. Kybernetika, Vol. 46, 5 (2010), 799--830. https://strathprints.strath.ac.uk/47693/
Index Terms
- On Realizing Differential-Algebraic Equations by Rational Dynamical Systems
Recommendations
Multiple shooting using a dichotomically stable integrator for solving differential-algebraic equations
In previous work by the first author, it has been established that a dichotomically stable discretization is needed when solving a stiff boundary-value problem in ordinary differential equations (ODEs), when sharp boundary layers may occur at each end ...
Adjoint pairs of differential-algebraic equations and Hamiltonian systems
We consider linear homogeneous differential-algebraic equations A(Dx)^'+Bx=0 and their adjoints -D^*(A^*x)^'+B^*x=0 with well-matched leading coefficients in parallel. Assuming that the equations are tractable with index less than or equal to 2, we give ...
Regularization methods for solving differential-algebraic equations
In [M. Knorrenschild, SIAM J. Numer. Anal. 29 (1992) 1694-1715], a class of regularization methods for solving autonomous index-1 DAEs (differential-algebraic equations) has been proposed. In this paper, we generalize it to non-autonomous index-1 and ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
July 2022
547 pages
Copyright © 2022 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 05 July 2022
Check for updates
Author Tags
Qualifiers
- Research-article
Funding Sources
- Paris Ile-de-France region
- NSF (National Science Foundation)
Conference
ISSAC '22
Sponsor:
ISSAC '22: International Symposium on Symbolic and Algebraic Computation
July 4 - 7, 2022
Villeneuve-d'Ascq, France
Acceptance Rates
Overall Acceptance Rate 395 of 838 submissions, 47%
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 169Total Downloads
- Downloads (Last 12 months)84
- Downloads (Last 6 weeks)12
Reflects downloads up to 01 Jan 2025
Other Metrics
Citations
Cited By
View all- Falkensteiner SOvchinnikov ASendra J(2024)Algorithm for globally identifiable reparametrizations of ODEsJournal of Symbolic Computation10.1016/j.jsc.2024.102385(102385)Online publication date: Sep-2024
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in