v0.2.2

ClosedLoopReachability v0.2.2

Diff since v0.2.1

Merged pull requests:

• Add new models (#313) (@schillic)
• Some fixes (#314) (@schillic)
• CompatHelper: bump compat for ReachabilityAnalysis to 0.19, (keep existing compat) (#315) (@github-actions[bot])

v0.2.1

ClosedLoopReachability v0.2.1

Diff since v0.2.0

Merged pull requests:

• Fix typo in Airplane dynamics (#310) (@schillic)
• Support tanh activation in MAT parser (#311) (@schillic)
• Add projection as postprocessing (#312) (@schillic)

v0.2.0

ClosedLoopReachability v0.2.0

Diff since v0.1.0

Closed issues:

• Save controls in extension dictionary (#40)
• Remove control inputs from states (#89)
• Convexification of network outputs (2D) (#118)
• Use TMJets21b for Double-Pendulum (#219)
• Fix documentation of read_nnet_yaml (#251)
• Rename *_vars keys (#262)
• Remove reexported dependencies (#285)
• Merge functions forward and forward_network (#286)

Merged pull requests:

• Fix _overapproximate_zonotope (#295) (@schillic)
• Parse POLAR models (#296) (@schillic)
• Simple ONNX parser (#297) (@schillic)
• Fix ONNX parser (transposed W) (#298) (@schillic)
• Define equality for networks and layers (#299) (@schillic)
• Fix DeepZ for sigmoids (#300) (@schillic)
• Add alias to YAML parser (#301) (@schillic)
• Update scripts (#302) (@schillic)
• Fix ambiguity (#303) (@schillic)
• #219 - Use TMJets21b for Double-Pendulum (#304) (@schillic)
• #285 - Remove dependencies reexported by ReachabilityAnalysis (#305) (@schillic)
• #262 - rename _vars keys and getters (#306) (@schillic)
• #286 - Rename forward_network -> forward (#307) (@schillic)
• #40 - Store control signals with corresponding flowpipe (#308) (@schillic)
• Update models (#309) (@schillic)

v0.1.0

ClosedLoopReachability v0.1.0

Closed issues:

• Add Non-linear Cart-Pole model (#1)
• Add Adaptive Cruise Controller (ACC) model (#2)
• Add Sherlock-Benchmark-7 model (#3)
• Sherlock-Benchmark-9 (TORA) (#4)
• Sherlock-Benchmark-10 (Unicycle Car Model) (#5)
• Conversion from onnx to nnet format (#7)
• Convert .MAT files to NV internal format (#12)
• Save controllers in NV format to binary file (JLD2) (#13)
• Fix autogenerated examples (#20)
• Add links to generated notebooks (#24)
• Fix Refs in models (#25)
• Fix specs in ACC (#26)
• Add "solve" for neural network controlled systems (#30)
• Refactor readnn (#31)
• Add specs for TORA (#32)
• Allow splitting of the initial states (#41)
• Rename jld2 files (#45)
• Add VCAS model (#49)
• Add TORA (Example 6) Benchmark (#50)
• Add double pendulum model (#51)
• Add aircraft model (#52)
• Fix links from Examples to NBVIEWER (#62)
• Add Mountain Car problem (#68)
• Add inverted single pendulum problem (#74)
• Airplane model constructs matrices in taylorize (#82)
• Simulation algorithm (#83)
• More precise reachability result at time point (#90)
• Add normalization of control inputs to models (#91)
• Running models as standalone scripts (#93)
• Parametric family of toy models with random dynamics (#96)
• Simulation from extreme points of X0 (#97)
• Let simulate return a struct (#101)
• Do not overapproximate inputs in simulate (#102)
• use CommonSolve (#106)
• add plot recipe on EnsembleSimulationSolution (#110)
• Convexification of network outputs (1D) (#112)
• Add vertices of the sampled set in forward_network sampler (#120)
• Solve from a subset does not result in a subset (#122)
• Make VertexSolver sound (#123)
• Mismatch with simulation (#134)
• Add label for plot_simulation! (#149)
• Remove _reconstruct method for vectors (#177)
• Reorder solve to avoid duplication (#178)
• Wrap models in modules (#179)
• Add splitting for continuous post (#183)
• Rename normalization to postprocessing (#188)
• Use AbstractNetwork with BlackBoxSolver (#204)
• Generalize TaylorModelReconstructor to higher-dimensional input sets (#210)
• Make MAT an optional dependency (#213)
• Fix problem in LP solver with Double-Pendulum (#216)
• Non-box input set in TM reconstructor (#221)
• Rename algorithm to DeepZ (#246)
• Simplify specification sets (#248)
• Cannot precompile (#270)
• Support other activation functions (#279)

Merged pull requests:

• Add Adaptive Cruise Controller (ACC) model (#6) (@SebastianGuadalupe)
• Add Non-linear Cart-Pole model (#8) (@SebastianGuadalupe)
• Add Sherlock-Benchmark-7 model (#9) (@SebastianGuadalupe)
• Add Sherlock-Benchmark-9 (TORA) (#10) (@SebastianGuadalupe)
• Sherlock-Benchmark-10 (Unicycle Car Model) (#11) (@SebastianGuadalupe)
• Convert .MAT files to NV internal format (#14) (@SebastianGuadalupe)
• Save controllers in NV format to binary file (#15) (@SebastianGuadalupe)
• Setup repository (#16) (@SebastianGuadalupe)
• update docs (#17) (@mforets)
• WIP - Add B7 and B9 literate files (#18) (@mforets)
• WIP - Add doc generatiron with Literate.jl (#19) (@SebastianGuadalupe)
• #20 - Fix autogenerated examples (#21) (@SebastianGuadalupe)
• Add literate files (#22) (@SebastianGuadalupe)
• Disable credits in Literate.jl (#23) (@SebastianGuadalupe)
• #26 - Fix specs in ACC (#27) (@SebastianGuadalupe)
• #25 - Fix References in models (#28) (@SebastianGuadalupe)
• #24 - Add links to generated notebooks (#29) (@SebastianGuadalupe)
• Update Sherlock-Benchmark-10.jl (#33) (@mforets)
• Update Cart-Pole.jl (#34) (@mforets)
• Update ACC.jl (#35) (@mforets)
• Update Sherlock-Benchmark-7.jl (#36) (@mforets)
• #30 - Add "solve" for neural network controlled systems (#37) (@SebastianGuadalupe)
• #31 - Refactor readnn (#38) (@SebastianGuadalupe)
• #32 - Add specs for TORA (#39) (@SebastianGuadalupe)
• Add some setops (#42) (@mforets)
• cleanup setops (#43) (@mforets)
• Fix continuos integration (#44) (@SebastianGuadalupe)
• #45 - Rename jld2 files (#46) (@SebastianGuadalupe)
• Add Id activation layer function for zonotopes (#47) (@SebastianGuadalupe)
• Update solve.jl (#48) (@mforets)
• Update docs.yml (#53) (@mforets)
• Solve mistake in Id function (#54) (@SebastianGuadalupe)
• Add controllers for Vertical CAS (#55) (@SebastianGuadalupe)
• WIP - Add VCAS model (#56) (@SebastianGuadalupe)
• WIP - Add Doble Pendulum model (#57) (@SebastianGuadalupe)
• Add airplane model (#58) (@SebastianGuadalupe)
• Update VCAS model (#59) (@SebastianGuadalupe)
• Refactor relu for zonotopes to LazySets (#60) (@SebastianGuadalupe)
• CompatHelper: bump compat for "ReachabilityAnalysis" to "0.7" (#61) (@github-actions[bot])
• Use NeuralVerification.jl solver (#63) (@SebastianGuadalupe)
• update airplane model (#64) (@mforets)
• update solve (#65) (@mforets)
• Use the main package of NeuralVerification (#67) (@SebastianGuadalupe)
• update deps (#69) (@mforets)
• read yaml network data (#70) (@mforets)
• Add neural network to hybrid system convertion function (#71) (@SebastianGuadalupe)
• Update utils.jl (#73) (@mforets)
• [WIP] Single Pendulum model (#75) (@dfcaporale)
• CompatHelper: bump compat for "MAT" to "0.9" (#76) (@github-actions[bot])
• CompatHelper: bump compat for "ReachabilityAnalysis" to "0.9" (#77) (@github-actions[bot])
• CompatHelper: bump compat for "Reexport" to "1.0" (#78) (@github-actions[bot])
• Update dependencies and fix build (#81) (@schillic)
• Create ci.yml (#84) (@mforets)
• Deactivate Windows build (#85) (@schillic)
• #83 - Simulation function (#86) (@schillic)
• cleanup (#87) (@mforets)
• Update CI status badge (#88) (@schillic)
• update ACC and docs (#92) (@mforets)
• #91 - Add normalization of control inputs to models (#94) (@schillic)
• Deactivate coverage (#95) (@schillic)
• update controllers (#98) (@mforets)
• update TORA model w/simulation results (#99) (@mforets)
• Add input variable support for simulate method (#100) (@SebastianGuadalupe)
• #97 - Simulation from extreme points of X0 (#103) (@schillic)
• #96 - Parametric family of toy models with random dynamics (#104) (@schillic)
• Use 'project' for projection (#105) (@schillic)
• Allow preprocessing of controller inputs (#107) (@SebastianGuadalupe)
• #101 - Let simulate return a struct (#108) (@schillic)
• #90 - More precise reach set at time point from Taylor model (#109) (@schillic)
• Revise SimulationSolution (#111) (@schillic)
• Clean up gh-pages previews (#113) (@schillic)
• CompatHelper: bump compat for "ReachabilityAnalysis" to "0.11" (#114) (@github-actions[bot])
• CompatHelper: bump compat for "ReachabilityAnalysis" to "0.12" (#115) (@github-actions[bot])
• Simplify 1-dim output (#116) (@mforets)
• Add sampler solver (#117) (@SebastianGuadalupe)
• Add VertexSolver (#119) (@schillic)
• Refactor nnops.jl (#121) (@mforets)
• Concrete ReLU Solver (#127) (@SebastianGuadalupe)
• Add Boxsolver (#128) (@schillic)
• Add SplitSolver (#129) (@schillic)
• Deactivate plots in TORA model (#131) (@schillic)
• Use v1.6 in CI (#132) (@schillic)
• Use PNG plots in docs (#133) (@schillic)
• Convenience function for plotting simulation results (#135) (@schillic)
• Add initial_state method for ControlledPlant (#136) (@schillic)
• Apply control preprocessing in every iteration (#137) (@schillic)
• Fix plotting function (#138) (@schillic)
• Add author (#139) (@schillic)
• Fixes wrt. last iteration (#140) (@schillic)
• Continue modeling ACC (#141) (@schillic)
• Continue modeling TORA (#142) (@schillic)
• Continue modeling SinglePendulum (#143) (@schillic)
• Continue modeling DoublePendulum (#144) (@schillic)
• Continue modeling Unicycle (#145) (@schillic)
• Continue modeling Airplane (#146) (@schillic)
• plot simulation output linear map (#147) (@mforets)
• fix colors (#148) (@mforets)
• Allow T that is not a multiple of period in simulations (#150) (@schillic)
• #149 - Add label for plot_simulation! (#151) (@schillic)
• Update VCAS description (#152) (@SebastianGuadalupe)
• Add assertion and improve BoxSolver (#153) (@schillic)
• Use new version of ReachabilityAnalysis (#155) (@schillic)
• Update ACC model (#156) (@schillic)
• Continue modeling VertCAS (#157) (@SebastianGuadalupe)
• add convexify option in ConcreteReLU (#159) (@mforets)
• #120 - Add vertices to SampledApprox (#161) (@schillic)
• #123 - Make VertexSolver sound (#162) (@schillic)
• Fix error message (#163) (@schillic)
• Generalize SampledApprox to higher dimensions (#164) (@schillic)
• Taylor error (#165) (@schillic)
• Undo unintended changes (#167) (@schillic)
• Workaround to update registry (#169) (@schillic)
• Splitting strategy (#170) (@schillic)
• Add black-box network (#172) (@schillic)
• Fix auxiliary constant in Double Pendulum model (#173) (@SebastianGuadalupe)
• Add plot limits for DoublePendulum (#174) (@schillic)
• Plot safe states for DoublePendulum (#175) (@schillic)
• Reconstruct given a TM and an interval (#176) (@mforets)
• Refactoring of solve; remove unused method and argument (#180) (@schillic)
• Use import instead of using (#181) (@schillic)
• pass generator removal option (#182) (@mforets)
• Fixes for remainder term (#184) (@mforets)
• Better handling of time difference in flowpipes (#185) (@schillic)
• Fix Airplane model and improve plotting (#186) (@schillic)
• Add time point of failure to error message (#189) (@schillic)
• Network handling of singletons (#190) (@schillic)
• Refactor solve (#191) (@schillic)
• Remove unused networks (#192) (@schillic)
• Make normalization/preprocessing a kwarg (#193) (@schillic)
• Remove temporary code (#194) (@schillic)
• Move imports (#195) (@schillic)
• Helper function to print result of timed (#196) (@schillic)
• Polish Airplane model (#197) (@schillic)
• Add airplane diagram (#198) (@mforets)
• Polish ACC model (#199) (@schillic)
• Polish VertCAS model (#200) (@schillic)
• Fix plots in Github view (#201) (@schillic)
• Polish SinglePendulum model (#202) (@schillic)
• Use splitter for initial states (#203) (@schillic)
• Polish Unicycle model (#205) (@schillic)
• Polish TORA ...