基于指数条件的障碍证书生成用于混合系统安全验证

障碍证书是一种归纳不变函数，可用于混合系统的安全验证。基于障碍证书的安全验证避免了显式计算精确可达集，这对于非线性混合系统通常是棘手的。在本文中，我们提出了一种新的障碍证书条件，称为指数条件，用于半代数混合系统的安全验证。指数条件最重要的优点是它比现有的凸条件具有更低的保守性，同时具有凸性。一方面，保守性较低的障碍证书形成了可达集的更紧的过近似，因此能够验证关键的安全属性。另一方面，凸性保证了其可通过半定规划方法求解。给出了一些例子来说明我们方法的有效性和实用性。