|
JuliaReach
|
Framework for analysis of cyber-physical systems
[organization page]
[ tutorial]
|
|
• LazySets.jl
|
Library for scalable symbolic-numeric set computations
|
|
• ReachabilityAnalysis.jl
|
Reachability analysis of dynamical and cyber-physical systems
|
|
• ClosedLoopReachability.jl
|
Analysis of closed-loop systems with neural-network controllers
|
|
• RangeEnclosures.jl
|
Library for range enclosures of real-valued functions
|
|
HySynth
|
Framework for synthesis of cyber-physical systems from time-series data
|
|
• HySynthParametric
|
Parametric linear hybrid automata
|
|
• HySynth
|
Hybrid automata with constant or affine differential equations
|
|
VeriXAI
|
Framework for abstraction-based monitoring of neural networks
|
|
• Into the Unknown (extended)
|
Active monitoring of neural networks with online learning
|
|
• Into the Unknown
|
Active monitoring of neural networks
|
|
• Outside the Box
|
Novelty detection for neural networks
|
|
Ultimate
|
Framework for program analysis, including an automata library
[web interface]
|
|
HyST Stateflow Converter
|
Conversion from hybrid-automaton models to Simulink/Stateflow models
(now part of HyST)
|
|
AdaptiveMomentClosure
|
Parameter synthesis for chemical reaction networks
|
|
Hydentify
|
Robustness verification and parameter synthesis for multiaffine systems
|