Invariant sets are a key ingredient for verifying safety and other properties of cyber-physical systems that mix discrete and continuous dynamics. We adapt the elimination-theoretic Rosenfeld-Gr\"{o}bner algorithm to systematically obtain algebraic invariants of polynomial dynamical systems without using Gr\"{o}bner bases or quantifier elimination. We identify totally real varieties as an important class for efficient invariance checking.
翻译:变量组合是核查混合离散和连续动态的网络物理系统的安全和其他特性的一个关键要素。 我们调整了消除论罗森费尔德- Gr\"{ o}bner 算法, 系统获取多元动态系统的代数变量而不使用 Gr\"{ o}bner 基础或量化符。 我们确定完全真实的品种是有效差异检查的重要类别 。