The Algorithmic Analysis of Hybrid Systems

Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, Thomas A. Henzinger, Pei-Hsin Ho, Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, Sergio Yovine. The Algorithmic Analysis of Hybrid Systems. Theoretical Computer Science, 138(1):3-34, 1995. [doi]

Abstract

Abstract is missing.