{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,11]],"date-time":"2026-05-11T11:20:08Z","timestamp":1778498408588,"version":"3.51.4"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,8]]},"DOI":"10.1109\/mmar.2013.6669913","type":"proceedings-article","created":{"date-parts":[[2014,9,26]],"date-time":"2014-09-26T19:39:45Z","timestamp":1411760385000},"page":"241-246","source":"Crossref","is-referenced-by-count":12,"title":["Verified simulation of control systems with interval parameters using an exponential state enclosure technique"],"prefix":"10.1109","author":[{"given":"Andreas","family":"Rauh","sequence":"first","affiliation":[]},{"given":"Ramona","family":"Westphal","sequence":"additional","affiliation":[]},{"given":"Harald","family":"Aschemann","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15956-5_16"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-1247-7_7"},{"key":"18","article-title":"Exponential enclosure techniques for the computation of guaranteed state enclosures in valencia-ivp","author":"rauh","year":"2013","journal-title":"Proc of the 15th GAMM-IMACS International Symposium on Scientific Computing Computer Arithmetic and Validated Numerics SCAN 2012"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.2478\/amcs-2013-0055"},{"key":"16","author":"fortmann","year":"1977","journal-title":"An Introduction to Linear Control Systems"},{"key":"13","author":"k?uhn","year":"1999","journal-title":"Rigorous Error Bounds for the Initial Value Problem Based on Defect Estimation"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1007\/s00607-011-0171-y"},{"key":"11","author":"eble","year":"2007","journal-title":"U? Ber Taylor-Modelle"},{"key":"12","article-title":"Validated solution of initial value problems for odes with interval parameters","author":"lin","year":"2006","journal-title":"NSF Workshop Proceeding on Reliable Engineering Computing"},{"key":"3","article-title":"VALENCIA-IVP: A comparison with other initial value problem solvers","author":"rauh","year":"2007","journal-title":"CD-Proc of the 12th GAMMIMACS International Symposium on Scientific Computing Computer Arithmetic and Validated Numerics SCAN 2006"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511610523"},{"key":"2","author":"petkovi?c","year":"1998","journal-title":"Complex Interval Arithmetic and Its Application"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0249-6"},{"key":"10","author":"makino","year":"2004","journal-title":"Suppression of the Wrapping Effect by Taylor Model-Based Validated Integrators"},{"key":"7","article-title":"Interval tools for odes and daes","author":"nedialkov","year":"2007","journal-title":"CD-Proc of the 12th GAMM-IMACS International Symposium on Scientific Computing Computer Arithmetic and Validated Numerics SCAN 2006"},{"key":"6","first-page":"255","article-title":"Enclosing the solutions of ordinary initial and boundary value problems","author":"lohner","year":"1987","journal-title":"Computer Arithmetic Scientific Computation and Programming Languages"},{"key":"5","author":"moore","year":"1966","journal-title":"Interval Arithmetic Englewood Cliffs"},{"key":"4","first-page":"370","article-title":"Verified simulation of odes and daes in valencia-ivp","volume":"15","author":"rauh","year":"2011","journal-title":"Reliable Computing Special Issue on 13th GAMMIMACS International Symposium on Scientific Computing Computer Arithmetic and Validated Numerics SCAN 2008 El Paso Texas"},{"key":"9","author":"berz","year":"2002","journal-title":"COSY INFINITY Version 8 1 User's Guide and Reference Manual"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15956-5_1"}],"event":{"name":"2013 18th International Conference on Methods & Models in Automation & Robotics (MMAR)","location":"Miedzyzdroje","start":{"date-parts":[[2013,8,26]]},"end":{"date-parts":[[2013,8,29]]}},"container-title":["2013 18th International Conference on Methods & Models in Automation & Robotics (MMAR)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6661475\/6669870\/06669913.pdf?arnumber=6669913","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T14:59:05Z","timestamp":1602687545000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6669913"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,8]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/mmar.2013.6669913","relation":{},"subject":[],"published":{"date-parts":[[2013,8]]}}}