https://github.com/juliareach/lazysets-juliacon21

LazySets.jl article for the JuliaCon 2021 Conference Proceedings
https://github.com/juliareach/lazysets-juliacon21

formal-verification hybrid-system reachability-analysis set-propagation support-function

Last synced: about 2 months ago
JSON representation

LazySets.jl article for the JuliaCon 2021 Conference Proceedings

• Host: GitHub
• URL: https://github.com/juliareach/lazysets-juliacon21
• Owner: JuliaReach
• License: mit
• Created: 2021-09-10T13:04:37.000Z (over 3 years ago)
• Default Branch: main
• Last Pushed: 2022-01-28T11:25:47.000Z (almost 3 years ago)
• Last Synced: 2023-02-27T22:17:39.147Z (almost 2 years ago)
• Topics: formal-verification, hybrid-system, reachability-analysis, set-propagation, support-function
• Language: TeX
• Homepage:
• Size: 25.5 MB
• Stars: 5
• Watchers: 3
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# [LazySets.jl](https://github.com/JuliaReach/LazySets.jl): Scalable Symbolic-Numeric Set Computations

by [Marcelo Forets](https://github.com/mforets) (Universidad de la República, Uruguay) and

[Christian Schilling](https://github.com/schillic) (Aalborg University, Denmark)*

**Both authors contributed equally.*

## Article

See [paper.pdf](https://github.com/JuliaReach/LazySets-JuliaCon21/blob/main/paper/paper.pdf).

## Presentation

The JuliaCon 2021 Workshop tutorial is available on YouTube:

[![JuliaCon 2021 workshop video](https://img.youtube.com/vi/P4I7pTvQ4nk/0.jpg)](https://youtu.be/P4I7pTvQ4nk)

## Code used in examples

See the file [plots.jl](https://github.com/JuliaReach/LazySets-JuliaCon21/blob/main/paper/img/plots.jl) in this repository. To generate the plots, do:

```julia

$ julia plots.jl

```