Realization theory of Nash systems

This paper deals with realization theory of so-called Nash systems, i.e. nonlinear systems the right-hand side of which is defined by Nash functions. A Nash function is a semi-algebraic analytic function. The class of Nash systems is an extension of the class of polynomial and rational systems and it is a subclass of analytic nonlinear systems. Nash systems occur in many applications, including systems biology. We formulate the realization problem for Nash systems and present a partial solution to it. More precisely, we provide necessary and sufficient conditions for realizability of a response map by a Nash system. The concepts of semi-algebraic observability and reachability are formulated and their relationship with minimality is explained. In addition to their importance for systems theory, the obtained results are expected to contribute to system identification and model reduction of Nash systems.

[1]  E. Voit,et al.  Regulation of glycolysis in Lactococcus lactis: an unfinished systems biological case study. , 2006, Systems biology.

[2]  Eva Balsa-Canto,et al.  Power-law models of signal transduction pathways. , 2007, Cellular signalling.

[3]  Marie-Françoise Roy,et al.  Real algebraic geometry , 1992 .

[4]  Eduardo D. Sontag,et al.  Mathematical Control Theory: Deterministic Finite Dimensional Systems , 1990 .

[5]  Bud Mishra,et al.  Algorithmic Algebraic Model Checking IV: Characterization of Metabolic Networks , 2007, AB.

[6]  T. Sugie,et al.  Lebesgue Piecewise Affine Approximation of Nonlinear Systems and Its Application to Hybrid System Modeling of Biosystems , 2006, Proceedings of the 45th IEEE Conference on Decision and Control.

[7]  René Vidal,et al.  Realization Theory for Discrete-Time Semi-algebraic Hybrid Systems , 2008, HSCC.

[8]  Jan H. van Schuppen,et al.  Realization Theory for Rational Systems: Minimal Rational Realizations , 2010 .

[9]  Axel Kowald,et al.  Systems Biology in Practice: Concepts, Implementation and Application , 2005 .

[10]  John Baillieul,et al.  The geometry of homogeneous polynomial dynamical systems , 1980 .

[11]  A. Isidori.  Nonlinear Control Systems , 1985 .

[12]  Eduardo Sontag,et al.  Algebraic differential equations and rational control systems , 1992 .

[13]  Oscar Zariski,et al.  Commutative Algebra , 1958 .

[14]  Carla Piazza,et al.  Algorithmic Algebraic Model Checking I: Challenges from Systems Biology , 2005, CAV.

[15]  M. Savageau.  Biochemical systems analysis. II. The steady-state solutions for an n-pool system using a power-law approximation. , 1969, Journal of theoretical biology.

[16]  E. Kunz.  Introduction to commutative algebra and algebraic geometry , 1984 .

[17]  J.H. van Schuppen,et al.  Observability of hybrid systems and turing machines , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[18]  Carla Piazza,et al.  Algorithmic Algebraic Model Checking II: Decidability of Semi-algebraic Model Checking and Its Applications to Systems Biology , 2005, ATVA.

[19]  S. Shankar Sastry,et al.  O-Minimal Hybrid Systems , 2000, Math. Control. Signals Syst..

[20]  M. Savageau.  Biochemical systems analysis. II. The steady-state solutions for an n-pool system using a power-law approximation. , 1969, Journal of theoretical biology.

[21]  Zbigniew Bartosiewicz,et al.  Rational systems and observation fields , 1987 .

[22]  Carla Piazza,et al.  Translating Time-Course Gene Expression Profiles into Semi-algebraic Hybrid Automata Via Dimensionality Reduction , 2007, AB.

[23]  Jan H. van Schuppen,et al.  Realization Theory for Rational Systems: The Existence of Rational Realizations , 2009, SIAM J. Control. Optim..

[24]  Arthur J. Krener,et al.  Bilinear and Nonlinear Realizations of Input-Output Maps , 1975 .

[25]  J. Baillieul.  Controllability and observability of polynomial dynamical systems , 1981 .

[26]  Martin Fränzle.  What Will Be Eventually True of Polynomial Hybrid Automata? , 2001, TACS.

[27]  Zbigniew Bartosiewicz.  Minimal polynomial realizations , 1988, Math. Control. Signals Syst..