Automated Machine-Checked Hybrid System Safety Proofs

DOI10.1007/978-3-642-14052-5_19MaRDI QIDQ5747654zbMATH OpenOpenAlexFDO

Authors Herman Geuvers, Adam Koprowski, Dan Synek, Eelis van der Weegen

Publication date 14 September 2010

Published in Interactive Theorem Proving (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-14052-5_19

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Hybrid tools for hybrid systems -- proving stability and safety at once
• Safety verification for probabilistic hybrid systems
• Hybrid Systems: Computation and Control
• Verification of Hybrid Systems
• Exact safety verification of hybrid systems using sums-of-squares representation
• Automatic Verification of Hybrid Systems with Large Discrete State Space

Cited in

(3)

• Classical mathematics for a constructive world
• Reaching out towards fully verified autonomous systems
• ROSCoq: robots powered by constructive reals

Describes a project that uses

Uses Software

• HSolver
• C-CoRN
• Benchmarks
• RSOLVER
• PHAVer
• Coq

This page was built for publication: Automated Machine-Checked Hybrid System Safety Proofs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5747654)