1. Enclosing the behavior of a hybrid system up to and beyond a zeno point;Konecny,2013
2. Mobile Robotics;Jaulin,2015
3. Acumen: An Open-Source Testbed for Cyber-Physical Systems Research;Taha,2016
4. Methods and Applications of Interval Analysis;Moore,1979
5. Computational Differentiation: Techniques, Applications, and Tools, No. 89;Berz,1996