A verified method for solving piecewise smooth initial value problems

Ekaterina Auer ; Stefan Kiel ; Andreas Rauh

International Journal of Applied Mathematics and Computer Science, Tome 23 (2013), p. 731-747 / Harvested from The Polish Digital Mathematics Library

Résumé

In many applications, there is a need to choose mathematical models that depend on non-smooth functions. The task of simulation becomes especially difficult if such functions appear on the right-hand side of an initial value problem. Moreover, solution processes from usual numerics are sensitive to roundoff errors so that verified analysis might be more useful if a guarantee of correctness is required or if the system model is influenced by uncertainty. In this paper, we provide a short overview of possibilities to formulate non-smooth problems and point out connections between the traditional non-smooth theory and interval analysis. Moreover, we summarize already existing verified methods for solving initial value problems with non-smooth (in fact, even not absolutely continuous) right-hand sides and propose a way of handling a certain practically relevant subclass of such systems. We implement the approach for the solver VAL E NC IA-IVP by introducing into it a specialized template for enclosing the first-order derivatives of non-smooth functions. We demonstrate the applicability of our technique using a mechanical system model with friction and hysteresis. We conclude the paper by giving a perspective on future research directions in this area.

Détail

Publié le : 2013-01-01

Zbl 1287.65056

EUDML-ID : urn:eudml:doc:262316

Bibliographie

[000] Acary, V. and Brogliato, B. (2008). Numerical Methods for Nonsmooth Dynamical Systems: Applications in Mechanics and Electronics, Lecture Notes in Applied and Computational Mechanics, Vol. 35, Springer-Verlag, Berlin/Heidelberg. | Zbl 1173.74001

[001] Alefeld, G. and Herzberger, J. (1983). Introduction to Interval Computations, Computer Science and Applied Mathematics, Academic Press, New York, NY. | Zbl 0552.65041

[002] Auer, E., Albassam, H., Kecskeméthy, A. and Luther, W. (2011). Verified analysis of a model for stance stabilization, in A. Rauh and E. Auer (Eds.), Modeling, Design and Simulation of Systems with Uncertainties, Mathematical Engineering, Springer-Verlag, Berlin/Heidelberg, pp. 294-308.

[003] Barboteu, M., Bartosz, K. and Kalita, P. (2013). An analytical and numerical approach to a bilateral contact problem with nonmonotone friction, International Journal of Applied Mathematics and Computer Science 23(2): 263-276, DOI: 10.2478/amcs-2013-0020. | Zbl 1282.70031

[004] Bernardo, M., Budd, C., Champneys, A. and Kowalczyk, P. (2007). Piecewise-smooth Dynamical Systems: Theory and Applications, Applied Mathematical Sciences, Springer-Verlag, London. | Zbl 1146.37003

[005] de Figueiredo, L.H. and Stolfi, J. (2004). Affine arithmetic: Concepts and applications, Numerical Algorithms 37(1-4): 147-158. | Zbl 1074.65050

[006] Dötschel, T., Auer, E., Rauh, A. and Aschemann, H. (2013). Thermal behavior of high-temperature fuel cells: Reliable parameter identification and interval-based sliding mode control, Soft Computing (17): 1329-1343.

[007] Eble, I. (2007). Über Taylor-Modelle, Ph.D. thesis, University of Karlsruhe, Karlsruhe.

[008] Eggers, A., Fränzle, M. and Herde, C. (2009). Application of constraint solving and ODE-enclosure methods to the analysis of hybrid systems, in E. Simos, G. Psihoyios and Ch. Tsitouras (Eds.), Numerical Analysis and Applied Mathematics 2009, American Institute of Physics, Melville, NY, pp. 1326-1330.

[009] Filippov, A. (1988). Differential Equations with Discontinuous Righthand Sides, Kluwer Academic Publishers, Dordrecht.

[010] Galias, Z. (2012). Rigorous study of the Chua's circuit spiral attractor, IEEE Transactions on Circuits and Systems 59I(10): 2374-2382.

[011] Goldsztejn, A., Mullier, O., Eveillard, D. and Hosobe, H. (2010). Including ordinary differential equations based constraints in the standard CP framework, in D. Cohen (Ed.), Principles and Practice of Constraint Programming CP 2010, Lecture Notes in Computer Science, Vol. 6308, Springer, Berlin, pp. 221-235.

[012] Granas, A. and Dugundji, J. (2003). Fixed Point Theory, Springer Monographs in Mathematics, Springer-Verlag, New York, NY. | Zbl 1025.47002

[013] Hansen, E. and Walster, G. (2004). Global Optimization Using Interval Analysis: Revised and Expanded, Pure and Applied Mathematics, Marcel Dekker, New York, NY. | Zbl 1103.90092

[014] Henzinger, T. A., Horowitz, B., Majumdar, R. and Wong-Toi, H. (2000). Beyond HYTECH: Hybrid systems analysis using interval numerical methods, in N.A. Lynch and B.H. Krogh (Eds.), Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control, HSCC'00, Springer-Verlag, London, pp. 130-144. | Zbl 0938.93552

[015] Ishii, D. (2010). Simulation and Verification of Hybrid Systems Based on Interval Analysis and Constraint Programming, Ph.D. thesis, Waseda University, Tokyo.

[016] Ishii, D., Ueda, K. and Hosobe, H. (2011). An interval-based SAT modulo ODE solver for model checking nonlinear hybrid systems, International Journal on Software Tools for Technology Transfer 13(5): 449-461.

[017] Jaulin, L., Kieffer, M., Didrit, O. and Walter, E. (2001). Applied Interval Analysis, Springer-Verlag, London. | Zbl 1023.65037

[018] Kearfott, R.B. (1996). Rigorous Global Search: Continuous Problems, Kluwer, Boston, MA. | Zbl 0876.90082

[019] Kofman, E. (2004). Discrete event simulation of hybrid systems, SIAM Journal on Scientific Computing 25(5): 1771-1797. | Zbl 1061.65060

[020] Kunze, M. (2000). Non-Smooth Dynamical Systems, Springer, Berlin/Heidelberg. | Zbl 0965.34026

[021] Lohner, R. (1988). Einschließung der Lösung gewöhnlicher Anfangs- und Randwertaufgaben und Anwendungen, Ph.D. thesis, Universität Karlsruhe, Karlsruhe. | Zbl 0663.65074

[022] Lunze, J. and Lamnabhi-Lagarrigue, F. (2009). Handbook of Hybrid Systems Control-Theory, Tools, Applications, Cambridge University Press, Cambridge. | Zbl 1180.93001

[023] Magnus, K. and Popp, K. (2005). Schwingungen, Leitfäden der angewandten Mathematik und Mechanik, Teubner, Wiesbaden.

[024] Mahmoud, S. and Chen, X. (2008). A verified inexact implicit Runge-Kutta method for nonsmooth ODEs, Numerical Algorithms 47(3): 275-290. | Zbl 1147.65057

[025] Makino, K. (1998). Rigorous Analysis of Nonlinear Motion in Particle Accelerators, Ph.D. thesis, Michigan State University, East Lansing, MI.

[026] Mannshardt, R. (1978). One-step methods of any order for ordinary differential equations with discontinuous right-hand sides, Nimerische Mathematik 31(2): 131-152. | Zbl 0373.65037

[027] McLeod, R. M. (1964/1965). Mean value theorems for vector valued functions, Proceedings of the Edinburgh Mathematical Society 14: 197-209. | Zbl 0135.34301

[028] Moore, R. (1966). Interval Arithmetic, Prentice-Hall, Englewood Cliffs, NJ.

[029] Munoz, H. and Kearfott, R.B. (2004). Slope intervals, generalized gradients, semigradients, slant derivatives, and csets, Reliable Computing 10(3): 163-193. | Zbl 1072.65094

[030] Myśliński, A. (2012). Topology optimization of quasistatic contact problems, International Journal of Applied Mathematics and Computer Science 22(2): 269-280, DOI: 10.2478/v10006-012-0020-y. | Zbl 1285.49032

[031] Nedialkov, N.S. (2002). The Design and Implementation of an Object-Oriented Validated ODE Solver, Kluwer Academic Publishers, Dordrecht.

[032] Nedialkov, N. and von Mohrenschildt, M. (2002). Rigorous simulation of hybrid dynamic systems with symbolic and interval methods, Proceedings of the American Control Conference, Anchorage, AK, USA, Vol. 1, pp. 140-147.

[033] Orlov, Y. (2004). Finite time stability and robust control synthesis of uncertain switched systems, SIAM Journal on Control and Optimization 43(4): 1253-1271. | Zbl 1085.93021

[034] Patton, R.J., Chen, L. and Klinkhieo, S. (2012). An LPV pole-placement approach to friction compensation as an FTC problem, International Journal of Applied Mathematics and Computer Science 22(1): 149-160, DOI: 10.2478/v10006-012-0011-z. | Zbl 1273.93082

[035] Ramdani, N. and Nedialkov, N.S. (2011). Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques, Nonlinear Analysis: Hybrid Systems 5(2): 149-162. | Zbl 1225.93026

[036] Ratschan, S. (2012). An algorithm for formal safety verification of complex heterogeneous systems, Proceedings of REC 2012, Brno, Czech Republic, pp. 457-468.

[037] Rauh, A. and Auer, E. (2011). Verified simulation of ODEs and DAEs in VAL E NC IA-IVP, Reliable Computing 5(4): 370-381.

[038] Rauh, A., Brill, M. and Günther, C. (2009). A novel interval arithmetic approach for solving differential-algebraic equations with VAL E NC IA-IVP, International Journal of Applied Mathematics and Computer Science 19(3): 381-397, DOI: 10.2478/v10006-009-0032-4. | Zbl 1300.93075

[039] Rauh, A., Kletting, M., Aschemann, H. and Hofer, E.P. (2006). Interval methods for simulation of dynamical systems with state-dependent switching characteristics, IEEE CCA 2006, Munich, Germany, pp. 355-360.

[040] Rauh, A., Siebert, C. and Aschemann, H. (2011). Verified simulation and optimization of dynamic systems with friction and hysteresis, Proceedings of ENOC 2011, Rome, Italy.

[041] Rihm, R. (1992). Enclosing solutions with switching points in ordinary differential equations, in L. Atanassova and J. Herzberger (Eds.), Computer Arithmetic and Enclosure Methods. Proceedings of SCAN 91, North-Holland, Amsterdam, pp. 419-425. | Zbl 0838.65076

[042] Rihm, R. (1993). Über Einschließungsverfahren für gewöhnliche Anfangswertprobleme und ihre Anwendung auf Differentialgleichungen mit unstetiger rechter Seite, Ph.D. thesis, Universität Karlsruhe, Karlsruhe.

[043] Rihm, R. (1998). Implicit methods for enclosing solutions of ODEs, Journal of Universal Computer Science 4(2): 202-209. | Zbl 0965.65097

[044] Schnurr, M. (2007). Steigungen höherer Ordnung zur verifizierten globalen Optimierung, Ph.D. thesis, Universität Karlsruhe, Karlsruhe.

[045] Smirnov, G. (2002). Introduction to the Theory of Differential Inclusions, Graduate Studies in Mathematics, American Mathematical Society, Providence, RI. | Zbl 0992.34001

[046] Stauning, O. (1997). Automatic Validation of Numerical Solutions, Ph.D. thesis, Technical University of Denmark, Kgs. Lyngby.

[047] Stewart, D. (1990). A high accuracy method for solving ODEs with discontinuous right-hand side, Numerische Mathematik 58(1): 299-328. | Zbl 0693.65049

[048] Walter, W. (1972). Gewöhnliche Differentialgleichungen, Springer, Berlin/Heidelberg/New York, NY. | Zbl 0247.34001

[049] Zgliczynski, P. and Kapela, T. (2009). A Lohner-type algorithm for control systems and ordinary differential inclusions, Discrete and Continuous Dynamical Systems B 11(2): 365-385. | Zbl 1185.65079