Verifying Hybrid Systems

Verifying Hybrid Systems
复制标题

DOI：
10.1007/3-540-57318-6_22
复制
发表时间：
1992
期刊：
--
影响因子：
--
通讯作者：
Z. Manna;A. Pnueli
Z. Manna;A. Pnueli
中科院分区：
其他
文献类型：
--
作者：
Z. Manna;A. Pnueli

文献摘要

被引文献

相似文献

混合系统被建模为具有采样语义的相变系统。通过识别一组重要事件，确保所有重要的状态变化都被观察到，从而纠正了以前采样计算语义的缺点。提出了一种验证混合系统性质的证明规则，并举例说明。
Hybrid systems are modeled asphase transition systemswith sampling semantics. By identifying a set ofimportant eventsit 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.