量词消去论文

混合系统的算法分析
论文摘要混合系统(HybridSystem)能够有效地捕获嵌入式系统中离散和连续成分之间的动态交互作用。它架起了计算机科学、控制工程和数学之间的桥梁,为嵌入式系统提供了形式化的...