双模函数的组合定理
摘要：复杂系统建模的标准工程方法非常组合式。为了能够理解（或控制）复杂动态系统的行为，通常需要将这个系统视为小型交互子系统的互连，每个子系统都有其自己的功能。在本文中，我们提出了一种对动态系统计算双模拟函数的组合方法。双模拟函数是经典双模拟关系的定量推广。它们已被证明对于基于模拟的验证或计算动态系统的近似符号抽象非常有用。在这个技术说明中，我们提出了一个构造性的结果，用于合并双模拟函数。对于由多个互相连接的子系统组成的复杂动态系统，它允许我们从已知每个子系统上的双模拟函数的信息中计算出一个双模拟函数。
作者：Antoine Girard
论文ID：1304.5153
分类：Systems and Control
分类简称：cs.SY
提交时间：2013-07-01