混合自动机的多项式phase-portrait近似  

Polynomial Phase-Portrait Approximation for Hybrid Systems

作　　者：刘保罗[1] 裴海龙[1] 李坚强[1] 张胜祥[1] 

机构地区：[1]华南理工大学自动化科学与工程学院,广州510640

出　　处：《计算机科学》2008年第5期180-183,共4页Computer Science

基　　金：国家自然科学基金(60374036)(60574004);广东省自然科学基金(031407)项目资助

摘　　要：抽象近似是验证混合系统安全性的主要方法,模型转换是构造一个可判定的(或半判定的)混合自动机来近似原混合自动机。本文将线性phase-portrait近似推广到多项式phase-portrait近似,叙述了如何自动构造多项式phase-portrait近似自动机及如何精化近似模型。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近似 

分 类 号：TP301[自动化与计算机技术—计算机系统结构] O174.14[自动化与计算机技术—计算机科学与技术]