Verified Parameter Identification for Dynamic Systems with Non-Smooth Right-Hand Sides

  • Andreas RauhEmail author
  • Luise Senkel
  • Harald Aschemann
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9553)


Modeling of systems in engineering involves two major stages. First, a system structure is derived that is based on the fundamental laws from physics that characterize the relevant processes. Second, specific parameter values are determined by minimizing the distance between the measured and simulated system outputs. In previous work, strategies for verified parameter identification using techniques from interval analysis were developed. These techniques are extended in this paper to a verified estimation for systems with non-smooth ordinary differential equations. Suitable experimental results for parameter estimation of a mechanical system with friction conclude this contribution to highlight the practical applicability of the developed identification procedure.


Non-smooth ordinary differential equations Verified parameter identification Interval analysis Mechanical systems Friction 


  1. 1.
    Auer, E., Kiel, S., Rauh, A.: A verified method for solving piecewise smooth initial value problems. Int. J. Appl. Math. Comput. Sci. AMCS 23(4), 731–747 (2013)MathSciNetzbMATHGoogle Scholar
  2. 2.
    Hofer, E.P., Rauh, A.: Applications of interval algorithms in engineering. In: CD-Proceedings of 12th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics SCAN 2006. IEEE Computer Society, Duisburg, Germany (2007)Google Scholar
  3. 3.
    Jaulin, L., Kieffer, M., Didrit, O., Walter, É.: Applied Interval Analysis. Springer, London (2001)CrossRefGoogle Scholar
  4. 4.
    Kalman, R.E.: A new approach to linear filtering and prediction problems. Trans. ASME - J. Basic Eng. 82(Series D), 35–45 (1960)MathSciNetCrossRefGoogle Scholar
  5. 5.
    Lohner, R.: Enclosing the solutions of ordinary initial and boundary value problems. In: Kaucher, E.W., Kulisch, U.W., Ullrich, C. (eds.) Computer Arithmetic: Scientific Computation and Programming Languages, pp. 255–286. Wiley-Teubner Series in Computer Science, Stuttgart (1987)Google Scholar
  6. 6.
    Nedialkov, N.S.: Interval tools for ODEs and DAEs. In: CD-Proceedings of 12th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics SCAN 2006. IEEE Computer Society, Duisburg, Germany (2007)Google Scholar
  7. 7.
    Nedialkov, N.S., von Mohrenschildt, M.: Rigorous simulation of hybrid dynamic systems with symbolic and interval methods. In: Proceedings of the American Control Conference ACC, Anchorage, USA, pp. 140–147 (2002)Google Scholar
  8. 8.
    Ramdani, N., Nedialkov, N.S.: Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques. Nonlinear Anal. Hybrid Syst. 5(2), 149–162 (2011)MathSciNetCrossRefGoogle Scholar
  9. 9.
    Rauh, A., Dötschel, T., Auer, E., Aschemann, H.: Interval methods for control-oriented modeling of the thermal behavior of high-temperature fuel cell stacks. In: Proceedings of 16th IFAC Symposium on System Identification SysID 2012. Brussels, Belgium (2012)Google Scholar
  10. 10.
    Rauh, A., Kletting, M., Aschemann, H., Hofer, E.P.: Interval methods for simulation of dynamical systems with state-dependent switching characteristics. In: Proceedings of the IEEE International Conference on Control Applications CCA 2006, pp. 2243–2248. Munich, Germany (2006)Google Scholar
  11. 11.
    Rauh, A., Kletting, M., Aschemann, H., Hofer, E.P.: Reduction of overestimation in interval arithmetic simulation of biological wastewater treatment processes. J. Comput. Appl. Math. 199(2), 207–212 (2007)MathSciNetCrossRefGoogle Scholar
  12. 12.
    Rauh, A., Senkel, L., Aschemann, H.: Experimental comparison of interval-based parameter identification procedures for uncertain odes with non-smooth right-hand sides. In: CD-Proceedings of IEEE International Conference on Methods and Models in Automation and Robotics MMAR 2015. Miedzyzdroje, Poland (2015)Google Scholar
  13. 13.
    Rauh, A., Siebert, C., Aschemann, H.: Verified simulation and optimization of dynamic systems with friction and hysteresis. In: Proceedings of ENOC 2011. Rome, Italy (2011)Google Scholar
  14. 14.
    Rihm, R.: Enclosing solutions with switching points in ordinary differential equations. In: Computer Arithmetic and Enclosure Methods. Proceedings of SCAN 91. North-Holland, Amsterdam, pp. 419–425 (1992)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2016

Open Access This chapter is licensed under the terms of the Creative Commons Attribution-NonCommercial 2.5 International License (, which permits any noncommercial use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license and indicate if changes were made.

The images or other third party material in this chapter are included in the chapter's Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the chapter's Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.

Authors and Affiliations

  1. 1.Chair of MechatronicsUniversity of RostockRostockGermany

Personalised recommendations