流管道近似相关论文
该文所有论述均围绕着解决具有复杂连续动态混合系统的形式验证这个主题而展开,以解决验证中复杂连续动态的离散近所存在的困难为......
混合系统的形式验证方法是从理论计算机科学中发展而来,是混合系统研究的一个热点和难点.该文所有论述均围绕着解决混合系统的形式......
在混合系统中,离散事件和连续动态行为相互作用的特性使得系统开发的正确性难以保证,尤其对于安全悠关的系统,如电力系统和化工系......
混合系统理论是控制工程理论与计算机科学验证交叉的学科领域。混合系统理论主要涉及到有限自动机表示的离散状态与微分方程表示的......
混合系统的形式验证中,确定近似商迁移系统的迁移关系,需要计算系统初始区域的可达集的流管道近似.针对非线性系统可达集近似计算......
