Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Activity
  • Jun 19 03:06
    schillic review_requested #2747
  • Jun 18 21:16
    schillic synchronize #2747
  • Jun 18 21:16

    schillic on 2745

    add ishyperplanar method; fix t… (compare)

  • Jun 18 20:43
    schillic synchronize #2747
  • Jun 18 20:43

    schillic on 2745

    ishyperplanar function (compare)

  • Jun 18 19:26
    yuzhou42 commented #515
  • Jun 18 17:27
    schillic edited #2747
  • Jun 18 16:14
    schillic opened #2747
  • Jun 18 16:14

    schillic on 2745

    complement check for half-spaces conversion from HPolyhedron to … (compare)

  • Jun 18 16:03
    schillic assigned #2745
  • Jun 18 07:05
    schillic commented #2746
  • Jun 18 07:05
    schillic assigned #2746
  • Jun 18 05:08
    schillic labeled #2746
  • Jun 18 05:08
    schillic opened #2746
  • Jun 18 04:14

    mforets on gh-pages

    build based on 1e431db (compare)

  • Jun 18 04:00

    mforets on gh-pages

    build based on d8682f2 (compare)

  • Jun 18 03:46

    github-actions[bot] on v0.14.16

    (compare)

  • Jun 18 03:45
    JuliaTagBot commented #376
  • Jun 18 03:25
    JuliaRegistrator commented #111
  • Jun 18 03:25
    mforets commented #111
Marcelo Forets
@mforets
that's with 10^{-8}
Christian Schilling
@schillic
beautiful :smile:
Christian Schilling
@schillic
FYI the registration deadline for CPS-IOT Week (virtual, 10$ fee including workshops) is in two days
Marcelo Forets
@mforets
:thumbsup:
Marcelo Forets
@mforets
https://arxiv.org/abs/2105.05841
Christian Schilling
@schillic
:+1:
Peng Yu
@yupbank
is there anyway i can test if two 2d region is contained ?
For example using a tuple I=(a,b)I = (a, b), to define a 2D space region, G={(x,y)∣∣x+a∣≤y+b,x,y∈R}G = \{(x, y)||x+a| \leq y +b , x, y \in \mathbb{R} \}.
Given two coefficient tuples I1,I2,∈Z2I_1, I_2, \in \mathbb{Z}^2. Is there any efficient way to test if G1⊆G2G_1 \subseteq G_2 ?
Christian Schilling
@schillic
there is an efficient check for G1G_1 convex and G2G_2 a convex polyhedron
Peng Yu
@yupbank
ah yeah?do you have a name for the method?
Marcelo Forets
@mforets
LazySets._issubset_constraints_list ?
the idea to check if X⊆YX \subseteq Y holds when YY is polyhedral is that it's necessary and sufficient that the support function of XX along each halfspace that defines YY is smaller than the actual displacement of that halfspace
you dont' need to compute anything for YY because you know that its support function is actually H.b for each halfspace
Christian Schilling
@schillic
yes, exactly
Marcelo Forets
@mforets
@yupbank hope this helped, otherwise let us know!
Christian Schilling
@schillic
the program for HSCC '21 now also contains links to (offline) videos
Marcelo Forets
@mforets
@schillic do you know why this could be failing? https://github.com/JuliaReach/ReachabilityAnalysis.jl/pull/473/checks?check_run_id=2627741829#step:5:85
Marcelo Forets
@mforets
seems like we should define a default (empty dict) value for _extract_limits(::RecipesBase.AbstractPlot, !Matched::AbstractDict)
Christian Schilling
@schillic
yes, this is probably a consequence of JuliaReach/LazySets.jl#2701
just pass plotattributes as second argument here
Marcelo Forets
@mforets
Great, thanks!
Christian Schilling
@schillic

for some reason i cannot install the latest version of TaylorModels

(@v1.6) pkg> add TaylorModels@0.3.11
   Resolving package versions...
ERROR: Unsatisfiable requirements detected for package TaylorModels [314ce334]:
 TaylorModels [314ce334] log:
 ├─possible versions are: 0.0.1-0.3.10 or uninstalled
 └─restricted to versions 0.3.11 by an explicit requirement — no versions left

so it claims there is no v0.3.11. but when i dev the package, i get it

Marcelo Forets
@mforets
idk, maybe it takes a bit more time ?
Christian Schilling
@schillic
hm ok
Christian Schilling
@schillic
it's not just me: CI can also not pull the new versions :)
Marcelo Forets
@mforets
ok
Marcelo Forets
@mforets
i hope that gets fixed soon, so we can use CI to visualize NNA benchmark models
Christian Schilling
@schillic
i still don't get the new versions. i think this is not normal
Christian Schilling
@schillic
FYI the package update worked now
Marcelo Forets
@mforets
:thumbsup:
Christian Schilling
@schillic
this package-sync issue was pinned now, so hopefully they fix that soon
Marcelo Forets
@mforets
:thumbsup:
Christian Schilling
@schillic
there was a workaround proposed here
should we use this? it still doesn't pull the latest versions
i'm trying locally and it works
Marcelo Forets
@mforets
ok. i'll continue to test locally for the time being
Marcelo Forets
@mforets
seems interesting
https://ieeexplore.ieee.org/abstract/document/9442847
Marcelo Forets
@mforets
some builds fail, because they install a yet unsupported version of an optional depency https://travis-ci.org/github/JuliaReach/LazySets.jl/jobs/774362882#L644
is it normal that compat bounds for extra deps are ignored ?
Marcelo Forets
@mforets
btw both diffeq and the new symbolics version can't be installed in the same project until SciML/ModelingToolkit.jl#1045 is merged, so i would just keep using Symbolics#v0.1.32
Christian Schilling
@schillic
yes, i think compat bounds are ignored (which was the reason why we needed special build scripts in the past)
Marcelo Forets
@mforets
:thumbsup:
Marcelo Forets
@mforets
there was a banner in the travis site that travis-ci.org will stop working on june 15th, so maybe that's the reason...
we could migrate to github CI as with some of the other projects
or try travis ci .com
if i got o
https://travis-ci.org/github/JuliaReach/LazySets.jl
Since June 15th, 2021, the building on travis-ci.org is ceased. Please use travis-ci.com from now on
Christian Schilling
@schillic
indeed
Christian Schilling
@schillic
What's Z−X, when Z = X+Y ? Dependency tracking in interval arithmetic with bivariate sets