An algebra of hybrid systems

Peter Höfner, Bernhard Möller. An algebra of hybrid systems. Journal of Logic and Algebraic Programming, 78(2):74-97, 2009. [doi]

Abstract

Abstract is missing.