计算机科学 ›› 2008, Vol. 35 ›› Issue (9): 203-205.
• • 上一篇 下一篇
出版日期:
发布日期:
基金资助:
Online:
Published:
摘要： 抽象近似是验证混合系统安全性的主要方法，矩形phase-portrait近似是通过构造简单的线性混合自动机来近似原混合自动机。phase-portrait近似的关键步骤是如何划分状态空间。本文采用定性推理的方法，叙述了如何根据系统动态特征来划分状态空间及如何精化抽象模型。
关键词: 混合自动机 phase-portrait近似 李导数
Abstract: Abstraction is a dominant approach for verification of hybrid systems; rectangular phase-portrait approximation is to construct simpler linear hybrid automaton to over-approximate the original automaton. The key procedure of phase-portrait approximation i
Key words: Hybrid automaton,Phase-portrait approximation,Lie-derivative
. 定性推理在矩形phase—portrait近似中的应用[J]. 计算机科学, 2008, 35(9): 203-205. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2008/V35/I9/203
Cited
首页