Skip to content

Instantly share code, notes, and snippets.

View mforets's full-sized avatar
🏠
Working from home

Marcelo Forets mforets

🏠
Working from home
74 followers · 9 following
View GitHub Profile
@mforets
mforets / ARCH-NLN-2019
Last active March 24, 2019 20:14
ARCH-NLN-2019
julia> include("models/ARCH/NLN/ARCH-COMP_2019.jl")
(1/1) benchmarking "VanDerPol"...
(1/1) benchmarking "x[2] <= 2.75"...
done (took 6.03903839 seconds)
done (took 6.698203436 seconds)
minimum time for each benchmark:
1-element BenchmarkTools.BenchmarkGroup:
tags: []
"VanDerPol" => 1-element BenchmarkTools.BenchmarkGroup:
tags: []
@mforets
mforets / ARCH-AFF
Last active March 24, 2019 11:03
julia> include("models/ARCH/AFF/ARCH-COMP_2019.jl")
[ Info: Recompiling stale cache file /Users/forets/.julia/compiled/v1.1/Reachability/CHV4V.ji for Reachability [774a0091-654f-5c65-bbdc-ad5b67b45832]
Computing successors 100%|██████████████████████████████| Time: 0:00:04
Computing successors 100%|██████████████████████████████| Time: 0:00:02
Computing successors 100%|██████████████████████████████| Time: 0:00:02
Computing successors 100%|██████████████████████████████| Time: 0:00:02
Computing successors 100%|██████████████████████████████| Time: 0:00:02
(1/1) benchmarking "ISS"...
(1/8) benchmarking ("ISU01", "dense")...
@mforets
mforets / intersectionCPA.md
Last active February 4, 2019 16:24
intersection of CPA and unbdd set 
function intersection(X::CartesianProductArray{N},
                      Y::AbstractPolyhedron{N}) where {N}

    # preallocate the resulting CartesianProductArray with size hint
    result = CartesianProductArray(length(X), N)

    if isbounded(Y)
        # no free variables
 free_variables = []
@mforets
mforets / results_FO.md
Last active February 18, 2019 11:43
Results RE Filtered Oscillator

LazySet master, Reachability master

julia> include("models/HSCC2019/re_hscc.jl")
[warn | Reachability]: Several option aliases were used for aliases Symbol[:check_invariant_intersection].
[warn | Reachability]: Several option aliases were used for aliases Symbol[:overapproximation].
[warn | Reachability]: Several option aliases were used for aliases Symbol[:lazy_R⋂I].
[warn | Reachability]: Several option aliases were used for aliases Symbol[:lazy_R⋂G].
[warn | Reachability]: Several option aliases were used for aliases Symbol[:lazy_A⌜R⋂G⌟⋂I].
warm-up runs
@mforets
mforets / results.md
Last active February 20, 2019 14:16
ARCH2018_RE_AFF

Benchmark Report for ARCH2018_RE

Job Properties

  • Time of benchmark: 18 Jan 2019 - 8:34
  • Package commit: dirty
  • Julia commit: 980eda
  • Julia command flags: None
  • Environment variables: None

Results

@mforets
mforets / bibliography.bib
Created November 16, 2018 14:17
bibliography
@inproceedings{ARCH18:nonlinear,
author = {Fabian Immler and Matthias Althoff and Xin Chen and Chuchu Fan and Goran Frehse and Niklas Kochdumper and Yangge Li and Sayan Mitra and Mahendra Singh Tomar and Majid Zamani},
title = {ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics},
booktitle = {ARCH18},
@volume = {54},
pages = {53--70},
year = {2018},
@publisher = {EasyChair},
@url = {https://easychair.org/publications/paper/gjfh},
@doi = {10.29007/mskf}
@mforets
mforets / expm_bench.md
Last active November 12, 2018 22:26
expmv and expv benchs 
julia> versioninfo()
Julia Version 0.7.0
Commit a4cb80f3ed (2018-08-08 06:46 UTC)
Platform Info:
  OS: macOS (x86_64-apple-darwin14.5.0)
  CPU: Intel(R) Core(TM) i7-4770HQ CPU @ 2.20GHz
  WORD_SIZE: 64
  LIBM: libopenlibm
  LLVM: libLLVM-6.0.0 (ORCJIT, haswell)
@mforets
mforets / gist:b3c841f974f3d8325b6608511a2513fc
Last active November 10, 2018 21:21
giTips

How to checkout a branch from a fork

$ git ls-remote --refs origin
0b3fd8db7f46c08920ba2071e1fd54ab3d8b156b        refs/heads/binder_no_glpk
122b696148bd24d0dbfa8c74067d51c4dd480831        refs/heads/gh-pages
...
92042c569369aa88179354cf62561fba169141c6        refs/pull/610/head
585743f6c5ba7456bc4b08026f14cbd4dfa84527        refs/pull/610/merge
67426ec1375627f7c2e28d9767301383b67173ba refs/tags/v1.4.0
@mforets
mforets / benchs_chbv.md
Last active October 27, 2017 09:50
Benchmark of chbv.jl implementations

see PR #16 in Expokit.jl.

data

the different implementations were tested on a fixed set of 8 hermitian negative semidefinite matrices the were randomly generated. the MAT file is available here.

the functions to generate the matrices were:




  


  





    


          
    

      

        
        

          

              @mforets
          

          

            
                mforets
                / julia.py
            
            

              Created
              August 23, 2017 16:22
            

              
                Sagemath interface to Julia interpreter
              
          

        

      

        


      

    
    


        



  


  

        

          
          r"""
        

        

          
          Interface to Julia interpreter.
        

        

          
          

        

        

          
          Julia is a high-level, high-performance dynamic programming language for
        

        

          
          numerical computing, see the official website <JuliaLang https://julialang.org/>_
        

        

          
          for installation and further information.
        

        

          
          

        

        

          
          The commands in this section only work if you have "julia" installed and
        

        

          
          available in your PATH. It's not necessary to install any special Sage packages.