Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro}

DOI10.1016/J.IC.2022.104945MaRDI QIDQ2105429zbMATH OpenOpenAlexFDO

Authors Stefan Schupp, Erika Ábrahám, Tristan Ebert

Publication date 8 December 2022

Published in Information and Computation (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1016/j.ic.2022.104945

zbMATH Keywords

hybrid systemsreachability analysisflowpipe construction

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Recommendations

• Hybrid Systems: Computation and Control
• \textsf{HHLPy}: practical verification of hybrid systems using Hoare logic
• Symbolic analysis of linear hybrid automata -- 25 years later
• scientific article; zbMATH DE number 1905118
• An introduction to the verification of hybrid systems using \textsc{Ariadne}

Cites work

• scientific article; zbMATH DE number 1303061 (Why is no real title available?)
• scientific article; zbMATH DE number 1956649 (Why is no real title available?)
• scientific article; zbMATH DE number 2085314 (Why is no real title available?)
• scientific article; zbMATH DE number 1444352 (Why is no real title available?)
• scientific article; zbMATH DE number 5263038 (Why is no real title available?)
• Efficient dynamic error reduction for hybrid systems reachability analysis
• Flowpipe approximation and clustering in space-time
• Hybrid Systems: Computation and Control
• Hybrid Systems: Computation and Control
• Hybrid Systems: Computation and Control
• Hybridization methods for the analysis of nonlinear systems
• Introduction to Interval Analysis
• JuliaReach
• KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description)
• Lectures on Polytopes
• NLTOOLBOX: A Library for Reachability Computation of Nonlinear Dynamical Systems
• Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe-construction
• Reachability analysis of linear systems using support functions
• Rigorous integration of flows and ODEs using Taylor models
• Rigorous simulation-based analysis of linear hybrid systems
• Simulation-equivalent reachability of large linear systems with inputs
• Spread the work: multi-threaded safety analysis for hybrid systems
• Symbolic Model Checking of Hybrid Systems Using Template Polyhedra
• The algorithmic analysis of hybrid systems
• Verification of deep convolutional neural networks using ImageStars
• What's decidable about hybrid automata?
• \texttt{SMT-RAT}: an open source \texttt{C++} toolbox for strategic and parallel SMT solving
• polymake: a framework for analyzing convex polytopes

Cited in

(6)

• scientific article; zbMATH DE number 1905118 (Why is no real title available?)
• KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description)
• Verifying industrial hybrid systems with \textsc{MathSAT}
• \textsf{HHLPy}: practical verification of hybrid systems using Hoare logic
• A computable and compositional semantics for hybrid systems
• HyPro

Describes a project that uses

Uses Software

• JuliaReach
• CORA
• dReach
• Flow*
• XSpeed
• C2e2
• SMT-RAT
• SpaceEx
• NLTOOLBOX
• HSolver
• PPL
• z3
• GLPK
• RSOLVER
• KeYmaera
• polymake
• gmp

This page was built for publication: Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro}

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