Verified simulation of control systems with interval parameters using an exponential state enclosure technique

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

Abstract is missing.