Computing differential invariants of hybrid systems as fixed points
From MaRDI portal
Publication:1039853
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
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
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
