Generating Invariants for Non-linear Hybrid Systems by Linear Algebraic Methods

DOI10.1007/978-3-642-15769-1_23zbMath1306.68101OpenAlexW1585927874MaRDI QIDQ4930740

Rachid Rebiha, Nadir Matringe, Arnaldo Vieira Moura

Publication date: 1 October 2010

Published in: Static Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-15769-1_23

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Algebraic theory of languages and automata (68Q70)

Related Items (7)

Verification of Hybrid Systems ⋮ Adaptive parameter tuning for reachability analysis of nonlinear systems ⋮ Synthesizing ReLU neural networks with two hidden layers as barrier certificates for hybrid systems ⋮ Generating invariants for non-linear loops by linear algebraic methods ⋮ A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets ⋮ A search-based procedure for nonlinear real arithmetic ⋮ Generating invariants for non-linear hybrid systems

This page was built for publication: Generating Invariants for Non-linear Hybrid Systems by Linear Algebraic Methods