Differential Elimination and Algebraic Invariants of Polynomial Dynamical Systems

William Simmons, André Platzer

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-theoreti…