scientific article; zbMATH DE number 1956651
From MaRDI portal
Publication:4418865
zbMath1032.93518MaRDI QIDQ4418865
Publication date: 30 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2623/26230514.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (17)
Synthesizing invariant barrier certificates via difference-of-convex programming ⋮ Verification of Hybrid Systems ⋮ Pegasus: sound continuous invariant generation ⋮ Extracting counterexamples induced by safety violation in linear hybrid systems ⋮ Exact safety verification of hybrid systems using sums-of-squares representation ⋮ Some decidability results on one-pass reductions ⋮ A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications ⋮ Algebra, Coalgebra, and Minimization in Polynomial Differential Equations ⋮ Construction of parametric barrier functions for dynamical systems using interval analysis ⋮ Abstractions for hybrid systems ⋮ Constructing invariants for hybrid systems ⋮ Hybrid abstractions of affine systems ⋮ Symbolic Model Checking of Hybrid Systems Using Template Polyhedra ⋮ Applications of MetiTarski in the Verification of Control and Hybrid Systems ⋮ Tightened reachability constraints for the verification of linear hybrid systems ⋮ Differential dynamic logic for hybrid systems ⋮ Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming
This page was built for publication:
