JuliaReach
JuliaReach
Applications
Software
What's new
Publications
Knowledge base
Team
Light
Dark
Automatic
Periodic controller
Efficient reachability analysis of parametric linear hybrid systems with time-triggered transitions
by Marcelo Forets, Daniel Freire, Christian Schilling (2020)
JuliaReach: a Toolbox for Set-Based Reachability
by Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, Christian Schilling (2019)
Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices
by Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Frédéric Viry, Andreas Podelski and Christian Schilling (2018)
Cite
×