Approximations of Discrete, Continuous, and Hybrid Systems

George J. Pappas. Approximations of Discrete, Continuous, and Hybrid Systems. In Joël Ouaknine, Frits W. Vaandrager, editors, Formal Modeling and Analysis of Timed Systems, 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings. Volume 5813 of Lecture Notes in Computer Science, pages 12, Springer, 2009. [doi]

Abstract

Abstract is missing.