Guaranteed state and parameter estimation for nonlinear continuous-time systems with bounded-error measurements

Industrial and Engineering Chemistry Research

Volumn 46, Issue 22, 2007, Pages 7198-7207

  Lin, Youdong ^a   Stadtherr, Mark A ^a  

^a University of Notre Dame   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BOUNDED-ERROR OUTPUT MEASUREMENTS; GUARANTEED STATE;

COMPUTATIONAL EFFICIENCY; CONSTRAINT THEORY; ERROR ANALYSIS; NUMERICAL METHODS; PARAMETER ESTIMATION;

NONLINEAR SYSTEMS;

COMPUTATIONAL EFFICIENCY; CONSTRAINT THEORY; ERROR ANALYSIS; NONLINEAR SYSTEMS; NUMERICAL METHODS; PARAMETER ESTIMATION;

EID: 35948941641     PISSN: 08885885     EISSN: None     Source Type: Journal    
DOI: 10.1021/ie0707725     Document Type: Article

References (32)

1. Jaulin, L. Nonlinear bounded-error state estimation of continuous-time systems. Automatica 2002, 38, 1079-1082.
2. Jaulin, L.; Kieffer, M.; Didrit, O.; Walter, É. Applied Interval Analysis; Springer-Verlag: London, U.K., 2001.
3. Chernousko, F. L. State Estimation for Dynamic System; CRC Press: Boca Raton, FL, 1994.
4. Chen, G.; Wang, J.; Shieh, L. S. Interval Kalman filtering. IEEE Trans. Aerosp. Electron. Syst. 1997, 33, 250-258.
5. Schweppe, F. C. Recursive state estimation: Unknown but bounded errors and system inputs. IEEE Trans. Autom Control 1968, 13, 22-28.
6. Moore, R. E. Interval Analysis; Prentice-Hall: Englewood Cliffs, NJ, 1966.
7. Davis, E. Constraint propagation with interval labels. Artif. Intell. 1987, 32, 281-331.
8. Raïssi, T.; Ramdani, N.; Candau, Y. Set membership state and parameter estimation for systems described by nonlinear differential equations. Automatica 2004, 40, 1771-1777.
9. Rihm, R. Interval methods for initial value problems in ODEs. In Topics in Validated Computations: Proceedings of the IMACS-GAMM International Workshop on Validated Computations; Herzberger, J., Ed.; Elsevier: New York, 1994.
10. Nedialkov, N. S.; Jackson, K. R.; Corliss, G. F. Validated solutions of initial value problems for ordinary differential equations. Appl. Math. Comput. 1999, 105, 21-68.
11. Lohner, R. J. Computations of guaranteed enclosures for the solutions of ordinary initial and boundary value problems. In Computational Ordinary Differential Equations; Cash, J., Gladwell, I., Eds.; Clarendon Press: Oxford, U.K., 1992.
12. Nedialkov, N. S.; Jackson, K. R.; Pryce, J. D. An effective high-order interval method for validating existence and uniqueness of the solution of an IVP for an ODE. Reliab. Comput. 2001, 7, 449-465.
13. Berz, M.; Makino, K. Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models. Reliab. Comput. 1998, 4, 361-369.
14. Lin, Y.; Stadtherr, M. A. Validated solutions of initial value problems for parametric ODEs. Appl. Numer. Math. 2007, 57 (10), 1145-1162.
15. Makino, K.; Berz, M. Remainder differential algebras and their applications. In Computational Differentiation: Techniques, Applications, and Tools; Berz, M., Bishof, C., Corliss, G., Griewank, A., Eds.; SIAM: Philadelphia, PA, 1996.
16. Makino, K.; Berz, M. Efficient control of the dependency problem based on Taylor model methods. Reliab. Comput. 1999, 5, 3-12.
17. Lin, Y.; Stadtherr, M. A. Validated solution of initial value problems for ODEs with interval parameters. Presented at the 2nd NSF Workshop on Reliable Engineering Computing, Savannah, GA, February 22-24, 2006.
18. Kletting, M.; Rauh, A.; Aschemann, H.; Hofer, E. P. Interval observer design based on Taylor models for nonlinear uncertain continuous-time systems. Presented at the 12th GAMM-IMACS International Symposion on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2006), Duisburg, Germany, September 26-29, 2006.
19. Hansen, E.; Walster, G. W. Global Optimization Using Interval Analysis; Marcel Dekker: New York, 2004.
20. Pryce, J. D.; Corliss, G. F. Interval arithmetic with containment sets. Computing 2006, 78, 251-276.
21. Kearfott, R. B. Rigorous Global Search: Continuous Problems; Kluwer Academic Publishers: Dordrecht, The Netherlands, 1996.
22. Neumaier, A. Interval Methods for Systems of Equations; Cambridge University Press: Cambridge, U.K., 1990.
23. Ratschek, H.; Rokne, J. Computer Methods for the Range of Functions; Ellis Horwood: Chichester, U.K., 1984.
24. Makino, K. Rigorous Analysis of Nonlinear Motion in Particle Accelerators, Ph.D. Thesis, Michigan State University, East Lansing, MI, 1998.
25. Makino, K.; Berz, M. Taylor models and other validated functional inclusion methods. Int. J. Pure Appl. Math. 2003, 4, 379-456.
26. Revol, N.; Makino, K.; Berz, M. Taylor models and floating-point arithmetic: Proof that arithmetic operations are validated in COSY. J. Logic Algebr. Progr. 2005, 64, 135-154.
27. Neumaier, A. Taylor forms-Use and limits. Reliab. Comput. 2003, 9, 43-79.
28. Makino, K.; Berz, M. Taylor model range bounding schemes. Presented at the Third International Workshop on Taylor Methods, Miami Beach, FL, 2004.
29. Makino, K.; Berz, M. Verified global optimization with Taylor model-based range bounders. Trans. Comput. 2005, 11, 1611-1618.
30. Eijgenraam, P. The Solution of Initial Value Problems Using Interval Arithmetic. Technical Report Mathematical Centre Tracts No. 144, Stichting Mathematisch Centrum, Amsterdam, The Netherlands, 1981.
31. Bastin, G.; Dochain, D. On-line Estimation and Adaptive Control of Bioreactors; Elsevier: Amsterdam, The Netherlands, 1990.
32. Bequette, B. W. Process Dynamics: Modeling, Analysis, and Simulation; Prentice-Hall: Upper Saddle River, NJ, 1998.