• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>IFAC PapersOnLine >Constrained Optimization for Hybrid System Falsification and Application to Conjunctive Synthesis
【24h】

Constrained Optimization for Hybrid System Falsification and Application to Conjunctive Synthesis

机译：混合系统的约束优化伪造与结合合成的应用

获取原文
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

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 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.
机译：网络物理系统（CPS）的合成问题是找到一个输入信号，在该输入信号下，系统的行为满足给定规范。我们的环境是该规范是信号时间逻辑的公式，而且，规范是不同且经常相互冲突的需求的结合。结合合成通常是挑战的优化的伪造 - 一种既定的CPS分析方法，也可以用于综合 - 由于通常的框架（特别是其强大的语义处理布尔连接方式）不适合在不同之间找到微妙的权衡要求。我们所提出的方法包括基于优化的伪造和约束优化的组合。具体地，我们表明，最先进的多个约束排名方法可以与由CMA-ES优化提供的伪造;其在实验中证明了其联合合成的性能优势。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号