Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Activity
  • 05:22
    schillic updated the wiki
  • 03:42

    mforets on StarLI

    add StarLI (compare)

  • Apr 19 22:44

    mforets on gh-pages

    build based on 992d1530 (compare)

  • Apr 19 22:28

    mforets on gh-pages

    build based on 992d1530 (compare)

  • Apr 19 22:11

    github-actions[bot] on v1.44.0

    (compare)

  • Apr 19 22:10
    JuliaTagBot commented #2401
  • Apr 19 21:54
    JuliaRegistrator commented #1332
  • Apr 19 21:54
    mforets commented #1332
  • Apr 19 21:53

    mforets on mforets-patch-9

    (compare)

  • Apr 19 21:53

    mforets on master

    Update Project.toml (#2666) * … (compare)

  • Apr 19 21:53
    mforets closed #2666
  • Apr 19 20:00
    schillic synchronize #2666
  • Apr 19 20:00

    schillic on mforets-patch-9

    add missing doc (compare)

  • Apr 19 19:45

    mforets on gh-pages

    build based on 3cf4d811 (compare)

  • Apr 19 19:44
    mforets synchronize #125
  • Apr 19 19:44

    mforets on 124

    temp fixes in the types (compare)

  • Apr 19 19:30
    mforets opened #125
  • Apr 19 19:30

    mforets on 124

    add (WIP) propagation using Star (compare)

  • Apr 19 19:16
    schillic closed #2559
  • Apr 19 19:16
    schillic commented #2559
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!
Marcelo Forets
@mforets
ah yes should explain it !
Christian Schilling
@schillic
if we hit that bound more often: it seems to me the more builds we run, the quicker we drain those credits, so we should generally reduce the number of builds and the number of times we push