基于仿真的混合动态系统安全性证书计算
系统与控制
2018-10-23 v6 计算机科学中的逻辑
摘要
在本文中，我们提出一种用于合成混合动态系统安全性证书——即所谓的障碍证书（barrier certificates）——的算法。与使用约束求解器从系统动力学计算证书的常规方法不同，我们从系统仿真中合成证书。这使得该算法即使在动力学未明确可用或过于复杂而无法由约束求解器分析（例如由于存在超越函数符号）的情况下也适用。该算法本身允许使用启发式技术，此时它不正式保证结果的正确性。然而，在允许严格约束求解的情况下，计算得到的障碍证书可以被严格验证（如果需要）。因此，在此类情况下，我们的算法将寻找障碍证书的问题简化为正式验证给定障碍证书的问题。
引用
@article{arxiv.1707.00879,
title = {Simulation Based Computation of Certificates for Safety of Hybrid Dynamical Systems},
author = {Stefan Ratschan},
journal= {arXiv preprint arXiv:1707.00879},
year = {2018}
}