ParaPlan: a tool for parallel reachability analysis of planar polygonal differential inclusion systems
zbMATH Open1483.68205arXiv1709.02108MaRDI QIDQ3384178FDOQ3384178
Authors: Andrei Sandler, Olga Tveretina 
Publication date: 14 December 2021
Full work available at URL: https://arxiv.org/abs/1709.02108
Recommendations
- A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems
- Algorithmic analysis of polygonal hybrid systems. II: Phase portrait and tools
- Reachability analysis of non-linear planar autonomous systems
- Reachability Analysis Using Polygonal Projections
- scientific article; zbMATH DE number 1905117
Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Ordinary differential inclusions (34A60) Specification and verification (program logics, model checking, etc.) (68Q60) Attainable sets, reachability (93B03) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Cites Work
- KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description)
- Title not available (Why is that?)
- Hybrid Systems: Computation and Control
- What's decidable about hybrid automata?
- Reachability analysis of dynamical systems having piecewise-constant derivatives
- Algorithmic analysis of polygonal hybrid systems. I: Reachability
- Title not available (Why is that?)
- Enumeration of the Elementary Circuits of a Directed Graph
- Hybrid Systems: Computation and Control
- A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems
- Algorithmic analysis of polygonal hybrid systems. II: Phase portrait and tools
- Relaxing Goodness Is Still Good
Cited In (2)
Uses Software
This page was built for publication: ParaPlan: a tool for parallel reachability analysis of planar polygonal differential inclusion systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3384178)
