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

Apr 22 20:22

abhinavchawla starred JuliaReach/LazySets.jl
Apr 22 19:36

mforets on gh-pages

build based on a2c83b1 (compare)
Apr 22 19:09

SebastianGuadalupe opened #127
Apr 22 19:08

SebastianGuadalupe on concreteReLU

add concrete ReLU Solver (compare)
Apr 22 18:56

mforets on gh-pages

build based on c55a502 (compare)
Apr 22 18:52

mforets on gh-pages

build based on d7bcc87 (compare)
Apr 22 18:28

schillic synchronize #126
Apr 22 18:28

schillic on 122

add test context for #122 (compare)
Apr 22 18:26

schillic opened #126
Apr 22 18:25

schillic on 122

add test context for #122 (compare)
Apr 22 11:04

mforets synchronize #2672
Apr 22 11:04

mforets on 2671

Update test/Sets/HalfSpace.jl … (compare)
Apr 22 10:57

mforets opened #2672
Apr 22 10:56

mforets on 2671

add rationalizion for LazySets (compare)
Apr 22 09:25

mforets assigned #2671
Apr 22 09:24

mforets labeled #2671
Apr 22 09:24

mforets opened #2671
Apr 21 19:47

mforets on gh-pages

build based on 27a73225 (compare)
Apr 21 19:30

mforets on gh-pages

build based on 27a73225 (compare)
Apr 21 19:29

mforets on gh-pages

build based on 09107240 (compare)

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

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

Marcelo Forets

@mforets

there is now a limited number of build hours for OSS

do you know if those credits reset each month?

Christian Schilling

@schillic

i hope so, but i don't know the interval

Marcelo Forets

@mforets

ok.i tried github actions here JuliaReach/ReachabilityAnalysis.jl#387 and it worked

but the Docs build didnt finish yet

Christian Schilling

@schillic

maybe restart it?

Marcelo Forets

@mforets

the "Build and Deploy" stage is taking too long (28 minutes) so maybe something is wrong with it :/

Christian Schilling

@schillic

now it ran

Chat via Matrix