An Approach to the Description and Analysis of Hybrid Systems

Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, Sergio Yovine. An Approach to the Description and Analysis of Hybrid Systems. In Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel, editors, Hybrid Systems. Volume 736 of Lecture Notes in Computer Science, pages 149-178, Springer, 1992.

Abstract

Abstract is missing.