节点文献

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

Polynomial Phase-Portrait Approximation for Hybrid Systems

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具,请取消加速工具后下载。

【作者】 刘保罗裴海龙李坚强张胜祥

【Author】 LIU Bao-luo~1 PEI Hai-long~1 LI Jiang-qiang~1 ZHANG Sheng-xiang~(1,2) (College of Automation Science and Engineering,South China University of Technology,Guangzhou 510640,China)~1(Department of Applied Mathematic,South China Agriculture University,Guangzhou 510640,China)~2

【机构】 华南理工大学自动化科学与工程学院华南理工大学自动化科学与工程学院 广州 510640广州 510640广州 510640 华南农业大学应用数学系 广州 510640

【摘要】 抽象近似是验证混合系统安全性的主要方法,模型转换是构造一个可判定的(或半判定的)混合自动机来近似原混合自动机。本文将线性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.

【基金】 国家自然科学基金(60374036)(60574004);广东省自然科学基金(031407)项目资助
  • 【文献出处】 计算机科学 ,Computer Science , 编辑部邮箱 ,2008年05期
  • 【分类号】TP301.1
  • 【被引频次】1
  • 【下载频次】66
节点文献中: 

本文链接的文献网络图示:

本文的引文网络