Exact safety verification of hybrid systems using sums-of-squares representation

DOI10.1007/s11432-013-4961-zzbMath1343.93051arXiv1112.2328OpenAlexW2066257627MaRDI QIDQ893625

N. E. Zubov

Publication date: 20 November 2015

Published in: Science China. Information Sciences (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1112.2328

zbMATH Keywords

hybrid systemssemidefinite programmingsafety verificationinvariant generation

Mathematics Subject Classification ID

Semidefinite programming (90C22) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items (2)

Barrier certificates revisited ⋮ Synthesizing Switching Controllers for Hybrid Systems by Generating Invariants

Uses Software

• QEPCAD
• Sostools
• SeDuMi
• RSOLVER
• YALMIP
• Benchmarks
• DISCOVERER

Cites Work

• Unnamed Item
• Unnamed Item
• Exact certification in global polynomial optimization via sums-of-squares of rational functions with rational coefficients
• The algorithmic analysis of hybrid systems
• Computing differential invariants of hybrid systems as fixed points
• Differential dynamic logic for hybrid systems
• Input-to-state stability of switched nonlinear systems
• Constructing invariants for hybrid systems
• Generating invariants of hybrid systems via sums-of-squares of polynomials with rational coefficients
• Deductive Verification of Continuous Dynamical Systems
• Automatic invariant generation for hybrid systems using ideal fixed points
• Differential-algebraic Dynamic Logic for Differential-algebraic Programs
• Constraint-Based Approach for Analysis of Hybrid Systems
• The Image Computation Problem in Hybrid Systems Model Checking
• Morphisms for Non-trivial Non-linear Invariant Generation for Algebraic Hybrid Systems
• The Computational Complexity of Simultaneous Diophantine Approximation Problems
• Using SeDuMi 1.02, A Matlab toolbox for optimization over symmetric cones
• QEPCAD B
• Stability of linear discrete switched systems with delays based on average dwell time method
• Verification and synthesis using real quantifier elimination
• Computational techniques for hybrid system verification
• Hybrid Systems: Computation and Control
• Hybrid Systems: Computation and Control
• Hybrid Systems: Computation and Control
• Hybrid Systems: Computation and Control
• Symbolic reachability computation for families of linear vector fields

This page was built for publication: Exact safety verification of hybrid systems using sums-of-squares representation