Andreas Rauh, Ramona Westphal, Harald Aschemann. Verified simulation of control systems with interval parameters using an exponential state enclosure technique. In 18th International Conference on Methods & Models in Automation & Robotics, MMAR 2013, Miedzyzdroje, Poland, August 26-29, 2013. pages 241-246, IEEE, 2013. [doi]
Abstract is missing.