通过数值模拟证明动力系统的抽象化
摘要：建立在攻击下的严格分析中一个关键问题是确定被攻击系统是否与理想的允许行为显著偏离。这是判断理想系统是否是被攻击系统的抽象的问题。该问题的定量变体可以捕捉被攻击系统偏离理想系统的程度。因此，决策抽象关系的算法可以帮助衡量攻击对于网络物理系统的影响，并开发攻击检测策略。在本文中，我们提出了一个用于证明一个非线性动力系统是另一个动力系统的定量抽象的决策过程。在一般情况下，直接计算这些非线性系统的到达集是不可判定的，并且到达集的上估计不能直接证明抽象。我们的过程使用（可能不准确的）数值模拟和模型注释来计算系统的可观测行为的紧密近似，然后使用这些近似来决策抽象。我们证明了该过程的正确性，并在合理的鲁棒性假设下保证会终止。
作者：Sayan Mitra
论文ID：1401.1313
分类：Systems and Control
分类简称：cs.SY
提交时间：2014-01-08