JuliaReach: a toolbox for set-based reachability

@inproceedings{Bogomolov2019JuliaReachAT,
  title={JuliaReach: a toolbox for set-based reachability},
  author={Sergiy Bogomolov and Marcelo Forets and Goran Frehse and Kostiantyn Potomkin and Christian Schilling},
  booktitle={HSCC},
  year={2019}
}
We present JuliaReach, a toolbox for set-based reachability analysis of dynamical systems. JuliaReach consists of two main packages: Reachability, containing implementations of reachability algorithms for continuous and hybrid systems, and LazySets, a standalone library that implements state-of-the-art algorithms for calculus with convex sets. The library offers both concrete and lazy set representations, where the latter stands for the ability to delay set computations until they are needed… CONTINUE READING
2
Twitter Mentions

References

Publications referenced by this paper.
SHOWING 1-5 OF 5 REFERENCES

An Introduction to CORA 2015

  • ARCH@CPSWeek
  • 2015
VIEW 5 EXCERPTS
HIGHLY INFLUENTIAL

Guided search for hybrid systems based on coarse-grained space abstractions

  • International Journal on Software Tools for Technology Transfer
  • 2015
VIEW 11 EXCERPTS
HIGHLY INFLUENTIAL

Assume-Guarantee Abstraction Refinement Meets Hybrid Systems

  • Haifa Verification Conference
  • 2014
VIEW 11 EXCERPTS
HIGHLY INFLUENTIAL

Similar Papers

Loading similar papers…