Generating Invariants for Non-linear Hybrid Systems by Linear Algebraic Methods
No abstract available.
Related papers
- Non-linear reasoning for invariant synthesis POPL 2018
- Non-linear loop invariant generation using Gröbner bases POPL 2004
- A Logical Product Approach to Zonotope Intersection CAV 2010
- Synthesis for Polynomial Lasso Programs VMCAI 2014
- Polynomial invariant generation for non-deterministic recursive programs PLDI 2020
- Algebra-Based Synthesis of Loops and Their Invariants (Invited Paper) VMCAI 2021
- Nonlinear Craig Interpolant Generation CAV 2020
- Flow*: An Analyzer for Non-linear Hybrid Systems CAV 2013