混杂系统证伪的约束优化及其在合取综合中的应用
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
