流管道近似相关论文
在混合系统中,离散事件和连续动态行为相互作用的特性使得系统开发的正确性难以保证,尤其对于安全悠关的系统,如电力系统和化工系......
混合系统理论是控制工程理论与计算机科学验证交叉的学科领域。混合系统理论主要涉及到有限自动机表示的离散状态与微分方程表示的......
混合系统的形式验证中,确定近似商迁移系统的迁移关系,需要计算系统初始区域的可达集的流管道近似.针对非线性系统可达集近似计算......
