Flowpipe approximation and clustering in space-time

DOI10.1145/2461328.2461361MaRDI QIDQ2986925zbMATH OpenOpenAlexFDO

Authors Goran Frehse, Rajat Kateja, Colas Le Guernic

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

verificationtoolshybrid systemsreachability

Mathematics Subject Classification ID

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

Recommendations

• A dynamic algorithm for approximate flow computations
• Reachable set over-approximation for nonlinear systems using piecewise barrier tubes
• Space-time interpolants
• Inner approximated reachability analysis
• Reachability computation for polynomial dynamical systems

Cites work

• scientific article; zbMATH DE number 5595151 (Why is no real title available?)
• scientific article; zbMATH DE number 2080065 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
• A note on two problems in connexion with graphs
• Controlling a Class of Nonlinear Systems on Rectangles
• Diagnostic Information for Realizability
• Enhancing model checking in verification by AI techniques
• Markov decision processes and regular events
• Model repair for probabilistic systems
• Receding horizon control for temporal logic specifications

Cited in

(16)

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

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

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