Releases: JuliaReach/ReachabilityAnalysis.jl
Releases · JuliaReach/ReachabilityAnalysis.jl
v0.12.2
v0.12.1
ReachabilityAnalysis v0.12.1
Closed issues:
- Add common LazySets operations to the AbstractLazyReachSet interface (#24)
- Implement time interval evaluation for hybrid flowpipes (#77)
- Review evaluation interface when reach-sets overlap in time (#137)
- Apply tips to reduce the filesize of generated notebooks (#292)
- Add vars kwarg to LGG09 constructor (#352)
- overapproximation of TM with zonotope by mincing in space (#443)
- Fix Building model file (JLD2) (#450)
Merged pull requests:
- Mforets/429d (#444) (@mforets)
- Add box_approximation for TaylorModelReachSet (#445) (@SebastianGuadalupe)
- WIP - Add overapproximation of TM with zonotope by mincing in space (#446) (@SebastianGuadalupe)
- Add splitting for each dimension for overapproximation of TM with Zonotope (#447) (@SebastianGuadalupe)
- deactivate coverage (#448) (@mforets)
- add function for splitting intervalbox (#449) (@mforets)
- Add vars option to LGG09 constructor (#451) (@mforets)
- Updates on concrete projections and Building model (#452) (@mforets)
- Extend projection recipe for template reach-sets (#455) (@mforets)
- fix hybrid flowpipe evaluation for time intervals (#456) (@mforets)
- Use isoperation in plot recipes (#457) (@mforets)
- CompatHelper: bump compat for "IntervalArithmetic" to "0.18" (#459) (@github-actions[bot])
v0.12.0
v0.11.0
v0.10.2
ReachabilityAnalysis v0.10.2
Merged pull requests:
v0.10.1
v0.10.0
ReachabilityAnalysis v0.10.0
Closed issues:
- Concrete projection of flowpipes (cont) (#158)
- Codecov migration to marketplace app (#204)
- Fix type piracy for "set" wrt LazySets (#254)
- MethodError in cluster (#347)
- Analysis of deterministic affine dynamics (#378)
Merged pull requests:
- generalize waiting list setrep elements (#368) (@mforets)
- update docs LGG09 and upload some figures (#380) (@mforets)
- Test for affine ODE (#382) (@mforets)
- Update and test conversion of TM reachsets (#383) (@mforets)
- logarithmic norm function and tests (#384) (@mforets)
- 1D Burgers equation test (#385) (@dfcaporale)
- Update Brusselator.jl (#386) (@mforets)
- use github actions for CI (#387) (@mforets)
- Update Brusselator.jl (#388) (@mforets)
- CompatHelper: bump compat for "Reexport" to "1.0" (#392) (@github-actions[bot])
- Remove inner linear_map function (#393) (@mforets)
- Macro for commutative binary functions (#394) (@mforets)
- Update ensemble solver (#395) (@mforets)
- Add example of ensemble simulation (#396) (@mforets)
- Linear solver using vertex representation (#397) (@mforets)
- Add tests for VREP + docs (#399) (@mforets)
- update docs (#400) (@mforets)
- Update flowpipes.jl (#401) (@mforets)
- update solve (#402) (@mforets)
- update cluster method with unions (#403) (@mforets)
- update concrete complement (#404) (@mforets)
- refactor setops (#405) (@mforets)
- add internal functions for carleman linearization method (#406) (@mforets)
- fix p norm in CARLIN (#407) (@mforets)
- build matrix function for carlin (#408) (@mforets)
- update kron for hyperrectangular sets (#409) (@mforets)
- update discretization (#410) (@mforets)
- Update Project.toml (#411) (@mforets)
- update setops (#412) (@mforets)
- update docs (#413) (@mforets)
- cleanup reachset projection for plots (#414) (@mforets)
- cleanup plots + projection code (#416) (@mforets)
- Update VanDerPol.jl (#418) (@mforets)
v0.9.1
ReachabilityAnalysis v0.9.1
Merged pull requests:
- CompatHelper: bump compat for "StaticArrays" to "1.0" (#377) (@github-actions[bot])
v0.9.0
ReachabilityAnalysis v0.9.0
Closed issues:
- Add algorithm of Φ₁ and Φ₂ for the invertible case (#22)
- Add filtered oscillator model to Examples (#304)
- Tests for 2nd order systems (#339)
- ReachabilityAnalysis defines ambiguous
LazySets.vertices_list(#374)
Merged pull requests:
- Overload TM functions for Taylor model reachsets (#190) (@mforets)
- Add exponential LGG09 w/ time-varying input sets (#340) (@mforets)
- update some docs (#343) (@mforets)
- Add examples to readme.md (#344) (@SebastianGuadalupe)
- fixes for TM conversions (#345) (@mforets)
- continuation of intro docs / linear (#346) (@mforets)
- Docs + A20 (#349) (@mforets)
- Change TagBot script (#350) (@schillic)
- add solver for trajectories w/o bloating (#355) (@mforets)
- add krylov methd for orbit w/zero state (#356) (@mforets)
- Orbit plot recipe (#359) (@mforets)
- LGG09 with multithreading (#361) (@dfcaporale)
- update linear docs (#362) (@mforets)
- fix dirs (#363) (@mforets)
- Update benchmarks.md (#364) (@mforets)
- reorganize discretization (#365) (@mforets)
- update some docs pages (#367) (@mforets)
- homogeneization of a CLCCS (#369) (@mforets)
- add homog as a solve option (#370) (@mforets)
- Update ORBIT.md (#371) (@mforets)
- Add in sol (#373) (@mforets)
- #374 - Cleanup vertices of CHA (#375) (@mforets)
v0.8.1
ReachabilityAnalysis v0.8.1
Closed issues:
- Generalize concrete shift for abstract reach sets (#316)
- Make fixpoint check optional (#317)
- Normalize function from SecondOrderLinearContinuousSystem to LinearContinuousSystem (#328)
Merged pull requests:
- Issue #316 (#318) (@dfcaporale)
- fixpoint_check added to hybrid solve (#319) (@dfcaporale)
- Fixes for time interval evaluation of hybrid flowpipes (#323) (@mforets)
- cleanup TMJets folder (#324) (@mforets)
- External kwarg to TMJets solver (#326) (@mforets)
- Refactor models (#327) (@mforets)
- #328 add second order normalisation functions (#329) (@dfcaporale)
- Union clustering (#332) (@mforets)
- Add QINT method for scalar quadratic ODEs (#335) (@mforets)
- update docs (#338) (@mforets)