Rigorous Modeling of Hybrid Systems Using Interval Arithmetic Constraints

Timothy J. Hickey, David K. Wittenberg. Rigorous Modeling of Hybrid Systems Using Interval Arithmetic Constraints. In Rajeev Alur, George J. Pappas, editors, Hybrid Systems: Computation and Control, 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings. Volume 2993 of Lecture Notes in Computer Science, pages 402-416, Springer, 2004. [doi]

Abstract

Abstract is missing.