随机混合系统的自动验证与综合：综述
计算机科学中的逻辑
2022-03-11 v2 系统与控制
系统与控制
摘要
随机混合系统作为一种描述众多系统（从工程到生命科学）的相关建模框架已受到显著关注：它们使得对大量应用的研究成为可能，包括交通网络、生物系统、化学反应网络、智能能源与电网等。随机混合系统的自动验证与策略综合 inherently 具有挑战性：这源于其动态的异质性（连续与离散分量并存）、不确定性的存在，以及某些应用中状态与输入集合的大维度。过去几年中，数百篇文章研究了这些模型，并发展了多样而强大的方法以缓解此类复杂随机系统分析与综合中遇到的困难。本综述概述文献中最新结果并讨论不同方法，包括（有）限抽象、时序逻辑规范下的验证与综合、随机相似关系、（控制）障碍证书、组合技术，以及关于连续时间随机系统的一组精选结果；我们最后综述了近期开发的实现上述方法的软件工具。全文我们讨论若干开放课题以作为潜在未来研究方向：希望本综述能引导年轻研究者全面理解这一引人入胜且丰富的科学领域中的各类挑战、工具与解决方案。
引用
@article{arxiv.2101.07491,
title = {Automated Verification and Synthesis of Stochastic Hybrid Systems: A Survey},
author = {Abolfazl Lavaei and Sadegh Soudjani and Alessandro Abate and Majid Zamani},
journal= {arXiv preprint arXiv:2101.07491},
year = {2022}
}