论文标题
对混合系统伪造和应用于结合合成的应用的优化受限
Constrained Optimization for Hybrid System Falsification and Application to Conjunctive Synthesis
论文作者
论文摘要
网络物理系统（CPS）的综合问题是找到一个输入信号，在该信号下，该系统的行为满足给定的规范。我们的设置是规范是信号时间逻辑的一个公式，此外，规范是不同且通常是相互矛盾的要求的结合。结合性规范通常在基于优化的伪造方面具有挑战性 - 一种已建立的CPS分析方法，也可以用于合成 - 因为通常的框架（尤其是其稳健语义如何处理布尔连接剂）不适合在不同要求之间找到微妙的权衡。我们提出的方法包括基于优化的伪造和约束优化的组合。具体而言，我们表明，最新的多个约束排名方法可以与由CMA-ES优化驱动的伪造结合；在实验中证明了其性能优势。
The synthesis problem of a cyber-physical system (CPS) is to find an input signal under which the system's behavior satisfies a given specification. Our setting is that the specification is a formula of signal temporal logic, and furthermore, that the specification is a conjunction of different and often conflicting requirements. Conjunctive specifications are often challenging for optimization-based falsification -- an established method for CPS analysis that can also be used for synthesis -- since the usual framework (especially how its robust semantics handles Boolean connectives) is not suited for finding delicate trade-offs between different requirements. Our proposed method consists of the combination of optimization-based falsification and constrained optimization. Specifically, we show that the state-of-the-art multiple constraint ranking method can be combined with falsification powered by CMA-ES optimization; its performance advantage is demonstrated in experiments.
