节点文献
混合自动机的多项式phase-portrait近似
Polynomial Phase-Portrait Approximation for Hybrid Systems
【摘要】 抽象近似是验证混合系统安全性的主要方法,模型转换是构造一个可判定的(或半判定的)混合自动机来近似原混合自动机。本文将线性phase-portrait近似推广到多项式phase-portrait近似,叙述了如何自动构造多项式phase-portrait近似自动机及如何精化近似模型。
【Abstract】 Abstraction is a dominant approach for verification of hybrid systems.Model transformation is to construct a decidable(or semi-decidable)hybrid automaton to over-approximate the original automaton.In this paper,we extend the linear phase-portrait approximation to polynomial phase-portrait approximation.We show how to automatically construct polynomial phase-portrait automaton and how to refine the approximation.
【关键词】 混合自动机;
弱时间模拟;
phase-portrait近似;
【Key words】 Hybrid automaton; Weak time simulation; Phase-portrait approximation;
【Key words】 Hybrid automaton; Weak time simulation; Phase-portrait approximation;
【基金】 国家自然科学基金(60374036)(60574004);广东省自然科学基金(031407)项目资助
- 【文献出处】 计算机科学 ,Computer Science , 编辑部邮箱 ,2008年05期
- 【分类号】TP301.1
- 【被引频次】1
- 【下载频次】66