文章基本信息

标题：Constrained Optimization for Hybrid System Falsification and Application to Conjunctive Synthesis
本地全文：下载
作者：Sota Sato ; Masaki Waga ; Ichiro Hasuo 等
期刊名称：IFAC PapersOnLine
印刷版ISSN：2405-8963
出版年度：2021
卷号：54
期号：5
页码：217-222
DOI：10.1016/j.ifacol.2021.08.501
语种：English
出版社：Elsevier
摘要：AbstractThe 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 synthesis is 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 a 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 for conjunctive synthesis is demonstrated in experiments.
关键词：Keywordscontrol system synthesiscyber-physical systemconstrained optimizationevolutionary algorithmtemporal logichybrid system falsificationsearch-based testing