Skip to main content
Have a personal or library account? Click to login
A verified method for solving piecewise smooth initial value problems Cover

A verified method for solving piecewise smooth initial value problems

International Journal of Applied Mathematics and Computer Science
Volume 23 (2013): Issue 4 (December 2013)
By: ,   and    
Open Access
|Dec 2013
References

References

  1. 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.
    Search in Google Scholar
  2. Alefeld, G. and Herzberger, J. (1983). Introduction to Interval Computations, Computer Science and Applied Mathematics, Academic Press, New York, NY.
    Search in Google Scholar
  3. Auer, E., Albassam, H., Kecskem´ethy, 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.10.1007/978-3-642-15956-5_14
    Open DOISearch in Google Scholar
  4. 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.10.2478/amcs-2013-0020
    Open DOISearch in Google Scholar
  5. Bernardo, M., Budd, C., Champneys, A. and Kowalczyk, P. (2007). Piecewise-smooth Dynamical Systems: Theory and Applications, Applied Mathematical Sciences, Springer-Verlag, London. de Figueiredo, L.H. and Stolfi, J. (2004). Affine arithmetic: Concepts and applications, Numerical Algorithms 37(1-4): 147-158.
    Search in Google Scholar
  6. 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.10.1007/s00500-013-1003-0
    Open DOISearch in Google Scholar
  7. Eble, I. (2007). ¨Uber Taylor-Modelle, Ph.D. thesis, University of Karlsruhe, Karlsruhe.
    Search in Google Scholar
  8. 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.10.1063/1.3241327
    Open DOISearch in Google Scholar
  9. Filippov, A. (1988). Differential Equations with Discontinuous Righthand Sides, Kluwer Academic Publishers, Dordrecht.10.1007/978-94-015-7793-9
    Open DOISearch in Google Scholar
  10. Galias, Z. (2012). Rigorous study of the Chua’s circuit spiral attractor, IEEE Transactions on Circuits and Systems 59- I(10): 2374-2382.10.1109/TCSI.2012.2188947
    Open DOISearch in Google Scholar
  11. 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.10.1007/978-3-642-15396-9_20
    Open DOISearch in Google Scholar
  12. Granas, A. and Dugundji, J. (2003). Fixed Point Theory, Springer Monographs in Mathematics, Springer-Verlag, New York, NY.10.1007/978-0-387-21593-8
    Open DOISearch in Google Scholar
  13. Hansen, E. and Walster, G. (2004). Global Optimization Using Interval Analysis: Revised and Expanded, Pure and Applied Mathematics, Marcel Dekker, New York, NY.10.1201/9780203026922
    Open DOISearch in Google Scholar
  14. 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.10.1007/3-540-46430-1_14
    Open DOISearch in Google Scholar
  15. Ishii, D. (2010). Simulation and Verification of Hybrid Systems Based on Interval Analysis and Constraint Programming, Ph.D. thesis, Waseda University, Tokyo.
    Search in Google Scholar
  16. 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.10.1007/s10009-011-0193-y
    Open DOISearch in Google Scholar
  17. Jaulin, L., Kieffer, M., Didrit, O. and Walter, E. (2001). Applied Interval Analysis, Springer-Verlag, London.10.1007/978-1-4471-0249-6
    Open DOISearch in Google Scholar
  18. Kearfott, R.B. (1996). Rigorous Global Search: Continuous Problems, Kluwer, Boston, MA.10.1007/978-1-4757-2495-0
    Open DOISearch in Google Scholar
  19. Kofman, E. (2004). Discrete event simulation of hybrid systems, SIAM Journal on Scientific Computing 25(5): 1771-1797.10.1137/S1064827502418379
    Open DOISearch in Google Scholar
  20. Kunze, M. (2000). Non-Smooth Dynamical Systems, Springer, Berlin/Heidelberg.10.1007/BFb0103843
    Open DOISearch in Google Scholar
  21. Lohner, R. (1988). Einschließung der L¨osung gew¨ohnlicher Anfangs- und Randwertaufgaben und Anwendungen, Ph.D. thesis, Universit¨at Karlsruhe, Karlsruhe.
    Search in Google Scholar
  22. Lunze, J. and Lamnabhi-Lagarrigue, F. (2009). Handbook of Hybrid Systems Control-Theory, Tools, Applications, Cambridge University Press, Cambridge.10.1017/CBO9780511807930
    Open DOISearch in Google Scholar
  23. Magnus, K. and Popp, K. (2005). Schwingungen, Leitf¨aden der angewandten Mathematik und Mechanik, Teubner, Wiesbaden.10.1007/978-3-322-99701-2
    Open DOISearch in Google Scholar
  24. Mahmoud, S. and Chen, X. (2008). A verified inexact implicit Runge-Kutta method for nonsmooth ODEs, Numerical Algorithms 47(3): 275-290.10.1007/s11075-008-9180-0
    Open DOISearch in Google Scholar
  25. Makino, K. (1998). Rigorous Analysis of Nonlinear Motion in Particle Accelerators, Ph.D. thesis, Michigan State University, East Lansing, MI.
    Search in Google Scholar
  26. Mannshardt, R. (1978). One-step methods of any order for ordinary differential equations with discontinuous right-hand sides, Nimerische Mathematik 31(2): 131-152.10.1007/BF01397472
    Open DOISearch in Google Scholar
  27. McLeod, R. M. (1964/1965). Mean value theorems for vector valued functions, Proceedings of the Edinburgh Mathematical Society 14: 197-209.10.1017/S0013091500008786
    Open DOISearch in Google Scholar
  28. Moore, R. (1966). Interval Arithmetic, Prentice-Hall, Englewood Cliffs, NJ.
    Search in Google Scholar
  29. Munoz, H. and Kearfott, R.B. (2004). Slope intervals, generalized gradients, semigradients, slant derivatives, and csets, Reliable Computing 10(3): 163-193.10.1023/B:REOM.0000032107.85627.45
    Open DOISearch in Google Scholar
  30. Myślsń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.10.2478/v10006-012-0020-y
    Open DOISearch in Google Scholar
  31. Nedialkov, N.S. (2002). The Design and Implementation of an Object-Oriented Validated ODE Solver, Kluwer Academic Publishers, Dordrecht.
    Search in Google Scholar
  32. 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.
    Search in Google Scholar
  33. Orlov, Y. (2004). Finite time stability and robust control synthesis of uncertain switched systems, SIAM Journal on Control and Optimization 43(4): 1253-1271.10.1137/S0363012903425593
    Open DOISearch in Google Scholar
  34. 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.10.2478/v10006-012-0011-z
    Open DOISearch in Google Scholar
  35. 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.10.1016/j.nahs.2010.05.010
    Open DOISearch in Google Scholar
  36. Ratschan, S. (2012). An algorithm for formal safety verification of complex heterogeneous systems, Proceedings of REC 2012, Brno, Czech Republic, pp. 457-468.
    Search in Google Scholar
  37. Rauh, A. and Auer, E. (2011). Verified simulation of ODEs and DAEs in VALENCIA-IVP, Reliable Computing 5(4): 370-381.
    Search in Google Scholar
  38. Rauh, A., Brill, M. and G¨unther, C. (2009). A novel interval arithmetic approach for solving differential-algebraic equations with VALENCIA-IVP, International Journal of Applied Mathematics and Computer Science 19(3): 381-397, DOI: 10.2478/v10006-009-0032-4.10.2478/v10006-009-0032-4
    Open DOISearch in Google Scholar
  39. 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.
    Search in Google Scholar
  40. 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.
    Search in Google Scholar
  41. 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.
    Search in Google Scholar
  42. Rihm, R. (1993). ¨Uber Einschließungsverfahren f¨ur gew¨ohnliche Anfangswertprobleme und ihre Anwendung auf Differentialgleichungen mit unstetiger rechter Seite, Ph.D. thesis, Universit¨at Karlsruhe, Karlsruhe.
    Search in Google Scholar
  43. Rihm, R. (1998). Implicit methods for enclosing solutions of ODEs, Journal of Universal Computer Science 4(2): 202-209.
    Search in Google Scholar
  44. Schnurr, M. (2007). Steigungen h¨oherer Ordnung zur verifizierten globalen Optimierung, Ph.D. thesis, Universit¨at Karlsruhe, Karlsruhe.
    Search in Google Scholar
  45. Smirnov, G. (2002). Introduction to the Theory of Differential Inclusions, Graduate Studies in Mathematics, American Mathematical Society, Providence, RI.10.1090/gsm/041
    Open DOISearch in Google Scholar
  46. Stauning, O. (1997). Automatic Validation of Numerical Solutions, Ph.D. thesis, Technical University of Denmark, Kgs. Lyngby.
    Search in Google Scholar
  47. Stewart, D. (1990). A high accuracy method for solving ODEs with discontinuous right-hand side, Numerische Mathematik 58(1): 299-328.10.1007/BF01385627
    Open DOISearch in Google Scholar
  48. Walter, W. (1972). Gew¨ohnliche Differentialgleichungen, Springer, Berlin/Heidelberg/New York, NY.
    Search in Google Scholar
  49. 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. 10.3934/dcdsb.2009.11.365
    Open DOISearch in Google Scholar
DOI: https://doi.org/10.2478/amcs-2013-0055 | Journal eISSN: 2083-8492 | Journal ISSN: 1641-876X
Journal RSS Feed
Language: English
Page range: 731 - 747
Published online: Dec 31, 2013
Published in print: Dec 1, 2013
Published by: University of Zielona Góra
In partnership with: Paradigm Publishing Services
Publication frequency: 4 issues per year
Keywords:
interval methods,
non-smooth systems,
initial value problems
Related subjects:
Mathematics,
Applied mathematics

© 2013 Ekaterina Auer, Stefan Kiel, Andreas Rauh, published by University of Zielona Góra
This work is licensed under the Creative Commons License.

Volume 23 (2013): Issue 4 (December 2013)
Previous article
Next article