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

Andreas Rauh, Ramona Westphal, Harald Aschemann

Browse the full MMAR paper archive.