Marcelo Forets comments

Repositories
Issues
Comments

Results 234 comments of


                                            Marcelo Forets

MathematicalSystems

The aim in MathematicalSystems.jl has been to make it as thin or lightweight as possible, yet with expressive power to specialize on system types if the developer needs so (hence...

How to do safety check in TmJests algorithm?

xref https://julialang.zulipchat.com/#narrow/stream/278609-juliareach/topic/Nonlinear.20hybrid.20plant

Implement XFZ2018 for flowpipe construction using SOS

Proof of principle implementation [in this notebook](https://nbviewer.jupyter.org/github/mforets/escritoire/blob/master/reachability/XFZ18under.ipynb).

Replace `requires` macro with `require`

why is `@requires` no longer supported? it looks like more compact notation than the alternative.