Rigorous Modeling of Hybrid Systems Using Interval Arithmetic Constraints - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Timothy J. Hickey' in GoogleThis author has not been identified. Look up 'David K. Wittenberg' in Google

runs on WebDSL