## Where communities thrive

• Join over 1.5M+ people
• Join over 100K+ communities
• Free without limits
##### Activity
• 18:30

mforets on gh-pages

build based on 3ca8008 (compare)

• 18:21

mforets on gh-pages

build based on 971c052 (compare)

• 17:43

github-actions[bot] on v0.12.1

• 17:42
JuliaTagBot commented #376
• 17:26
JuliaRegistrator commented #111
• 17:26
mforets commented #111
• 17:25

mforets on master

Update Project.toml (compare)

• 17:25

mforets on new_version

• 17:25

mforets on master

CompatHelper: bump compat for "… Merge pull request #459 from Ju… (compare)

• 17:25
mforets closed #459
• 05:22
schillic updated the wiki
• 03:42

mforets on StarLI

• 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

• 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

• Apr 19 21:53

mforets on master

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

Gustavo Goretkin
@goretkin
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
hello firends, wondering if i get some help around understanding this operation
Marcelo Forets
@mforets
hi
Peng Yu
@yupbank

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

Isn't it always true for all elements of $G$ ?

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 $\xi(x)$ by the way
it is the subset of $G$ that sums to $x$
Peng Yu
@yupbank
yeah, in the every first iteration, it would be $\emptyset$
it’s picking $y \in x+G$ and then test $y-x$, which can be simiplified into $z \in G$ and then test $z$
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
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
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