On Hybrid Systems and the Modal/z-Calculus (extended abstract)
Jennifer M. Davoren · 1999
It is hardly controversial to claim that the p-calculus is a formal logic of central import for the analysis and verification of hybrid automata and related classes of systems. The fundamental concepts of teachability and invariance