Parallelotope Bundles for Polynomial Reachability

DOI10.1145/2883817.2883838zbMath1364.93145OpenAlexW2336607923MaRDI QIDQ2988996

Carla Piazza, Thao Dang, Tommaso Dreossi

Publication date: 19 May 2017

Published in: Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)

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

zbMATH Keywords

reachabilitydynamical systempolytopeparallelotope bundle

Mathematics Subject Classification ID

Algebraic methods (93B25) Attainable sets, reachability (93B03)

Related Items (4)

Automatic dynamic parallelotope bundles for reachability analysis of nonlinear systems ⋮ Effective hybrid system falsification using Monte Carlo tree search guided by QB-robustness ⋮ Solving invariant generation for unsolvable loops ⋮ Counterexample-Guided Refinement of Template Polyhedra

This page was built for publication: Parallelotope Bundles for Polynomial Reachability