Characterizing Algebraic Invariants by Differential Radical Invariants
Abstract elided by the publisher.
Related papers
- Invariance of Conjunctions of Polynomial Equalities for Algebraic Differential Equations SAS 2014
- A Hierarchy of Proof Rules for Checking Differential Invariance of Algebraic Sets VMCAI 2015
- Computing Differential Invariants of Hybrid Systems as Fixedpoints CAV 2008
- Model Checking Polygonal Differential Inclusions Using Invariance Kernels VMCAI 2004
- Polynomial invariant generation for non-deterministic recursive programs PLDI 2020
- Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra SAS 2005
- Generating Invariants for Non-linear Hybrid Systems by Linear Algebraic Methods SAS 2010
- A Data Driven Approach for Algebraic Loop Invariants ESOP 2013