Flowpipe approximation and clustering in space-time

DOI10.1145/2461328.2461361zbMath1362.93015OpenAlexW2024772987MaRDI QIDQ2986925

Rajat Kateja, Colas Le Guernic, Goran Frehse

Publication date: 16 May 2017

Published in: Proceedings of the 16th international conference on Hybrid systems: computation and control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2461328.2461361

zbMATH Keywords

verificationhybrid systemsreachabilitytools

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Attainable sets, reachability (93B03) Convex sets in (n) dimensions (including convex hypersurfaces) (52A20)

Related Items (12)

Verification of Hybrid Systems ⋮ Hybrid zonotopes: A new set representation for reachability analysis of mixed logical dynamical systems ⋮ Model checking HPnGs in multiple dimensions: representing state sets as convex polytopes ⋮ Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions ⋮ Reachability Analysis for Linear Systems with Uncertain Parameters using Polynomial Zonotopes ⋮ Rigorous Simulation-Based Analysis of Linear Hybrid Systems ⋮ Counterexample-Guided Refinement of Template Polyhedra ⋮ Efficient geometric operations on convex polyhedra, with an application to reachability analysis of hybrid systems ⋮ Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers ⋮ Adaptive reachability algorithms for nonlinear systems using abstraction error analysis ⋮ Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version) ⋮ Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro}

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A note on two problems in connexion with graphs
• Enhancing model checking in verification by AI techniques
• Receding horizon control for temporal logic specifications
• Model Repair for Probabilistic Systems
• Markov decision processes and regular events
• A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
• Controlling a Class of Nonlinear Systems on Rectangles
• Diagnostic Information for Realizability

This page was built for publication: Flowpipe approximation and clustering in space-time