Constraint-Based Approach for Analysis of Hybrid Systems
From MaRDI portal
Publication:3512493
DOI10.1007/978-3-540-70545-1_18zbMath1155.68437OpenAlexW1523211942MaRDI QIDQ3512493
Sumit Gulwani, Ashish Kumar Tiwari
Publication date: 15 July 2008
Published in: Computer Aided Verification (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-70545-1_18
Related Items (28)
Synthesizing invariant barrier certificates via difference-of-convex programming ⋮ Combining Model Checking and Data-Flow Analysis ⋮ Verification of Hybrid Systems ⋮ Pegasus: sound continuous invariant generation ⋮ Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems ⋮ A compositional modelling and verification framework for stochastic hybrid systems ⋮ Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration ⋮ Exact safety verification of hybrid systems using sums-of-squares representation ⋮ 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 survey of some methods for real quantifier elimination, decision, and satisfiability and their applications ⋮ Abstractions Refinement for Hybrid Systems Diagnosability Analysis ⋮ Finite abstractions for hybrid systems with stable continuous dynamics ⋮ Discovering polynomial Lyapunov functions for continuous dynamical systems ⋮ Barrier certificates revisited ⋮ Construction of parametric barrier functions for dynamical systems using interval analysis ⋮ A search-based procedure for nonlinear real arithmetic ⋮ Geometric Quantifier Elimination Heuristics for Automatically Generating Octagonal and Max-plus Invariants ⋮ Hierarchical Reasoning for the Verification of Parametric Systems ⋮ Solving Non-linear Polynomial Arithmetic via SAT Modulo Linear Arithmetic ⋮ Generalized homogeneous polynomials for efficient template-based nonlinear invariant synthesis ⋮ Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration ⋮ Proving Termination of Integer Term Rewriting ⋮ Computing differential invariants of hybrid systems as fixed points ⋮ Synthesizing Switching Controllers for Hybrid Systems by Generating Invariants ⋮ Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants ⋮ Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming ⋮ Generating invariants for non-linear hybrid systems
Uses Software
This page was built for publication: Constraint-Based Approach for Analysis of Hybrid Systems
