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

DOI10.1016/J.IC.2022.104945OpenAlexW4286566378MaRDI QIDQ2105429FDOQ2105429

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

Publication date: 8 December 2022

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

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)

Cites Work

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

Cited In (5)

• Title not available (Why is that?)
• KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description)
• Verifying industrial hybrid systems with \textsc{MathSAT}
• A computable and compositional semantics for hybrid systems
• HyPro

Uses Software

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

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)