mforets

using Plots, BenchmarkTools, StaticArrays
using Revise, ReachabilityAnalysis
const RA = ReachabilityAnalysis
include("/home/mforets/.julia/dev/ReachabilityAnalysis/test/models/hybrid/embrake.jl")
LazySets.deactivate_assertions()

function LazySets.diameter(R::ReachabilityAnalysis.AbstractLazyReachSet; vars::Int)
    overapproximate(project(R, vars=vars), Interval) |> set |> diameter
end

mforets

no pv, no jitter, delta = 1e-7, GLGM06

first_in = findfirst((X->begin
                #= In[14]:11 =#
                set(X) ⊆ P
            end), vsol.Xk) = 888783
all((X->begin
            #= In[14]:14 =#
            set(X) ⊆ P

mforets

```julia
using Plots, BenchmarkTools
using Revise, ReachabilityAnalysis
include("/home/mforets/.julia/dev/ReachabilityAnalysis/test/models/hybrid/embrake.jl")
LazySets.deactivate_assertions()
```

## No pv no jitter

```

mforets

set terminal postscript enhanced color
set output './images/ltv_test.eps'
set style line 1 linecolor rgb "blue"
set autoscale
unset label
set xtic auto
set ytic auto
set xlabel "x"
set ylabel "y"
plot '-' notitle with lines ls 1

mforets

```julia
              _
   _       _ _(_)_     |  Documentation: https://docs.julialang.org
  (_)     | (_) (_)    |
   _ _   _| |_  __ _   |  Type "?" for help, "]?" for Pkg help.
  | | | | | | |/ _` |  |
  | | |_| | | | (_| |  |  Version 1.4.0 (2020-03-21)
 _/ |\__'_|_|_|\__'_|  |  Official https://julialang.org/ release
|__/                   |

mforets

Powershell

• https://www.faqforge.com/powershell/how-to-copy-and-paste-on-powershell-in-windows-10/

List the PATH in PowerShell

See https://www.build-business-websites.co.uk/set-path-environment-variable-windows-powershell/

(Get-ItemProperty -Path 'Registry::HKEY_LOCAL_MACHINE\System\CurrentControlSet\Control\Session Manager\Environment' -Name PATH).Path

mforets

Getting the software

First download Flow*, https://flowstar.org/dowloads/

At the time of writing the latest release is v2.1.0 from march 2017.

The following installation instructions were tested on a Dell 9575 laptop running Fedora 31.

Installing the dependencies

mforets

# paste this script on your .julia/dev/LazySets/test folder

using Revise, LazySets, Test
using LazySets: ispermutation
using LazySets.Arrays
using SparseArrays
using LinearAlgebra
using Polyhedra, CDDLib
using LazySets: dim, Interval, translate, volume, HalfSpace, project
test_suite_polyhedra = true

mforets

- https://www.anii.org.uy/apoyos/investigacion/25/investigacion-y-desarrollo-en-matematica/

mforets

# =====================================
# Version using MacroTools + SymEngine
# =====================================

using IntervalMatrices
using SymEngine
using MacroTools: postwalk

subidx(i) = join(Char.(0x2080 .+ convert.(UInt16, digits(i)[end:-1:1])))