On determining unknown functions in differential systems, with an application to biological reactors

Éric Busvelle; Jean-Paul Gauthier

ESAIM: Control, Optimisation and Calculus of Variations (2003)

  • Volume: 9, page 509-551
  • ISSN: 1292-8119

Abstract

top
In this paper, we consider general nonlinear systems with observations, containing a (single) unknown function ϕ . We study the possibility to learn about this unknown function via the observations: if it is possible to determine the [values of the] unknown function from any experiment [on the set of states visited during the experiment], and for any arbitrary input function, on any time interval, we say that the system is “identifiable”. For systems without controls, we give a more or less complete picture of what happens for this identifiability property. This picture is very similar to the picture of the “observation theory” in [7]: 1. if the number of observations is three or more, then, systems are generically identifiable; 2. if the number of observations is 1 or 2, then the situation is reversed. Identifiability is not at all generic. In that case, we add a more tractable infinitesimal condition, to define the “infinitesimal identifiability” property. This property is so restrictive, that we can almost characterize it (we can characterize it by geometric properties, on an open-dense subset of the product of the state space X by the set of values of ϕ ). This, surprisingly, leads to a non trivial classification, and to certain corresponding “identifiability normal forms”. Contrarily to the case of the observability property, in order to identify in practice, there is in general no hope to do something better than using “approximate differentiators”, as show very elementary examples. However, a practical methodology is proposed in some cases. It shows very reasonable performances. As an illustration of what may happen in controlled cases, we consider the equations of a biological reactor, [2, 4], in which a population is fed by some substrate. The model heavily depends on a “growth function”, expressing the way the population grows in presence of the substrate. The problem is to identify this “growth function”. We give several identifiability results, and identification methods, adapted to this problem.

How to cite

top

Busvelle, Éric, and Gauthier, Jean-Paul. "On determining unknown functions in differential systems, with an application to biological reactors." ESAIM: Control, Optimisation and Calculus of Variations 9 (2003): 509-551. <http://eudml.org/doc/244878>.

@article{Busvelle2003,
abstract = {In this paper, we consider general nonlinear systems with observations, containing a (single) unknown function $\varphi $. We study the possibility to learn about this unknown function via the observations: if it is possible to determine the [values of the] unknown function from any experiment [on the set of states visited during the experiment], and for any arbitrary input function, on any time interval, we say that the system is “identifiable”. For systems without controls, we give a more or less complete picture of what happens for this identifiability property. This picture is very similar to the picture of the “observation theory” in [7]: 1. if the number of observations is three or more, then, systems are generically identifiable; 2. if the number of observations is 1 or 2, then the situation is reversed. Identifiability is not at all generic. In that case, we add a more tractable infinitesimal condition, to define the “infinitesimal identifiability” property. This property is so restrictive, that we can almost characterize it (we can characterize it by geometric properties, on an open-dense subset of the product of the state space $X$ by the set of values of $\varphi $). This, surprisingly, leads to a non trivial classification, and to certain corresponding “identifiability normal forms”. Contrarily to the case of the observability property, in order to identify in practice, there is in general no hope to do something better than using “approximate differentiators”, as show very elementary examples. However, a practical methodology is proposed in some cases. It shows very reasonable performances. As an illustration of what may happen in controlled cases, we consider the equations of a biological reactor, [2, 4], in which a population is fed by some substrate. The model heavily depends on a “growth function”, expressing the way the population grows in presence of the substrate. The problem is to identify this “growth function”. We give several identifiability results, and identification methods, adapted to this problem.},
author = {Busvelle, Éric, Gauthier, Jean-Paul},
journal = {ESAIM: Control, Optimisation and Calculus of Variations},
keywords = {nonlinear systems; observability; identifiability; identification; Nonlinear systems},
language = {eng},
pages = {509-551},
publisher = {EDP-Sciences},
title = {On determining unknown functions in differential systems, with an application to biological reactors},
url = {http://eudml.org/doc/244878},
volume = {9},
year = {2003},
}

TY - JOUR
AU - Busvelle, Éric
AU - Gauthier, Jean-Paul
TI - On determining unknown functions in differential systems, with an application to biological reactors
JO - ESAIM: Control, Optimisation and Calculus of Variations
PY - 2003
PB - EDP-Sciences
VL - 9
SP - 509
EP - 551
AB - In this paper, we consider general nonlinear systems with observations, containing a (single) unknown function $\varphi $. We study the possibility to learn about this unknown function via the observations: if it is possible to determine the [values of the] unknown function from any experiment [on the set of states visited during the experiment], and for any arbitrary input function, on any time interval, we say that the system is “identifiable”. For systems without controls, we give a more or less complete picture of what happens for this identifiability property. This picture is very similar to the picture of the “observation theory” in [7]: 1. if the number of observations is three or more, then, systems are generically identifiable; 2. if the number of observations is 1 or 2, then the situation is reversed. Identifiability is not at all generic. In that case, we add a more tractable infinitesimal condition, to define the “infinitesimal identifiability” property. This property is so restrictive, that we can almost characterize it (we can characterize it by geometric properties, on an open-dense subset of the product of the state space $X$ by the set of values of $\varphi $). This, surprisingly, leads to a non trivial classification, and to certain corresponding “identifiability normal forms”. Contrarily to the case of the observability property, in order to identify in practice, there is in general no hope to do something better than using “approximate differentiators”, as show very elementary examples. However, a practical methodology is proposed in some cases. It shows very reasonable performances. As an illustration of what may happen in controlled cases, we consider the equations of a biological reactor, [2, 4], in which a population is fed by some substrate. The model heavily depends on a “growth function”, expressing the way the population grows in presence of the substrate. The problem is to identify this “growth function”. We give several identifiability results, and identification methods, adapted to this problem.
LA - eng
KW - nonlinear systems; observability; identifiability; identification; Nonlinear systems
UR - http://eudml.org/doc/244878
ER -

References

top
  1. [1] R. Abraham and J. Robbin, Transversal mappings and flows. W.A. Benjamin Inc. (1967). Zbl0171.44404MR240836
  2. [2] G. Bastin and D. Dochain, Adaptive control of bioreactors. Elsevier (1990). Zbl0546.93023
  3. [3] E. Busvelle and J.-P. Gauthier, High-Gain and Non High-Gain Observers for nonlinear systems, edited by Anzaldo–Meneses, Bonnard, Gauthier and Monroy–Perez. World Scientific, Contemp. Trends Nonlinear Geom. Control Theory (2002) 257-286. Zbl1175.93047
  4. [4] J.-P. Gauthier, H. Hammouri and S. Othman, A simple observer for nonlinear systems. Applications to Bioreactors. IEEE Trans. Automat. Control 37 (1992) 875-880. Zbl0775.93020MR1164571
  5. [5] J.-P. Gauthier and I. Kupka, Observability and observers for nonlinear systems. SIAM J. Control 32 (1994) 975-994. Zbl0802.93008MR1280224
  6. [6] J.-P. Gauthier and I. Kupka, Observability for systems with more outputs than inputs. Math. Z. 223 (1996) 47-78. Zbl0863.93008MR1408862
  7. [7] J.-P. Gauthier and I. Kupka, Deterministic Observation Theory and Applications. Cambridge University Press (2001). Zbl0990.93001MR1862985
  8. [8] M. Goresky and R. Mc Pherson, Stratified Morse Theory. Springer Verlag (1988). Zbl0639.14012MR932724
  9. [9] R. Hardt, Stratification of real analytic mappings and images. Invent. Math. 28 (1975) 193-208. Zbl0298.32003MR372237
  10. [10] H. Hironaka, Subanalytic Sets, in Number Theory, Algebraic Geometry and Commutative Algebra, in honor of Y. Akizuki. Kinokuniya, Tokyo (1973) 453-493. Zbl0297.32008MR377101
  11. [11] M.W. Hirsch, Differential Topology. Springer-Verlag, Grad. Texts in Math. (1976). Zbl0356.57001MR448362
  12. [12] R.M. Hirschorn, Invertibility of control systems on Lie Groups. SIAM J. Control Optim. 15 (1977) 1034-1049. Zbl0402.93011MR527880
  13. [13] R.M. Hirschorn, Invertibility of Nonlinear Control Systems. SIAM J. Control Optim. 17 (1979) 289-297. Zbl0417.93036MR525028
  14. [14] P. Jouan and J.-P. Gauthier, Finite singularities of nonlinear systems. Output stabilization, observability and observers. J. Dynam. Control Systems 2 (1996) 255-288. Zbl0944.93026MR1388697
  15. [15] W. Respondek, Right and Left Invertibility of Nonlinear Control Systems, edited by H.J. Sussmann. Marcel Dekker, New-York, Nonlinear Control. Optim. Control (1990) 133-176. Zbl0719.93038MR1061385
  16. [16] M. Shiota, Geometry of Subanalytic and Semi-Algebraic Sets. Birkhauser, P.M. 150 (1997). Zbl0889.32006MR1463945
  17. [17] H.J. Sussmann, Some Optimal Control Applications of Real-Analytic Stratifications and Desingularization, in Singularities Symposium Lojiasiewicz 70, Vol. 43. Banach Center Publications (1998). Zbl1050.49500MR1677391

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.