We present an automated system repair framework for cyber-physical systems. The proposed framework consists of three main steps: (1) system simulation and fault detection to generate a labeled dataset, (2) identification of the repairable temporal properties leading to the faulty behavior and (3) repairing the system to avoid the occurrence of the cause identified in the second step. We express the cause as a past time signal temporal logic (ptSTL) formula and present an efficient monotonicity-based method to synthesize a ptSTL formula from a labeled dataset. Then, in the third step, we modify the faulty system by removing all behaviors that satisfy the ptSTL formula representing the cause of the fault. We apply the framework to two rich modeling formalisms: discrete-time dynamical systems and timed automata. For both of them, we define repairable formulae, the corresponding repair procedures, and illustrate them over case studies.

我们提出了一个用于网络物理系统的自动化系统修复框架。所提出的框架包括三个主要步骤：（1）系统模拟和故障检测以生成标记数据集，（2）识别导致故障行为的可修复时间属性以及（3）修复系统以避免发生故障第二步确定的原因。我们将原因表示为过去时间信号时序逻辑 (ptSTL) 公式，并提出了一种有效的基于单调性的方法来从标记数据集中合成 ptSTL 公式。然后，在第三步中，我们通过删除满足表示故障原因的 ptSTL 公式的所有行为来修改故障系统。我们将该框架应用于两种丰富的建模形式：离散时间动态系统和定时自动机。对他们俩来说，