Differential Elimination and Algebraic Invariants of Polynomial Dynamical Systems
Abstract
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\"obner algorithm to systematically obtain algebraic invariants of polynomial dynamical systems without using Gr\"obner bases or quantifier elimination. We identify totally real varieties as an important class for efficient invariance checking.
0
Turn this paper into a lesson
ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.