ReachabilityAnalysis.jl

ReachabilityAnalysis.jl copied to clipboard

mforets

Implement GLGM06 scheme without order reduction

3

see http://ljk.imag.fr/membres/Antoine.Girard/Publications/hscc2006a.pdf Algorithm 1.

mforets

- Kim, Edward, and Parasara Sridhar Duggirala. "Kaa: A Python Implementation of Reachable Set Computation Using Bernstein Polynomials." EPiC Series in Computing 74 (2020): 184-196.

mforets

Chen, Xin, Sriram Sankaranarayanan, and Erika Abrahám. "Flow* 1.2: More Effective to Play with Hybrid Systems." ARCH@ CPSWeek. 2015. - https://www.cs.colorado.edu/~xich8622/papers/arch15.pdf

mforets

Currently querying the support function of a TemplateReachSet is suboptimal because it recomputes instead of using the stored field sf. The difficulty is that the template directions dirs do not...

mforets

https://arxiv.org/pdf/1907.11514.pdf

mforets

ref notebook: https://nbviewer.jupyter.org/github/mforets/escritoire/blob/master/2020/Week43/Backwards_Linear.ipynb

mforets

- https://arxiv.org/pdf/1712.00369.pdf

mforets

Fixes #333.

mforets

```julia using ReachabilityModels, Plots prob = fetch_model("bouncing_ball") opts = fetch_meta("bouncing_ball")["opts"] Dict{Symbol,Any} with 5 entries: :T => 3.0 :alg => GLGM06{Float64,Forward{Val{:base},Val{:lazy},V… :clustering_method => ZonotopeClustering{Missing}(missing) :intersect_source_invariant => true :intersection_method => TemplateHullIntersection{Float64,SingleEntryVe… sol...

mforets