Verified Parameter Identification for Dynamic Systems with Non-Smooth Right-Hand Sides
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.
KeywordsNon-smooth ordinary differential equations Verified parameter identification Interval analysis Mechanical systems Friction
- 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
- 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.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.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
- 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.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
- 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.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.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
Open Access This chapter is licensed under the terms of the Creative Commons Attribution-NonCommercial 2.5 International License (http://creativecommons.org/licenses/by-nc/2.5/), 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.