Andreas Rauh, Luise Senkel, Harald Aschemann. Verified Parameter Identification for Dynamic Systems with Non-Smooth Right-Hand Sides. In Marco Nehmeier, Jürgen Wolff von Gudenberg, Warwick Tucker, editors, Scientific Computing, Computer Arithmetic, and Validated Numerics - 16th International Symposium, SCAN 2014, Würzburg, Germany, September 21-26, 2014. Revised Selected Papers. Volume 9553 of Lecture Notes in Computer Science, pages 236-246, Springer, 2014. [doi]
Abstract is missing.