Hybrid systems are modeled as phase transition systems with sampling semantics. By identifying a set of important events it is ensured that all significant state changes are observed, thus correcting previous drawbacks of the sampling computations semantics. A proof rule for verifying properties of hybrid systems is presented and illustrated on several examples.
CITATION STYLE
Manna, Z., & Pnueli, A. (1993). Verifying hybrid systems (pp. 4–35). https://doi.org/10.1007/3-540-57318-6_22
Mendeley helps you to discover research relevant for your work.