Computing differential invariants of hybrid systems as fixed points
type: Item
instance of: scholarly article
title: Computing differential invariants of hybrid systems as fixed points
zbMATH Open document ID: 1180.93024
author: André Platzer
author: Edmund Clarke
published in: Formal Methods in System Design
publication date: 2009-11-23T00:00:00Z
Mathematics Subject Classification ID: 93B11
Mathematics Subject Classification ID: 47N10
zbMATH DE Number: 5637104
zbMATH Keywords: verification of hybrid systems
zbMATH Keywords: differential invariants
zbMATH Keywords: verification logic
zbMATH Keywords: fixed point engine
describes a project that uses: QEPCAD
describes a project that uses: PHAVer
describes a project that uses: HyTech
describes a project that uses: KeYmaera
MaRDI profile type: Publication
full work available at URL: s10703-009-0079-8
OpenAlex ID: W2106606898
cites work: Q4552457
cites work: Q4417974
cites work: Computational techniques for hybrid system verification
cites work: Program invariants as fixedpoints
cites work: Partial cylindrical algebraic decomposition for quantifier elimination
cites work: Verification of cooperating traffic agents
cites work: Automated Technology for Verification and Analysis
cites work: Systematic Simulation Using Sensitivity Analysis
cites work: Q4945221
cites work: Hybrid Systems: Computation and Control
cites work: Constraint-Based Approach for Analysis of Hybrid Systems
cites work: Q4525781
cites work: HyTech: A model checker for hybrid systems
cites work: Semidefinite programming relaxations for semialgebraic problems
cites work: Computer Aided Verification
cites work: Differential dynamic logic for hybrid systems
cites work: The Image Computation Problem in Hybrid Systems Model Checking
cites work: Computing Differential Invariants of Hybrid Systems as Fixedpoints
cites work: KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description)
cites work: A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
cites work: Conflict resolution for air traffic management: a study in multiagent hybrid systems
DOI: 10.1007/S10703-009-0079-8
description: scientific article; zbMATH DE number 5637104