portrait的精选知识

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

• 全部作者：刘保罗裴海龙张胜祥李坚强第1作者单位：华南理工大学自动化科学与工程学院论文摘要：抽象近似是验证混合系统安全性的.主要方法，模型转换是构造1个可判定的（或半判定的）混合自动机来近似原混合自动机。本文将线性phase-portrait近似推广到多项式phase-portrait近似，叙述...
• 01-3017289

• 定性推理在矩形phase-portrait近似中的应用

• 全部作者：刘保罗裴海龙李坚强第1作者单位：华南理工大学自动化科学与工程学院论文摘要：抽象近似是验证混合系统安全性的主要方法，矩形phase-portrait近似是通过构造简单的'线性混合自动机来近似原混合自动机。phase-portrait近似的关键步骤是如何划分状态空间，本文采用定性推...
• 04-2714691