scientific article; zbMATH DE number 1956651

zbMath1032.93518MaRDI QIDQ4418865

Ashish Kumar Tiwari

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.

Mathematics Subject Classification ID

Linear systems in control theory (93C05)

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: