Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro}
type: Item
instance of: scholarly article
title: Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro}
author: Stefan Schupp
author: Erika Ábrahám
author: Tristan Ebert
published in: Information and Computation
publication date: 2022-12-08T00:00:00Z
Mathematics Subject Classification ID: 68Qxx
zbMATH DE Number: 7629138
zbMATH Keywords: hybrid systems
zbMATH Keywords: reachability analysis
zbMATH Keywords: flowpipe construction
describes a project that uses: SpaceEx
describes a project that uses: GLPK
describes a project that uses: z3
describes a project that uses: JuliaReach
describes a project that uses: SMT-RAT
describes a project that uses: polymake
describes a project that uses: NLTOOLBOX
describes a project that uses: HSolver
describes a project that uses: PPL
describes a project that uses: gmp
describes a project that uses: C2e2
describes a project that uses: XSpeed
describes a project that uses: Flow*
describes a project that uses: dReach
describes a project that uses: CORA
describes a project that uses: KeYmaera
describes a project that uses: RSOLVER
MaRDI profile type: Publication
full work available at URL: j.ic.2022.104945
OpenAlex ID: W4286566378
cites work: KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description)
cites work: Hybrid Systems: Computation and Control
cites work: NLTOOLBOX: A Library for Reachability Computation of Nonlinear Dynamical Systems
cites work: Hybridization methods for the analysis of nonlinear systems
cites work: Q4736572
cites work: Simulation-equivalent reachability of large linear systems with inputs
cites work: JuliaReach
cites work: What's decidable about hybrid automata?
cites work: Introduction to Interval Analysis
cites work: Q4418863
cites work: Lectures on Polytopes
cites work: Symbolic Model Checking of Hybrid Systems Using Template Polyhedra
cites work: Q4249563
cites work: Q4953393
cites work: Reachability analysis of linear systems using support functions
cites work: Rigorous integration of flows and ODEs using taylor models
cites work: Q5457277
cites work: SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving
cites work: polymake: a framework for analyzing convex polytopes
cites work: Rigorous Simulation-Based Analysis of Linear Hybrid Systems
cites work: Verification of deep convolutional neural networks using ImageStars
cites work: Flowpipe approximation and clustering in space-time
cites work: The algorithmic analysis of hybrid systems
cites work: Efficient dynamic error reduction for hybrid systems reachability analysis
cites work: Spread the work: multi-threaded safety analysis for hybrid systems
cites work: Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe-construction
DOI: 10.1016/J.IC.2022.104945
description: scientific article; zbMATH DE number 7629138