Fixed Point Iteration for Computing the Time Elapse Operator

Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna. Fixed Point Iteration for Computing the Time Elapse Operator. In João P. Hespanha, Ashish Tiwari, editors, Hybrid Systems: Computation and Control, 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings. Volume 3927 of Lecture Notes in Computer Science, pages 537-551, Springer, 2006. [doi]

Abstract

Abstract is missing.