JuliaReach/Lobby

Calculating Reachable states of Dynamical Systems in Julia

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

Marcelo Forets

@mforets

yes

Christian Schilling

@schillic

done :D

Marcelo Forets

@mforets

did you do anything?

Christian Schilling

@schillic

just as we spoke, i watched it live

but deployment failed

Marcelo Forets

@mforets

yes

in total it took 30 mins instead of 1 hour with TRavis CI (which probably was slow because of the credits issue) so im in favor of keeping github CI for RA

i dont mind changing the others while we can still make builds with travis CI

Marcelo Forets

@mforets

it built now :tada:

https://juliareach.github.io/ReachabilityAnalysis.jl/dev/models/Brusselator/#Changing-the-initial-volume-1

the docs were only deployed the 2nd time that CI ran for the first time

(something similar used to happen with travis CI)

Marcelo Forets

@mforets

a new article on Neural ODEs by SciML crew: https://arxiv.org/pdf/2012.07244.pdf

Marcelo Forets

@mforets

We shall make a PR to update the GSOC/JSOC project proposals. In particular the topic on zonotopes, I would remove it and add a new one

Maybe directly related to robustness of ODEs with neural network controllers

I mean, on the julialang webpage

Christian Schilling

@schillic

i just found this list of tools

Marcelo Forets

@mforets

nice

we are listed :tada: :smile:

Christian Schilling

@schillic

yes :D

Marcelo Forets

@mforets

good link. i'll read more about this IEEE branch later

Christopher Rackauckas

@ChrisRackauckas

I'd be interested in collaborating on a project on robustness of neural controlled ODEs

Sounds like it would be fun

Marcelo Forets

@mforets

nice! sounds like a fun project that we can tackle next year

Marcelo Forets

@mforets

we regularly skype with the rest of the team (schiliic, dpsanders, lbenet), so i'll put this topic in the "agenda" :)

@ChrisRackauckas and also @schillic : this week with sebastian we had a couple of sprints to understand and model a hybrid system from https://discourse.julialang.org/t/differentialequations-error-event-repeated-at-the-same-time/51830 using propagation techniques. not sure we'll finish this week because of family time. but it was much fun as it involves modeling nonlinear (periodic) guards, and we can exploit sparsity of the constraints to make an efficient solver

Christian Schilling

@schillic

:+1:

Christopher Rackauckas

@ChrisRackauckas

Ahh that's cool

I haven't looked into that system yet

Marcelo Forets

@mforets

FYI the PR JuliaReach/ReachabilityAnalysis.jl#390 contained several unrelated changes so i decided to split into smaller ones. i've started to cleanup the codebase with respect to changes that are recently available in LazySets

also the RA internal methods for disjointness, intersection and inclusion are messy so i'll fix that too

Marcelo Forets

@mforets

i ran into a nice application of the @concretize stuff: https://github.com/JuliaReach/ReachabilityAnalysis.jl/pull/397/files#diff-092a615958f0d53a3518d6754e427a61a7228dc6e0c086d53a7a3ef562b314a4R300

Marcelo Forets

@mforets

a new article on verifying LTI systems neural network controllers https://arxiv.org/pdf/2101.01815.pdf

Marcelo Forets

@mforets

hi, this week i'm back to package development. i was planning to address the Star sets implementation this afternoon. i've got like 2 hours :smile:

Christian Schilling

@schillic

good luck :)

Marcelo Forets

@mforets

there is a nice boost on the startup time:

[mforets@localhost bin]$ julia
               _
   _       _ _(_)_     |  Documentation: https://docs.julialang.org
  (_)     | (_) (_)    |
   _ _   _| |_  __ _   |  Type "?" for help, "]?" for Pkg help.
  | | | | | | |/ _` |  |
  | | |_| | | | (_| |  |  Version 1.5.2 (2020-09-23)
 _/ |\__'_|_|_|\__'_|  |  Official https://julialang.org/ release
|__/                   |

julia> @time using LazySets
  5.681156 seconds (11.94 M allocations: 694.502 MiB, 4.23% gc time)

julia> exit()
j[mforets@localhost bin]$ ./julia
               _
   _       _ _(_)_     |  Documentation: https://docs.julialang.org
  (_)     | (_) (_)    |
   _ _   _| |_  __ _   |  Type "?" for help, "]?" for Pkg help.
  | | | | | | |/ _` |  |
  | | |_| | | | (_| |  |  Version 1.6.0-beta1 (2021-01-08)
 _/ |\__'_|_|_|\__'_|  |  Official https://julialang.org/ release
|__/                   |

julia> @time using LazySets
  2.215739 seconds (5.24 M allocations: 375.817 MiB, 1.47% gc time, 0.22% compilation time)

Where communities thrive

People

Repo info

Activity