Computing differential invariants of hybrid systems as fixed points

DOI10.1007/s10703-009-0079-8zbMath1180.93024OpenAlexW2106606898MaRDI QIDQ1039853

André Platzer, Edmund M. Clarke

Publication date: 23 November 2009

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10703-009-0079-8

zbMATH Keywords

differential invariantsfixed point engineverification logicverification of hybrid systems

Mathematics Subject Classification ID

System structure simplification (93B11) Applications of operator theory in optimization, convex analysis, mathematical programming, economics (47N10)

Related Items (10)

Implicit semi-algebraic abstraction for polynomial dynamical systems ⋮ Verification of Hybrid Systems ⋮ Pegasus: sound continuous invariant generation ⋮ Bellerophon: tactical theorem proving for hybrid systems ⋮ 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 ⋮ Change-of-bases abstractions for non-linear hybrid systems ⋮ Finite abstractions for hybrid systems with stable continuous dynamics ⋮ Barrier certificates revisited ⋮ Vector barrier certificates and comparison systems

Uses Software

• QEPCAD
• KeYmaera
• PHAVer
• HyTech

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Differential dynamic logic for hybrid systems
• Partial cylindrical algebraic decomposition for quantifier elimination
• Program invariants as fixedpoints
• Semidefinite programming relaxations for semialgebraic problems
• HyTech: A model checker for hybrid systems
• Verification of cooperating traffic agents
• Computing Differential Invariants of Hybrid Systems as Fixedpoints
• Constraint-Based Approach for Analysis of Hybrid Systems
• KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description)
• Systematic Simulation Using Sensitivity Analysis
• The Image Computation Problem in Hybrid Systems Model Checking
• Conflict resolution for air traffic management: a study in multiagent hybrid systems
• Computational techniques for hybrid system verification
• A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
• Hybrid Systems: Computation and Control
• Hybrid Systems: Computation and Control
• Automated Technology for Verification and Analysis
• Hybrid Systems: Computation and Control
• Hybrid Systems: Computation and Control
• Hybrid Systems: Computation and Control
• Computer Aided Verification

This page was built for publication: Computing differential invariants of hybrid systems as fixed points