JuliaReach/ClosedLoopReachability.jl
Reachability analysis for closed-loop control systems in Julia
PolarMIT
Issues
- 14
TagBot trigger issue
#294 opened by JuliaTagBot - 1
Use concrete Cartesian product in solve
#171 opened by schillic - 0
Handling of general VCAS model
#280 opened by schillic - 1
Docs build became slow
#322 opened by schillic - 1
Avoid evaluating Taylor model twice in each cycle
#264 opened by schillic - 1
Convexification of network outputs (2D)
#118 opened by mforets - 3
Remove control inputs from states
#89 opened by schillic - 0
Add exact star-based propagation
#124 opened by mforets - 0
Branch-and-prune solver
#130 opened by schillic - 0
- 0
Merge functions forward and forward_network
#286 opened by schillic - 0
Rename *_vars keys
#262 opened by schillic - 0
Remove reexported dependencies
#285 opened by schillic - 1
Fix documentation of read_nnet_yaml
#251 opened by schillic - 0
Use TMJets21b for Double-Pendulum
#219 opened by schillic - 1
Inconsistent result from input subset
#154 opened by schillic - 0
Support other activation functions
#279 opened by schillic - 1
Rename algorithm to DeepZ
#246 opened by schillic - 0
Non-deterministic disturbance
#278 opened by schillic - 0
Splitting strategies
#277 opened by schillic - 3
Cannot precompile
#270 opened by jonniedie - 0
Parallelization
#268 opened by schillic - 0
Make MAT an optional dependency
#213 opened by schillic - 0
Simplify specification sets
#248 opened by schillic - 1
Fix problem in LP solver with Double-Pendulum
#216 opened by schillic - 0
Non-box input set in TM reconstructor
#221 opened by mforets - 0
- 0
use CommonSolve
#106 opened by mforets - 0
Rename normalization to postprocessing
#188 opened by schillic - 0
Use AbstractNetwork with BlackBoxSolver
#204 opened by schillic - 0
Add splitting for continuous post
#183 opened by schillic - 9
Wrap models in modules
#179 opened by schillic - 0
Reorder solve to avoid duplication
#178 opened by schillic - 0
Remove _reconstruct method for vectors
#177 opened by schillic - 0
Airplane model constructs matrices in taylorize
#82 opened by schillic - 1
- 0
Make VertexSolver sound
#123 opened by schillic - 4
Mismatch with simulation
#134 opened by schillic - 0
Add label for plot_simulation!
#149 opened by schillic - 1
Solve from a subset does not result in a subset
#122 opened by schillic - 1
add plot recipe on EnsembleSimulationSolution
#110 opened by mforets - 3
Convexification of network outputs (1D)
#112 opened by mforets - 0
More precise reachability result at time point
#90 opened by schillic - 0
Let simulate return a struct
#101 opened by schillic - 0
Do not overapproximate inputs in simulate
#102 opened by schillic - 1
- 2
Simulation from extreme points of X0
#97 opened by schillic - 0
Add normalization of control inputs to models
#91 opened by schillic - 0
Running models as standalone scripts
#93 opened by mforets - 0
Simulation algorithm
#83 opened by mforets