Abstract
This paper is about guaranteed nonlinear parameter and state estimation. Sets are computed that contain all possible values of the parameter (or state) vector given bounds on the acceptable errors. The main requirement is that the dynamical equations describing the evolution of the model can be bounded between cooperatives models, i.e., models such that the off-diagonal entries of their Jacobian matrix remain positive. The performances and limitations of the techniques proposed are illustrated on a nonlinear compartmental model.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alcaraz-González, V., Genovesi, A., Harmand, J., González, A., Rapaport, A., Steyer, J.: Robust exponential nonlinear interval observer for a class of lumped models useful in chemical and biochemical engineering. Application to a wastewater treatment process. In: Proc. MISC 1999 Workshop on Applications of Interval Analysis to Systems and Control, Girona, February 24-26, pp. 225–235 (1999)
Chernousko, F.L.: State Estimation for Dynamic Systems. CRC Press, Boca Raton (1994)
Fogel, E., Huang, Y.F.: On the value of information in system identification - bounded noise case. Automatica 18(2), 229–238 (1982)
Gelb, A.: Applied Optimal Estimation. MIT Press, Cambridge (1974)
Godfrey, K.: Compartimental Models and Their Application. Academic Press, London (1983)
Gouzé, J.L., Rapaport, A., Hadj-Sadok, Z.M.: Interval observers for uncertain biological systems. Journal of Ecological Modelling (133), 45–56 (2000)
Hansen, E.R.: Global Optimization Using Interval Analysis. Marcel Dekker, New York (1992)
Hoefkens, J., Berz, M., Makino, K.: Efficient high-order methods for ODEs and DAEs. In: Corliss, G., Faure, C., Griewank, A. (eds.) Automatic Differentiation: From Simulation to Optimization, pp. 341–351. Springer, New-York (2001)
Hoefkens, J., Berz, M., Makino, K.: Verified high-order integration of DAEs and ODEs. In: Kraemer, W., von Gudenberg, J.W. (eds.) Scientific Computing, Validated Numerics, Interval Methods, pp. 281–292. Kluwer, Boston (2001)
Jaulin, L.: Nonlinear bounded-error state estimation of continuous-time systems. Automatica 38, 1079–1082 (2002)
Jaulin, L., Kieffer, M., Braems, I., Walterp, E.: Guaranteed nonlinear estimation using constraint propagation on sets. International Journal of Control 74(18), 1772–1782 (2001)
Jaulin, L., Kieffer, M., Didrit, O., Walter, E.: Applied Interval Analysis. Springer, London (2001)
Jaulin, L., Walter, E.: Guaranteed nonlinear parameter estimation from bounded-error data via interval analysis. Mathematics and Computers in Simulation 35(2), 123–137 (1993)
Jaulin, L., Walter, E.: Set inversion via interval analysis for nonlinear bounded-error estimation. Automatica 29(4), 1053–1064 (1993)
Kalman, R.E.: A new approach to linear filtering and prediction problems. Transactions of the AMSE, Part D, Journal of Basic Engineering 82, 35–45 (1960)
Kieffer, M.: Estimation ensembliste par analyse par intervalles, application à la localisation d’un véhicule. PhD thesis, Université Paris-Sud, Orsay, France (1999)
Kieffer, M., Jaulin, L., Braems, I., Walter, E.: Guaranteed set computation with subpavings. In: Kraemer, W., von Gudenberg, J.W. (eds.) Scientific Computing, Validated Numerics, Interval Methods, Boston, pp. 167–178 (2001)
Kieffer, M., Jaulin, L., Walter, E.: Guaranteed recursive nonlinear state bounding using interval analysis. International Journal of Adaptative Control and Signal Processing 6(3), 193–218 (2002)
Kieffer, M., Walter, E.: Guaranteed nonlinear state estimator for cooperative systems. In: Proceedings of SCAN 2002, Paris (2002)
Kurzhanski, A., Valyi, I.: Ellipsoidal Calculus for Estimation and Control. Birkhäuser, Boston (1997)
Lohner, R.: Enclosing the solutions of ordinary initial and boundary value problems. In: Kaucher, E., Kulisch, U., Ullrich, C. (eds.) Computer Arithmetic: Scientific Computation and Programming Languages, pp. 255–286. BG Teubner, Stuttgart (1987)
Lohner, R.: Computation of guaranteed enclosures for the solutions of ordinary initial and boundary value-problem. In: Cash, J.R., Gladwell, I. (eds.) Computational Ordinary Differential Equations, pp. 425–435. Clarendon Press, Oxford (1992)
Milanese, M., Norton, J., Piet-Lahanier, H., Walter, E. (eds.): Bounding Approaches to System Identification. Plenum Press, New York (1996)
Nedialkov, N.S., Jackson, K.R.: Methods for initial value problems for ordinary differential equations. In: Kulisch, U., Lohner, R., Facius, A. (eds.) Perspectives on Enclosure Methods, Vienna, pp. 219–264. Springer, Heidelberg (2001)
Schweppe, F.C.: Uncertain Dynamic Systems. Prentice-Hall, Englewood Cliffs (1973)
Smith, H.L.: Monotone Dynamical Systems: An Introduction to the Theory of Competitive and Cooperative Systems. Mathematical Surveys and Monographs, vol. 41. American Mathematical Society, Providence (1995)
Walter, E., Piet-Lahanier, H.: Exact recursive polyhedral description of the feasible parameter set for bounded-error models. IEEE Transactions on Automatic Control 34(8), 911–915 (1989)
Walter, E., Pronzato, L.: Identification of Parametric Models from Experimental Data. Springer, London (1997)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kieffer, M., Walter, E. (2004). Nonlinear Parameter and State Estimation for Cooperative Systems in a Bounded-Error Context. In: Alt, R., Frommer, A., Kearfott, R.B., Luther, W. (eds) Numerical Software with Result Verification. Lecture Notes in Computer Science, vol 2991. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24738-8_6
Download citation
DOI: https://doi.org/10.1007/978-3-540-24738-8_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-21260-7
Online ISBN: 978-3-540-24738-8
eBook Packages: Springer Book Archive