Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Activity
  • May 11 20:45
    castrong commented #2686
  • May 11 18:59
    mforets commented #2668
  • May 11 18:57
    mforets commented #2668
  • May 11 15:23

    mforets on gh-pages

    build based on 0dfa372 (compare)

  • May 11 15:10

    github-actions[bot] on gh-pages

    delete history (compare)

  • May 11 15:10

    schillic on tmax_sim

    (compare)

  • May 11 15:10

    schillic on master

    allow T that is not a multiple … Merge pull request #150 from Ju… (compare)

  • May 11 15:10
    schillic closed #150
  • May 11 14:30

    mforets on gh-pages

    build based on dc3d14f (compare)

  • May 11 14:21

    schillic on 122

    (compare)

  • May 11 14:21
    schillic closed #126
  • May 11 14:21
    schillic closed #122
  • May 11 14:21
    schillic commented #122
  • May 11 14:20
    schillic review_requested #150
  • May 11 14:20

    mforets on gh-pages

    build based on e9929ca (compare)

  • May 11 14:14
    schillic synchronize #126
  • May 11 14:14

    schillic on 122

    add test context for #122 (compare)

  • May 11 14:08

    mforets on gh-pages

    build based on 75ab703 (compare)

  • May 11 14:06
    schillic opened #150
  • May 11 14:05

    schillic on tmax_sim

    allow T that is not a multiple … (compare)

Marcelo Forets
@mforets
:thumbsup: LazySets does not use traits, but we have planned to do so for extending the type hierarchy with sets representations which are not convex
Marcelo Forets
@mforets
what is a good way to write a list of equations with documenter?
it uses aligned
Marcelo Forets
@mforets
Christian Schilling
@schillic
:+1:
Marcelo Forets
@mforets
FYI yesterday I added some mathematical details on LGG09 algorithm : https://juliareach.github.io/ReachabilityAnalysis.jl/dev/lib/algorithms/LGG09/#Homogeneous-case-1
Marcelo Forets
@mforets
Christian Schilling
@schillic
:+1:
Peng Yu
@yupbank
image.png
hello firends, wondering if i get some help around understanding this operation
Marcelo Forets
@mforets
hi
Peng Yu
@yupbank

For a discrete set GRnG \subset \mathbb{R}^n .
It is testing condition: zG\forall z \in G if zz spans a ray of cone(G)\operatorname{cone}(G).

Isn't it always true for all elements of GG ?

Marcelo Forets
@mforets
im not familiar with all the details of the paper (i think we have it referenced in a LazySets issue, but the method hasn't been implemented)
i see that line 8 comes from applying Proposition 4.3
what is ξ(x)\xi(x) by the way
it is the subset of GG that sums to xx
Peng Yu
@yupbank
yeah, in the every first iteration, it would be \emptyset
it’s picking yx+Gy \in x+G and then test yxy-x, which can be simiplified into zG z \in G and then test zz
Christian Schilling
@schillic
Marcelo Forets
@mforets
interesting, thx
. The ultimate goal is to scale up to large NeuralODE controllers for complicated CPS or biological tasks
i think there are some Julia people interested in these topics
Marcelo Forets
@mforets
theyseem to consider only singleton initial conditions?
Christian Schilling
@schillic
i haven't checked it. could be
Marcelo Forets
@mforets
nice thing is that we have almost every model in the benchmark already in Julia
Christian Schilling
@schillic
:)
Marcelo Forets
@mforets
r: initial radius in each dimension
that should be the specification of X0 around the points in the Appendix
im surprised that some of the results of Flow* are so coarse
Screenshot from 2020-12-18 08-30-04.png
that's what i get for the Brusselator example in their setting
Christian Schilling
@schillic
with Flow*?
Marcelo Forets
@mforets
with JuliaReach
but i mean, compare it with
Screenshot from 2020-12-18 08-32-08.png
maybe the parameter choices for the other tools were not good .. :)
Christian Schilling
@schillic
yeah
Marcelo Forets
@mforets
we should write a blog, or a short video showing benchmarks like the one above (fun for next year!)
Marcelo Forets
@mforets
i added the brusselator instance from the paper JuliaReach/ReachabilityAnalysis.jl#386
Marcelo Forets
@mforets
some people have changed the CI to github actions
i read the builds were faster. i was wondering if we should also change
Marcelo Forets
@mforets
ill try with RA
the build (JuliaReach/ReachabilityAnalysis.jl#386) took 1hour and the docs are still not deployed!
Christian Schilling
@schillic
:)
travis says that it stopped all our builds
You have used 11230 of 10000 credits
i'm not sure this is the case, but that would be sad!