Where communities thrive

Join over 1.5M+ people
Join over 100K+ communities
Free without limits
Create your own community

Explore more communities

JuliaReach/Lobby

Calculating Reachable states of Dynamical Systems in Julia

People

Repo info

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

(compare)
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

(compare)
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

Release-log-tracker
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)

Gustavo Goretkin

@goretkin

Manual talks a bit about it here https://docs.julialang.org/en/v1/manual/methods/#Trait-based-dispatch-1 btw

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?

ah i can use like https://juliareach.github.io/LazySets.jl/dev/man/polyhedral_approximations/#Support-Function

it uses aligned

Marcelo Forets

@mforets

just saw there is a new review article, https://www.annualreviews.org/doi/pdf/10.1146/annurev-control-071420-081941

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

i added a "Quickstart" yesterday: https://github.com/JuliaReach/ReachabilityAnalysis.jl#checkered_flag-quickstart

Christian Schilling

@schillic

:+1:

Peng Yu

@yupbank

hello firends, wondering if i get some help around understanding this operation

Marcelo Forets

@mforets

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$ ?

and this is the paper A linear optimization oracle for zonotrope computation

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

Lagrangian Reachtubes: The Next Generation

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

https://discourse.julialang.org/t/easy-workflow-file-for-setting-up-github-actions-ci-for-your-julia-package/49765

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

Chat via Matrix