reachabilityanalysis.jl - v0.28.2

ReachabilityAnalysis v0.28.2

Diff since v0.28.1

Merged pull requests: - Bump actions/checkout from 4 to 5 (#921) (@dependabot[bot]) - Allow LazySets v5 (#925) (@schillic) - Allow MathematicalSystems v0.14 (#928) (@schillic)

- Julia
Published by github-actions[bot] 10 months ago

reachabilityanalysis.jl - v0.28.1

ReachabilityAnalysis v0.28.1

Diff since v0.28.0

Merged pull requests: - Use scale for linear map with IdentityMultiple (#892) (@schillic) - Remove redundant dependency ExprTools (#915) (@schillic) - Fix typo in comment (#916) (@schillic) - Fix creation of tagged docs versions (#917) (@schillic) - Automatic JuliaFormatter.jl run (#918) (@github-actions[bot]) - Trigger docs building for new tags (#919) (@schillic) - v0.28.1 (#920) (@schillic)

- Julia
Published by github-actions[bot] 10 months ago

reachabilityanalysis.jl - v0.28.0

ReachabilityAnalysis v0.28.0

Diff since v0.27.1

• Potentially breaking due to (mild) breaking changes in (re-exported) LazySets v4

Merged pull requests: - Update Taylor* packages (#856) (@schillic) - Fast support function for TemplateReachSet (#899) (@schillic) - Rename variables in Forward discretization (#904) (@schillic) - #903 - Fix/add setops option for Forward/FirstOrder (#905) (@schillic) - #900 - Fix FirstOrder and FirstOrderZonotope with zero matrix (#906) (@alecarraro) - Use old JuliaFormatter version (#909) (@schillic) - Remove duplicate documentation of vars field (#910) (@schillic) - Allow LazySets v4 (#912) (@schillic) - v0.28.0 (#913) (@schillic)

Closed issues: - First-order discretization for affine dynamics with zero matrix crashes (#900)

- Julia
Published by github-actions[bot] about 1 year ago

reachabilityanalysis.jl - v0.27.1

ReachabilityAnalysis v0.27.1

Diff since v0.27.0

Merged pull requests: - Add discrete post for GLGM06 (#861) (@schillic) - Run shorter tests in PkgEval mode (#882) (@schillic) - Fix import in test (#883) (@schillic) - Count invalidations on latest Julia version (#884) (@schillic) - Let intersection of reach sets create a reach set (#885) (@schillic) - Fix typos build (#886) (@schillic) - Add discrete post for linear algorithms (#887) (@schillic) - Fix deprecation warning in OrdinaryDiffEq (#888) (@schillic) - Fix homogenize (#889) (@schillic) - Merge common code for linear continuous post (#890) (@schillic) - Automatic JuliaFormatter.jl run (#891) (@github-actions[bot]) - Allow Polyhedra v0.8 and CDDLib v0.10 in tests (#896) (@schillic) - Use DocumenterCitations for bibliography (#897) (@schillic) - v0.27.1 (#898) (@schillic)

- Julia
Published by github-actions[bot] over 1 year ago

reachabilityanalysis.jl - v0.27.0

ReachabilityAnalysis v0.27.0

Diff since v0.26.1

Merged pull requests: - Fix ambiguities with cluster (#839) (@schillic) - Remove confusing membership method (#840) (@schillic) - Revise discretization module (#841) (@schillic) - Fix some minor warnings (#842) (@schillic) - Fix argument order of _convert_or_overapproximate (#843) (@schillic) - Merge and generalize overapproximate methods with HPolytope (#844) (@schillic) - Remove redundant variables in algorithms (#845) (@schillic) - Use preallocate argument in GLGM06 (#846) (@schillic) - Do not pass redundant max_order to algorithm (#847) (@schillic) - Allow CarlemanLinearization v0.4 (#854) (@schillic) - Revise GLGM06 documentation (#857) (@schillic) - Outsource common NSTEPS code to function (#858) (@schillic) - Resolve static kwargs snippets (#859) (@schillic) - Simplify get code from kwargs dictionary (#860) (@schillic) - Bump peter-evans/create-pull-request from 6 to 7 (#867) (@dependabot[bot]) - Allow JLD2 v0.5 (#868) (@schillic) - Bump IntervalMatrices and Symbolics (#870) (@schillic) - Use outsourced @required macro from ReachabilityBase (#871) (@schillic) - Aqua v0.8.9 tests only for local ambiguities (#873) (@schillic) - Fix invalidations CI run (#874) (@schillic) - Add commits since last release to README (#875) (@schillic) - Bump codecov/codecov-action from 4 to 5 (#876) (@dependabot[bot]) - Bump LazySets v3 (#880) (@schillic) - v0.27.0 (#881) (@schillic)

Closed issues: - Refactor init constants to their own module (#734) - Error: UndefRefError: access to undefined reference (#865)

- Julia
Published by github-actions[bot] over 1 year ago

reachabilityanalysis.jl - v0.26.1

ReachabilityAnalysis v0.26.1

Diff since v0.26.0

Merged pull requests: - Add JuliaHub and PkgEval badges (#838) (@schillic) - Update to LazySets v2.14 and allow ReachabilityBase v0.3 (#851) (@schillic) - v0.26.1 (#852) (@schillic)

- Julia
Published by github-actions[bot] almost 2 years ago

reachabilityanalysis.jl - v0.26.0

ReachabilityAnalysis v0.26.0

Diff since v0.25.0

Merged pull requests: - Remove RecursiveArrayTools (#820) (@schillic) - Automatic JuliaFormatter.jl run (#827) (@github-actions[bot]) - Remove old helper function (#828) (@schillic) - Automatic JuliaFormatter.jl run (#830) (@github-actions[bot]) - Remove basetype (available in ReachabilityBase) (#831) (@schillic) - #726 - Outsource SingleEntryVector code to ReachabilityBase (#832) (@schillic) - Bump julia-actions/cache from 1 to 2 (#833) (@dependabot[bot]) - Simplify code for UnionSet and UnionSetArray (#834) (@schillic) - Fix conflict with ⊂ (#836) (@schillic) - v0.26.0 (#837) (@schillic)

Closed issues: - Move SingleEntryVector array ops to ReachabilityBase.jl (#726)

- Julia
Published by github-actions[bot] about 2 years ago

reachabilityanalysis.jl - v0.25.0

ReachabilityAnalysis v0.25.0

Diff since v0.24.1

Merged pull requests: - Fix formatting in docs page (#793) (@schillic) - Fix Codecov (#794) (@schillic) - Add Aqua badge (#795) (@schillic) - Better script output (#!jl) in examples and unused packages removed from test/Project.toml (#796) (@schillic) - Resolve warnings and outputs in tests (#797) (@schillic) - Minor fixes in comments (#798) (@schillic) - Fix unbound args (#799) (@schillic) - Use == instead of isequal and eachindex instead of 1:length (#800) (@schillic) - Fix ambiguities (#801) (@schillic) - Fix some piracies (#802) (@schillic) - Avoid using packages and collect usings and exports (#803) (@schillic) - Define box_approximation for AbstractReachSets and AbstractFlowpipes (#805) (@schillic) - Upgrade TaylorSeries, TaylorIntegration and TaylorModels (#808) (@lbenet) - Support ntdiv splitting in TM-zonotope overapproximation (#809) (@schillic) - Fix ambiguities (#811) (@schillic) - Import flatten (#812) (@schillic) - Adapt Spacecraft settings to ARCH-COMP2020 (#814) (@schillic) - Automatic JuliaFormatter.jl run (#816) (@github-actions[bot]) - Adapt to new typos version (#817) (@schillic) - #818 - Refactor TMJets algorithms (#819) (@schillic) - Automatic JuliaFormatter.jl run (#821) (@github-actions[bot]) - Bump julia-actions/setup-julia from 1 to 2 (#822) (@dependabot[bot]) - Replace DifferentialEquations by OrdinaryDiffEq (#823) (@schillic) - Outsource code to LazySets (#824) (@schillic) - Update Project.toml (#826) (@mforets)

Closed issues: - Move relative_error to ReachabilityBase (#727) - Fix ambiguities (#788) - Fix unbound args (#789) - On TMJets (#804) - Refactor TMJets algorithms (#818)

- Julia
Published by github-actions[bot] about 2 years ago

reachabilityanalysis.jl - v0.24.1

ReachabilityAnalysis v0.24.1

Diff since v0.24.0

Merged pull requests: - Revise models (#783) (@schillic) - Minor fixes (#784) (@schillic) - Run Aqua in tests and fix problems (#785) (@schillic) - Replace $ with double backticks and use Unicode symbols (#786) (@schillic) - Fix method-call errors in XFZ18 (#787) (@schillic) - v0.24.1 (#791) (@schillic)

Closed issues: - Errors when testing the Thermostat tutorial problem (#750)

- Julia
Published by github-actions[bot] over 2 years ago

reachabilityanalysis.jl - v0.24.0

ReachabilityAnalysis v0.24.0

Diff since v0.23.1

Merged pull requests: - Fix optional packages in Exponentiation module (#770) (@schillic) - Fixes in Quadrotor script (#773) (@schillic) - Revise Literate script and deactivate notebook generation (#774) (@schillic) - Outsource discretization methods to modules (#775) (@schillic) - Better blocks in docs/make.jl for quick commenting (#776) (@schillic) - Fix and activate doctests; fix adddimension (#777) (@schillic) - Revise CI scripts (#779) (@schillic) - Use currentpath from ReachabilityBase in examples and revise examples (#780) (@schillic) - v0.24.0 (#781) (@schillic)

- Julia
Published by github-actions[bot] over 2 years ago

reachabilityanalysis.jl - v0.23.1

ReachabilityAnalysis v0.23.1

Diff since v0.23.0

Merged pull requests: - Fix overapproximate method; v0.23.1 (#769) (@schillic)

- Julia
Published by github-actions[bot] over 2 years ago

reachabilityanalysis.jl - v0.23.0

ReachabilityAnalysis v0.23.0

Diff since v0.22.4

Merged pull requests: - backward module (#753) (@mforets) - Make affine_map consistent (#765) (@schillic) - Merge code for overapproximate of TaylorModelReachSet (#766) (@schillic) - v0.23.0 (#768) (@schillic)

- Julia
Published by github-actions[bot] over 2 years ago

reachabilityanalysis.jl - v0.22.4

ReachabilityAnalysis v0.22.4

Diff since v0.22.3

Merged pull requests: - Avoid using .DifferentialEquations (#761) (@schillic) - Avoid using .Symbolics; depend on Random directly; simpler init functions (#762) (@schillic) - v0.22.4 (#763) (@schillic)

- Julia
Published by github-actions[bot] over 2 years ago

reachabilityanalysis.jl - v0.22.3

ReachabilityAnalysis v0.22.3

Diff since v0.22.2

Merged pull requests: - CompatHelper: bump compat for IntervalMatrices to 0.10, (keep existing compat) (#760) (@github-actions[bot])

- Julia
Published by github-actions[bot] over 2 years ago

reachabilityanalysis.jl - v0.22.2

ReachabilityAnalysis v0.22.2

Diff since v0.22.1

Merged pull requests: - Bump actions/checkout from 3 to 4 (#730) (@dependabot[bot]) - Refactor tests folder (#736) (@mforets) - Support/use Documenter v1 (#737) (@schillic) - Freeze package compat (#738) (@schillic) - Update reference to Gitter -> Zulip (#740) (@schillic) - Support for IntervalMatrices v0.9 (#742) (@schillic) - Automatic JuliaFormatter.jl run (#744) (@github-actions[bot]) - Refactor exp utils to their own module (#745) (@mforets) - Use latest supported version of frozen packages (=) (#746) (@schillic) - Remove unused pictures (#747) (@schillic) - Spell check (#748) (@schillic) - Update discrete_time.md (#752) (@mforets) - Remove internal concrete sih (#754) (@mforets) - CompatHelper: bump compat for RecursiveArrayTools to 3, (keep existing compat) (#755) (@github-actions[bot]) - Fix warnings in tests (#756) (@schillic) - #757 - Fix invalid comments in examples (#758) (@schillic) - v0.22.2 (#759) (@schillic)

Closed issues: - Using Taylor-model algorithm in a loop (#731) - Cleanup tests folder (#735) - Failure to run some examples due to both Plots and ReachabilityAnalysis exporting "center" (#751) - Documenter error (#757)

- Julia
Published by github-actions[bot] over 2 years ago

reachabilityanalysis.jl - v0.22.1

ReachabilityAnalysis v0.22.1

Diff since v0.22.0

Closed issues: - Fix warnings in docs (#698)

Merged pull requests: - Fix documentation (#722) (@schillic) - IA.Interval -> IA.interval (#725) (@schillic) - Update to LazySets v2.11 (#728) (@schillic) - v0.22.1 (#729) (@schillic)

- Julia
Published by github-actions[bot] almost 3 years ago

reachabilityanalysis.jl - v0.22.0

ReachabilityAnalysis v0.22.0

Diff since v0.21.4

Closed issues: - normalize docs (dup) (#576) - Fix links in documentation (#591) - Plotting ignores order of variables (#678) - Apply JuliaReach format style (#693) - Broken Model Example Links in main README.md (#713) - convertoroverapproximate broken (#716) - Namespace conflict with DifferentialEquations: concretize (#718)

Merged pull requests: - Pass simulation kwargs in distributed setting (#688) (@schillic) - Fix Pade approximation and test exp (#691) (@schillic) - Update scripts/README/Project/docs, format code, fix linter warnings (#694) (@schillic) - Remove redundant method (#695) (@schillic) - autoformatter changes (#696) (@mforets) - Remove resetmap methods (#697) (@schillic) - #576 - Restrict module in docs building (#699) (@schillic) - Use LazySets for expv (#704) (@schillic) - Fix documentation of ASB07 (#705) (@schillic) - Fix index bug in overapproximateintervallinearmap (#706) (@schillic) - Add split for scalar matrix (#707) (@schillic) - Update package bounds (#710) (@schillic) - Auto-format script (#711) (@schillic) - Fix broken links (#714) (@mforets) - Use correct compatible lower bound (#715) (@schillic) - #716 #718 - Fix convertoroverapproximate and concretize (#717) (@schillic) - Remove logarithmicnorm (#719) (@schillic) - CompatHelper: bump compat for ReachabilityBase to 0.2, (keep existing compat) (#720) (@github-actions[bot]) - Update Project.toml (#721) (@mforets)

- Julia
Published by github-actions[bot] almost 3 years ago

reachabilityanalysis.jl - v0.21.4

ReachabilityAnalysis v0.21.4

Diff since v0.21.3

Merged pull requests: - #678 - Fix projection of 2D result with vars=(2,1) (#679) (@schillic)

- Julia
Published by github-actions[bot] over 3 years ago

reachabilityanalysis.jl - v0.21.3

ReachabilityAnalysis v0.21.3

Diff since v0.21.2

Merged pull requests: - Update Symbolics in tests (#675) (@schillic)

- Julia
Published by github-actions[bot] over 3 years ago

reachabilityanalysis.jl - v0.21.2

ReachabilityAnalysis v0.21.2

Diff since v0.21.1

Merged pull requests: - Fix plot recipe of ShiftedFlowpipe (#674) (@schillic)

- Julia
Published by github-actions[bot] over 3 years ago

reachabilityanalysis.jl - v0.21.1

ReachabilityAnalysis v0.21.1

Diff since v0.21.0

Closed issues: - 1234567890 (#668) - References for the quadrotor example (#669)

Merged pull requests: - Fix bouncing-ball example (#665) (@schillic) - Use Julia v1.8 in CI (#666) (@schillic) - CompatHelper: bump compat for TaylorIntegration to 0.10, (keep existing compat) (#667) (@github-actions[bot]) - #669 - Add references for quadrotor example (#670) (@schillic) - Remove unused type parameters (#671) (@schillic) - CompatHelper: bump compat for MathematicalSystems to 0.13, (keep existing compat) (#672) (@github-actions[bot]) - Update Project.toml (#673) (@schillic)

- Julia
Published by github-actions[bot] over 3 years ago

reachabilityanalysis.jl - v0.21.0

ReachabilityAnalysis v0.21.0

Diff since v0.20.0

Closed issues: - Type piracy for LinearAlgebra.I (#649)

Merged pull requests: - Update to LazySets v2 (#660) (@schillic) - Update Project.toml (#662) (@schillic)

- Julia
Published by github-actions[bot] almost 4 years ago

reachabilityanalysis.jl - v0.20.0

ReachabilityAnalysis v0.20.0

Diff since v0.19.0

Merged pull requests: - Support new version of MathematicalSystems (#659) (@schillic)

- Julia
Published by github-actions[bot] almost 4 years ago

reachabilityanalysis.jl - v0.19.0

ReachabilityAnalysis v0.19.0

Diff since v0.18.8

Closed issues: - TMJets gives different results based on set representation of X0 (#623) - Precision loss in conversion between Taylor model and zonotope of low order (#654)

Merged pull requests: - Discretization w/krylov helper functions (#652) (@mforets) - Update scripts (#653) (@schillic) - #654 - Fix zonotope->TM conversion for low order (#655) (@schillic) - Consistent printing of discretization structs (#656) (@schillic) - Change default discretization of GLGM06 (#657) (@schillic)

- Julia
Published by github-actions[bot] almost 4 years ago

reachabilityanalysis.jl - v0.18.8

ReachabilityAnalysis v0.18.8

Diff since v0.18.7

Merged pull requests: - Update ci.yml (#645) (@mforets) - Rename FirstOrderddt -> SecondOrderddt (#646) (@schillic) - Shrink some plots in documentation (#648) (@schillic) - Fix overapproximate(::TMRS, Hyperrectangle) (#650) (@schillic) - cleanup reduce_order and update generated tests (#651) (@mforets)

- Julia
Published by github-actions[bot] almost 4 years ago

reachabilityanalysis.jl - v0.18.7

ReachabilityAnalysis v0.18.7

Diff since v0.18.6

Closed issues: - Integrate with Flowstar.jl (#640)

Merged pull requests: - Integrate with Flowstar.jl (#641) (@mforets) - Add TaylorModels import (#643) (@schillic) - Update Project.toml (#644) (@mforets)

- Julia
Published by github-actions[bot] almost 4 years ago

reachabilityanalysis.jl - v0.18.6

ReachabilityAnalysis v0.18.6

Diff since v0.18.5

Closed issues: - Fixes for HybridSystems v0.4 (#637)

Merged pull requests: - #637 - Fixes for HybridSystems v0.4 (#638) (@schillic) - Update Project.toml (#639) (@schillic)

- Julia
Published by github-actions[bot] almost 4 years ago

reachabilityanalysis.jl - v0.18.5

ReachabilityAnalysis v0.18.5

Diff since v0.18.4

Merged pull requests: - Fix typo (#632) (@schillic) - update docs (#633) (@mforets)

- Julia
Published by github-actions[bot] about 4 years ago

reachabilityanalysis.jl - v0.18.4

ReachabilityAnalysis v0.18.4

Diff since v0.18.3

Closed issues: - Fix example in the readme (#625)

Merged pull requests: - Replace auxiliary method outsourced to IntervalArithmetic (#631) (@schillic)

- Julia
Published by github-actions[bot] about 4 years ago

reachabilityanalysis.jl - v0.18.3

ReachabilityAnalysis v0.18.3

Diff since v0.18.2

Merged pull requests: - extend isdisjoint for set unions (#629) (@mforets) - Extend AbstractLazyReachSet operations to unions (#630) (@schillic)

- Julia
Published by github-actions[bot] about 4 years ago

reachabilityanalysis.jl - v0.18.2

ReachabilityAnalysis v0.18.2

Diff since v0.18.1

Merged pull requests: - update deprecated constructor (#627) (@mforets) - update overapproximate (#628) (@mforets)

- Julia
Published by github-actions[bot] about 4 years ago

reachabilityanalysis.jl - v0.18.1

ReachabilityAnalysis v0.18.1

Diff since v0.18.0

Merged pull requests: - Add initial version of the CARLIN algorithm (#626) (@mforets)

- Julia
Published by github-actions[bot] about 4 years ago

reachabilityanalysis.jl - v0.18.0

ReachabilityAnalysis v0.18.0

Diff since v0.17.1

Merged pull requests: - Bump compat for TM and other packages (#621) (@schillic) - Broken link (#622) (@joaquimpuig)

- Julia
Published by github-actions[bot] about 4 years ago

reachabilityanalysis.jl - v0.17.1

ReachabilityAnalysis v0.17.1

Diff since v0.17.0

Closed issues: - Fix construction of TaylorModelN in subdomain evaluation to Zonotope (#613)

Merged pull requests: - Subdomain overapproximation of TM using zonotopes (#618) (@mforets)

- Julia
Published by github-actions[bot] about 4 years ago

reachabilityanalysis.jl - v0.17.0

ReachabilityAnalysis v0.17.0

Diff since v0.16.5

Closed issues: - Operations with zonotopes in the documentation (#597) - Example plot fails (tickfont_pointsize) (Plots regression) (#606) - ReachabilityAnalysis (#610) - sampling (#614)

Merged pull requests: - update tests (#600) (@mforets) - Refactor transmission line example and fix text (#615) (@mforets) - Rename docs generation folder (#616) (@schillic) - #585 Add parameter for the coeffs type in TaylorModelReachSet (#617) (@dfcaporale)

- Julia
Published by github-actions[bot] about 4 years ago

reachabilityanalysis.jl - v0.16.5

ReachabilityAnalysis v0.16.5

Diff since v0.16.4

Merged pull requests: - Fix overapproximate(::TMRS, ::Zonotope, ::AbstractFloat) (#609) (@schillic)

- Julia
Published by github-actions[bot] over 4 years ago

reachabilityanalysis.jl - v0.16.4

ReachabilityAnalysis v0.16.4

Diff since v0.16.3

Closed issues: - solve a system with control input (#595) - Intersection of two reach sets (#598) - Fix CI build in v1.7 (#607)

Merged pull requests: - cleanup deps (#599) (@mforets) - fix typo: duplicate "of" (#601) (@hpodhaisky) - Update CI scripts (#602) (@schillic) - Optional dom argument for TM/zonotope overapproximation (#603) (@schillic) - Update the query for number of BLAS threads (#604) (@ViralBShah) - CompatHelper: bump compat for TaylorSeries to 0.12, (keep existing compat) (#605) (@github-actions[bot]) - Update Project.toml (#608) (@mforets)

- Julia
Published by github-actions[bot] over 4 years ago

reachabilityanalysis.jl - v0.16.3

ReachabilityAnalysis v0.16.3

Diff since v0.16.2

Merged pull requests: - Revise scripts (#586) (@schillic) - Fix CI script (#587) (@schillic) - Skip CI when changing README (#589) (@schillic) - Fix docs problem (#590) (@schillic) - Fix transition method (#592) (@schillic) - aligned css (#593) (@mforets) - Use Julia v1.7 in CI (#594) (@schillic)

- Julia
Published by github-actions[bot] over 4 years ago

reachabilityanalysis.jl - v0.16.2

ReachabilityAnalysis v0.16.2

Diff since v0.16.1

Merged pull requests: - New version of TaylorModels (#579) (@schillic)

- Julia
Published by github-actions[bot] over 4 years ago

reachabilityanalysis.jl - v0.16.1

ReachabilityAnalysis v0.16.1

Diff since v0.16.0

Merged pull requests: - Fix memory issues with CorrectionHull (#578) (@schillic)

- Julia
Published by github-actions[bot] over 4 years ago

reachabilityanalysis.jl - v0.16.0

ReachabilityAnalysis v0.16.0

Diff since v0.15.3

Closed issues: - Implemented CorrectionHull approximation model when the input set does not contain the origin (#253) - Discretization method over continuous convex hull (#441)

Merged pull requests: - docs index tweaks (#564) (@mforets) - add forward backward method with continuous CH set (#565) (@mforets) - Automatically convert to interval matrix in CorrectionHull (#567) (@schillic) - Zonotope discretization (#568) (@schillic) - First-order discretization (#569) (@schillic) - Simplify computation in d/dt discretization method (#571) (@schillic) - Finish correction hull (#572) (@schillic) - Generalize ORBIT to nondeterministic inputs (#574) (@schillic) - Update discretization methods names (#577) (@mforets)

- Julia
Published by github-actions[bot] over 4 years ago

reachabilityanalysis.jl - v0.15.3

ReachabilityAnalysis v0.15.3

Diff since v0.15.2

Merged pull requests: - Update make.jl (#560) (@mforets) - refactor algs, update docs (#561) (@mforets) - CompatHelper: bump compat for "IntervalArithmetic" to "0.20" (#562) (@github-actions[bot]) - fix homogenize name typo (#563) (@mforets)

- Julia
Published by github-actions[bot] over 4 years ago

reachabilityanalysis.jl - v0.15.2

ReachabilityAnalysis v0.15.2

Diff since v0.15.1

Merged pull requests: - Fix simulation of hybrid system from initial set (#549) (@schillic) - CompatHelper: bump compat for "IntervalMatrices" to "0.7" (#550) (@github-actions[bot]) - Change kronpowstack (#551) (@schillic) - Add case N = 1 for kronpow (#552) (@schillic) - Outsource some CARLIN code (#553) (@schillic) - refactor docs (#554) (@mforets) - Parse LGG09 template as symbol (#555) (@mforets) - Add homogeneize for 2nd order systems (#556) (@mforets) - New version of IntervalMatrices (#557) (@schillic) - use isdisjoint instead of isintersection_empty (#559) (@mforets)

- Julia
Published by github-actions[bot] over 4 years ago

reachabilityanalysis.jl - v0.15.1

ReachabilityAnalysis v0.15.1

Diff since v0.15.0

Closed issues: - Choose the number of trajectories for simulation (#537) - include_vertices in simulation does not work (#538) - Conflict with states (DifferentialEquations and HybridSystems) (#542) - Use @commutative defined in LazySets (#543)

Merged pull requests: - update solve.jl (#523) (@mforets) - Update basics.md (#535) (@mforets) - Add discretization method from d/dt (#536) (@schillic) - Fix control of simulation count and name conflict (#539) (@schillic) - Simulation for hybrid systems (#540) (@schillic) - Update basics.md (#541) (@pitmonticone) - #543 - Use commutative macro from LazySets (#544) (@schillic) - CompatHelper: bump compat for "IntervalArithmetic" to "0.19" (#545) (@github-actions[bot]) - docs update (#546) (@mforets)

- Julia
Published by github-actions[bot] almost 5 years ago

reachabilityanalysis.jl - v0.15.0

ReachabilityAnalysis v0.15.0

Diff since v0.14.17

Closed issues: - Warning when precompiling (#530)

Merged pull requests: - reach-set constructors for time points (#525) (@mforets) - cleanup CARLIN stuff (#526) (@mforets) - Refactor kron_pow (#527) (@schillic) - Fix typo (#529) (@schillic) - init fix, update some docs (#531) (@mforets) - Add dim alias for LGG09 (#532) (@mforets) - update flowpipe ops (#533) (@mforets) - Update Project.toml (#534) (@mforets)

- Julia
Published by github-actions[bot] almost 5 years ago

reachabilityanalysis.jl - v0.14.17

ReachabilityAnalysis v0.14.17

Diff since v0.14.16

Closed issues: - Use CommonSolve (#417)

Merged pull requests: - use common solve (#522) (@mforets)

- Julia
Published by github-actions[bot] almost 5 years ago

reachabilityanalysis.jl - v0.14.16

ReachabilityAnalysis v0.14.16

Diff since v0.14.15

Merged pull requests: - fix recipe for TM (#519) (@mforets) - new setops zono (#520) (@mforets)

- Julia
Published by github-actions[bot] almost 5 years ago

reachabilityanalysis.jl - v0.14.15

ReachabilityAnalysis v0.14.15

Diff since v0.14.14

Merged pull requests: - use shrink wrapping in TMJets20 (#516) (@mforets) - New option in reduce order to force reduction (#517) (@mforets) - Update Project.toml (#518) (@mforets)

- Julia
Published by github-actions[bot] almost 5 years ago

reachabilityanalysis.jl - v0.14.14

ReachabilityAnalysis v0.14.14

Diff since v0.14.13

Merged pull requests: - Add cluster function for cartesian decompositions (#514) (@mforets)

- Julia
Published by github-actions[bot] about 5 years ago

reachabilityanalysis.jl - v0.14.13

ReachabilityAnalysis v0.14.13

Diff since v0.14.12

Merged pull requests: - Add time and space splitting options for box OA of a TMReachSet (#512) (@mforets) - updates for TemplateHullIntersection (#513) (@mforets)

- Julia
Published by github-actions[bot] about 5 years ago

reachabilityanalysis.jl - v0.14.12

ReachabilityAnalysis v0.14.12

Diff since v0.14.11

Merged pull requests: - update solve and samples (#511) (@mforets)

- Julia
Published by github-actions[bot] about 5 years ago

reachabilityanalysis.jl - v0.14.11

ReachabilityAnalysis v0.14.11

Diff since v0.14.10

Merged pull requests: - Add shrink wrapping method for TM reach-sets (#508) (@mforets) - add patch in conversion (#509) (@mforets)

- Julia
Published by github-actions[bot] about 5 years ago

reachabilityanalysis.jl - v0.14.10

ReachabilityAnalysis v0.14.10

Diff since v0.14.9

Merged pull requests: - Fix linearmap/affinemap of MixedFlowpipe (#507) (@schillic)

- Julia
Published by github-actions[bot] about 5 years ago

reachabilityanalysis.jl - v0.14.9

ReachabilityAnalysis v0.14.9

Diff since v0.14.8

Closed issues: - Pass backend to FallbackIntersection (#502)

Merged pull requests: - #502 - Pass backend to FallBackIntersection (#503) (@mforets) - rem fix in overapproximate methods for TM reachset (#504) (@mforets) - linearmap/affinemap for MixedFlowpipe (#505) (@schillic)

- Julia
Published by github-actions[bot] about 5 years ago

reachabilityanalysis.jl - v0.14.8

ReachabilityAnalysis v0.14.8

Diff since v0.14.7

Merged pull requests: - bump TaylorModels version (#500) (@mforets)

- Julia
Published by github-actions[bot] about 5 years ago

reachabilityanalysis.jl - v0.14.7

ReachabilityAnalysis v0.14.7

Diff since v0.14.6

Merged pull requests: - Remove redundant generators when plotting zonotopes (#497) (@schillic) - update plot recipe (#498) (@mforets) - add option to remove generators (#499) (@mforets)

- Julia
Published by github-actions[bot] about 5 years ago

reachabilityanalysis.jl - v0.14.6

ReachabilityAnalysis v0.14.6

Diff since v0.14.5

Closed issues: - Check remainder after evaluation of TM -> Zonotope at a point (#495)

Merged pull requests: - add oa structured full case (#494) (@mforets) - Changes to skip first set (#496) (@mforets)

- Julia
Published by github-actions[bot] about 5 years ago

reachabilityanalysis.jl - v0.14.5

ReachabilityAnalysis v0.14.5

Diff since v0.14.4

Merged pull requests: - missing union method (#493) (@mforets)

- Julia
Published by github-actions[bot] about 5 years ago

reachabilityanalysis.jl - v0.14.4

ReachabilityAnalysis v0.14.4

Diff since v0.14.3

Merged pull requests: - apply method for templates with identity map (#489) (@mforets) - add temp solution for initialize of CP (#490) (@mforets) - some missing methods for disjointness checks (#491) (@mforets) - Update Project.toml (#492) (@mforets)

- Julia
Published by github-actions[bot] about 5 years ago

reachabilityanalysis.jl - v0.14.3

ReachabilityAnalysis v0.14.3

Diff since v0.14.2

Merged pull requests: - new apply con set unions (#484) (@mforets) - Structured zonotope to TM conversions (#485) (@mforets) - fix tspan in TMJets solvers (#486) (@mforets) - add methods for LGG09 homo case w/invariant (#487) (@mforets) - Update Project.toml (#488) (@mforets)

- Julia
Published by github-actions[bot] about 5 years ago

reachabilityanalysis.jl - v0.14.2

ReachabilityAnalysis v0.14.2

Diff since v0.14.1

Merged pull requests: - Fix ambiguity in BFFPSV18 (#482) (@schillic)

- Julia
Published by github-actions[bot] about 5 years ago

reachabilityanalysis.jl - v0.14.1

ReachabilityAnalysis v0.14.1

Diff since v0.14.0

Merged pull requests: - update GLGM06, inhomog, static (#480) (@mforets) - Fix undefined-variable error (#481) (@schillic)

- Julia
Published by github-actions[bot] about 5 years ago

reachabilityanalysis.jl - v0.14.0

ReachabilityAnalysis v0.14.0

Diff since v0.13.1

Merged pull requests: - fixes for BFFPSV18 (#476) (@mforets) - Updates on TMJets algorithms interface (#478) (@mforets)

- Julia
Published by github-actions[bot] about 5 years ago

reachabilityanalysis.jl - v0.13.1

ReachabilityAnalysis v0.13.1

Diff since v0.13.0

Merged pull requests: - Fix variable name (#474) (@schillic)

- Julia
Published by github-actions[bot] about 5 years ago

reachabilityanalysis.jl - v0.13.0

ReachabilityAnalysis v0.13.0

Diff since v0.12.2

Closed issues: - Approximation at time points (#421) - Inconsistent flowpipes with TMJets (#468)

Merged pull requests: - update on symbolics functions (#466) (@mforets) - CompatHelper: bump compat for "TaylorSeries" to "0.11" (#467) (@github-actions[bot]) - fixes in TMJets initialization (#470) (@mforets) - fix in TMJets (#472) (@mforets) - Update Project.toml (#473) (@mforets)

- Julia
Published by github-actions[bot] about 5 years ago

reachabilityanalysis.jl - v0.12.2

ReachabilityAnalysis v0.12.2

Diff since v0.12.1

Closed issues: - Plotting of flowpipes merges segments (#462)

Merged pull requests: - Add utility functions for Jacobians through Symbolics.jl (new optional dep) (#461) (@mforets) - #462 - Plotting of flowpipes merges segments (#463) (@schillic)

- Julia
Published by github-actions[bot] about 5 years ago

reachabilityanalysis.jl - v0.12.1

ReachabilityAnalysis v0.12.1

Diff since v0.12.0

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])

- Julia
Published by github-actions[bot] about 5 years ago

reachabilityanalysis.jl - v0.12.0

ReachabilityAnalysis v0.12.0

Diff since v0.11.0

Closed issues: - Zonotope initial condition for TMJets (#199)

Merged pull requests: - #199 - Changes to accept an initial TM in TMJets algorithm (#436) (@mforets) - refactor and fix TM init set (#438) (@mforets)

- Julia
Published by github-actions[bot] over 5 years ago

reachabilityanalysis.jl - v0.11.0

ReachabilityAnalysis v0.11.0

Diff since v0.10.2

Merged pull requests: - reduce allocs in BOX homog case (#429) (@mforets) - box oa discretization post op (#431) (@mforets) - update MT to Symbolics (#433) (@mforets)

- Julia
Published by github-actions[bot] over 5 years ago

reachabilityanalysis.jl - v0.10.2

ReachabilityAnalysis v0.10.2

Diff since v0.10.1

Merged pull requests: - add zonotope oa of TMReachsets with a time point (#427) (@mforets)

- Julia
Published by github-actions[bot] over 5 years ago

reachabilityanalysis.jl - v0.10.1

ReachabilityAnalysis v0.10.1

Diff since v0.10.0

Closed issues: - Releases (#111)

Merged pull requests: - LGG09 with real eigenvalues (#381) (@mforets) - update ORBIT (#419) (@mforets) - Update ci.yml (#420) (@schillic) - Update in conservative discretization (#422) (@mforets) - add VREP sdof tests (#423) (@mforets) - Update Project.toml (#424) (@mforets) - functions for reach homog with real eig (#425) (@mforets)

- Julia
Published by github-actions[bot] over 5 years ago

reachabilityanalysis.jl - v0.10.0

ReachabilityAnalysis v0.10.0

Diff since v0.9.1

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)

- Julia
Published by github-actions[bot] over 5 years ago

reachabilityanalysis.jl - v0.9.1

ReachabilityAnalysis v0.9.1

Diff since v0.9.0

Merged pull requests: - CompatHelper: bump compat for "StaticArrays" to "1.0" (#377) (@github-actions[bot])

- Julia
Published by github-actions[bot] over 5 years ago

reachabilityanalysis.jl - v0.9.0

ReachabilityAnalysis v0.9.0

Diff since v0.8.1

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)

- Julia
Published by github-actions[bot] over 5 years ago

reachabilityanalysis.jl - v0.8.1

ReachabilityAnalysis v0.8.1

Diff since v0.8.0

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)

- Julia
Published by github-actions[bot] over 5 years ago

reachabilityanalysis.jl - v0.8.0

ReachabilityAnalysis v0.8.0

Diff since v0.7.7

Closed issues: - GLGM06 with OctDirections in Platooning model fails (#244)

Merged pull requests: - bugs in transitions.jl (#311) (@dfcaporale) - Generalize to initial interval time shift in continuous solvers (#313) (@mforets)

- Julia
Published by github-actions[bot] almost 6 years ago

reachabilityanalysis.jl - v0.7.7

ReachabilityAnalysis v0.7.7

Diff since v0.7.6

Closed issues: - Add disease model to the Applications section in the docs (#51) - A simple SEIR model (#195) - Wrong title in Lorenz example in documentation (#299)

Merged pull requests: - Add spacecraft example (#281) (@SebastianGuadalupe) - add HPolyhedron constructor (#282) (@mforets) - Add platooning example (#283) (@SebastianGuadalupe) - Add MT to docs deps (#284) (@mforets) - Add building example (#285) (@SebastianGuadalupe) - #195 - Add SEIR model (#286) (@SebastianGuadalupe) - Add quadrotor example (#288) (@SebastianGuadalupe) - Add Lotka-Volterra example (#289) (@SebastianGuadalupe) - Add Lorenz example (#290) (@SebastianGuadalupe) - Adds ISS benchmark to documentation (#291) (@dfcaporale) - cleanup MT code (#293) (@mforets) - cleanup zontope splitting methods (#294) (@mforets) - Add production-destruction model (#296) (@mforets) - concrete project - methods for TemplateReachSet and implementation in… (#297) (@dfcaporale) - update docs (#301) (@mforets) - ISS is not an ODE (#302) (@mforets) - op-amp from scratch (#303) (@dfcaporale) - Update Vanderpol example (#305) (@SebastianGuadalupe) - impove generic apply method (#306) (@mforets) - bump julia version (#308) (@mforets)

- Julia
Published by github-actions[bot] almost 6 years ago

reachabilityanalysis.jl - v0.7.6

ReachabilityAnalysis v0.7.6

Diff since v0.7.5

Closed issues: - Add method to @map (#278) - Add method to StateInLocation (#279)

Merged pull requests: - update projection and concrete linear map (#276) (@mforets) - add projection methods for solutions (#277) (@mforets) - Update waiting_list.jl (#280) (@mforets)

- Julia
Published by github-actions[bot] almost 6 years ago

reachabilityanalysis.jl - v0.7.5

ReachabilityAnalysis v0.7.5

Diff since v0.7.4

Closed issues: - Emit warning if hybrid solve hits max_jumps (#264)

Merged pull requests: - fix emptiness check in hybrid solve (#258) (@mforets) - fix TMJets when the first reach-set is empty (#262) (@mforets) - update LGG09 (#263) (@mforets) - #264 - Add warning if max_jumps is reached (#266) (@mforets) - update forward approx for the initial states (#267) (@mforets) - remove empty intersection in apply methods (#269) (@mforets)

- Julia
Published by github-actions[bot] almost 6 years ago

reachabilityanalysis.jl - v0.7.4

ReachabilityAnalysis v0.7.4

Diff since v0.7.3

Merged pull requests: - Add LGG09 algorithm using expv (#246) (@mforets) - Update README.md (#247) (@mforets) - Add HalfSpace and Hyperplane symbolic constructors (#248) (@mforets) - fix a bug in nomalization of CS (#249) (@mforets) - Fix tspan for hybrid flowpipes (#250) (@mforets) - fix eval functions for hybrid flowpipes (#251) (@mforets) - Update discretization (#255) (@mforets)

- Julia
Published by github-actions[bot] almost 6 years ago

reachabilityanalysis.jl - v0.7.3

ReachabilityAnalysis v0.7.3

Diff since v0.7.2

Merged pull requests: - Extend inclusion tests for flowpipes (#242) (@mforets) - Fix dim for constrained reset map method + overapprox with an HPolytope (#243) (@mforets)

- Julia
Published by github-actions[bot] almost 6 years ago

reachabilityanalysis.jl - v0.7.2

ReachabilityAnalysis v0.7.2

Diff since v0.7.1

Merged pull requests: - Add conversion from hyperrectangular / zonotopic sets to TMReachSets (#239) (@mforets) - Extend THull apply for lazysets (#240) (@mforets) - Pass ext dictionary in overapproximation of flowpipes (#241) (@mforets)

- Julia
Published by github-actions[bot] almost 6 years ago

reachabilityanalysis.jl - v0.7.1

ReachabilityAnalysis v0.7.1

Diff since v0.7.0

Merged pull requests: - Add transmission line example (#234) (@mforets) - Add Brusselator model (#235) (@mforets) - fixes in transitions (#236) (@mforets) - Lazy clustering for TM flowpipes (#237) (@mforets)

- Julia
Published by github-actions[bot] almost 6 years ago

reachabilityanalysis.jl - v0.7.0

ReachabilityAnalysis v0.7.0

Diff since v0.6.0

Closed issues: - Expose BFFPSV18 algorithm (#25) - Warning when trying to solve nonlinear ODE (#181) - Generalize discrete evolution for several reach-sets (#200) - Duck typing LGG09 options (#206) - Error when trying to overapproximate flowpipe (#213) - Generalize cluster functions for more reach-set type (#226) - Generalize convexify functions for SparseReachSet (#229)

Merged pull requests: - #206 - Duck typing LGG09 options (#212) (@mforets) - Let TMJets options be passed outside the struct (#214) (@mforets) - add in-place splitting (#215) (@mforets) - Add split function for zonotopes (#216) (@SebastianGuadalupe) - add some missing conversion methods (#217) (@mforets) - extend discretization for interval matrix (#218) (@mforets) - Add sparse and cache options to LGG09 (#220) (@mforets) - Clustering + alg udpates (#221) (@mforets) - Add Van-der-Pol model to documentation (#222) (@schillic) - Refactoring + Updates on van de Pol example (#223) (@mforets) - Projection + invariant updates (LGG09, BFFPSV18) (#224) (@mforets) - issue #225 for dense matrix ops (#227) (@dfcaporale) - issue #226 - generalize cluster functions for AbstractLazyReachSet (#228) (@dfcaporale) - issue #229 - Generalize convexify function for SparseReachSet (#230) (@dfcaporale) - Update Project.toml (#233) (@mforets)

- Julia
Published by github-actions[bot] almost 6 years ago

reachabilityanalysis.jl - v0.6.0

ReachabilityAnalysis v0.6.0

Diff since v0.5.1

Closed issues: - BoundsError for nonlinear ODE (#179) - Add template hull intersection for discrete transitions (#207) - Add "discrete time" approximation model (#208)

Merged pull requests: - Distributed initial conditions for hybrid problems (#187) (@mforets) - Use exact tdom in overapproximation of Taylor models (#189) (@mforets) - Changes in hybrid solve for TMJets (#191) (@mforets) - fix hybrid constructor (#193) (@mforets) - Add hybrid lotka-volterra model (#196) (@mforets) - Intersection of TMs with set union of half-spaces (#197) (@mforets) - Add location getter for flowpipes (#198) (@mforets) - Add TemplateHullIntersection (#202) (@mforets) - Add LGG09 (#203) (@mforets) - BFFPSV18 with inputs + update lazy projection (#205) (@mforets) - Add NoBloating approximation model (#209) (@mforets) - Add (generic) template hull intersection for discrete transitions' (#210) (@mforets) - fix tests (#211) (@mforets)

- Julia
Published by github-actions[bot] about 6 years ago

reachabilityanalysis.jl - v0.5.1

ReachabilityAnalysis v0.5.1

Diff since v0.5.0

Merged pull requests: - Update transitions + time_shift (#175) (@mforets) - deps (#176) (@mforets) - Time shift fixes (#177) (@mforets) - Hybrid solve (#178) (@mforets) - Add docs for some common gotchas using TMJets (#180) (@mforets) - Add rsetrep for solutions (#182) (@mforets) - Dummy algorithm for disjointness check (#184) (@mforets) - Fix dim getter function of identity map (#185) (@mforets) - Update constructors.jl (#186) (@mforets) - Update Project.toml (#188) (@mforets)

- Julia
Published by github-actions[bot] about 6 years ago

reachabilityanalysis.jl - v0.5.0

ReachabilityAnalysis v0.5.0

Diff since v0.4.1

Merged pull requests: - Add adaptive abs_tol option for TMJets (#160) (@mforets) - BFFPSV18 - some homogeneous cases (#164) (@mforets) - adds Convexify to exports.jl (#166) (@dfcaporale) - Overload some set methods over reach sets (#167) (@mforets) - Add some operations for unions (#168) (@mforets) - Discrete transitions (#169) (@mforets) - Allow time-span for flowpipe slices (#170) (@mforets) - Update references.md (#171) (@mforets) - Update Project.toml (#174) (@mforets)

- Julia
Published by github-actions[bot] about 6 years ago

reachabilityanalysis.jl - v0.4.1

ReachabilityAnalysis v0.4.1

Diff since v0.4.0

Merged pull requests: - WIP - Concrete projection of Flowpipe (#145) (@mforets) - Add intersection with invariant in TMJets (#153) (@mforets) - Refactor + small improvements in order reduction functions (#155) (@mforets) - Update Project.toml (#159) (@mforets)

- Julia
Published by github-actions[bot] about 6 years ago

reachabilityanalysis.jl - v0.4.0

ReachabilityAnalysis v0.4.0

Diff since v0.3.0

Closed issues: - HA - Clocked linear dynamics (#7) - Fix error msg handling in incorrect time span (#68) - Multithreading for mixed flowpipes (#105) - Update references (#114) - Check reduceorder function (from setops.jl) (#120) - Admit interval for jitter in HACLD1 (#131)

Merged pull requests: - Update solve.jl (#118) (@mforets) - revised order reduction methods (#121) (@mforets) - Update references (#122) (@mforets) - undef for Flowpipe (#123) (@mforets) - update GLGM06 (#124) (@mforets) - Non-recursive implementation for ASB07 (#125) (@mforets) - Fix rsetrep in ASB07 + add test (#126) (@mforets) - add more accurate conversion to zonotope from lazy affine map (#127) (@mforets) - fix reduction for ASB07 (#128) (@mforets) - Update algorithm defaults + docs + cleanup (#129) (@mforets) - Add value type parameters (#130) (@mforets) - Cleanup tspan conversions (#133) (@mforets) - Generalize jitter in clocked systems (#134) (@mforets) - Lazily shift flowpipes in time triggered problems (#135) (@mforets) - Fix tspan for Shifted flowpipes (#140) (@mforets) - Add plot recipe for lazily shifted flowpipe (#141) (@mforets) - Fix number of stored sets in switched system (#142) (@mforets) - Update algorithms for reachability with inputs (#143) (@mforets) - Fix BOX (#144) (@mforets) - Bump LazySets (#150) (@schillic) - Use artifact cache on Travis (#151) (@schillic) - Zonotope splitting methods for static arrays (#152) (@mforets) - Update Project.toml (#154) (@mforets)

- Julia
Published by github-actions[bot] about 6 years ago

reachabilityanalysis.jl - v0.3.0

ReachabilityAnalysis v0.3.0

Diff since v0.1.0

Closed issues: - Update installation link when registered (#1) - Register package (#2) - Fix dim (#31) - Use LazySets.AbstractDirections in TemplateReachSet (#49) - Add INT & BOX algorithms to docs (#52) - Add setrep as type parameter in algorithms? (#67) - Add tests for ASB07 (#92) - Duck-typing tspan (#103) - Releases (#111)

Merged pull requests: - Add LGG09 algorithm (#90) (@mforets) - various updates in ASB07 (#91) (@mforets) - bump LazySets dep (#95) (@mforets) - Invariant checks for INT algorithm (#96) (@mforets) - Add tests for dimension (#98) (@mforets) - Test HACLD1 (#99) (@mforets) - update docs (#100) (@mforets) - Various updates in flowpipe structs + docs (#101) (@mforets) - Update sol docs (#102) (@mforets) - Update solve tests + tspan duck typing (#104) (@mforets) - ABS07 test for Linear ODE (#106) (@dfcaporale) - Support solving split initial conditions (#108) (@mforets) - Update Project.toml (#109) (@mforets) - Update flowpipes.jl (#110) (@mforets) - CompatHelper: bump compat for "IntervalArithmetic" to "0.17" (#112) (@github-actions[bot]) - Add test for NSTEPS + fix args bug (#113) (@mforets) - Update templates (#115) (@mforets) - Add threading for distributed initial sets (#116) (@mforets) - rsetrep to retrieve reach set rep for an algorithm (#117) (@mforets)

- Julia
Published by github-actions[bot] about 6 years ago

reachabilityanalysis.jl - v0.1.0

ReachabilityAnalysis v0.1.0

Closed issues: - Add keyword arguments to solvehybrid function (timetriggered.jl) (#34) - Use symbols in discretization? (#38) - Incompatible with Julia v1.0 and v1.2 (#63) - Let TMJets work with linear IVPs (#79)

Merged pull requests: - CompatHelper: bump compat for "TaylorIntegration" to "0.7" (#3) (@github-actions[bot]) - CompatHelper: add new compat entry for "StaticArrays" at version "0.12" (#4) (@github-actions[bot]) - CompatHelper: bump compat for "IntervalMatrices" to "0.3" (#5) (@github-actions[bot]) - CompatHelper: bump compat for "Optim" to "0.20" (#6) (@github-actions[bot]) - CompatHelper: bump compat for "MathematicalSystems" to "0.9" (#8) (@github-actions[bot]) - CompatHelper: bump compat for "IntervalMatrices" to "0.4" (#9) (@github-actions[bot]) - CompatHelper: bump compat for "MathematicalSystems" to "0.10" (#10) (@github-actions[bot]) - CompatHelper: bump compat for "RecipesBase" to "0.8" (#12) (@github-actions[bot]) - CompatHelper: bump compat for "TaylorIntegration" to "0.8" (#13) (@github-actions[bot]) - Various updates (#20) (@mforets) - add some tests for the solve API (#27) (@mforets) - More flowpipe types (#29) (@mforets) - time triggered + various updates (#33) (@mforets) - solve_hybrid: positional alguments to keyword (#35) (@dfcaporale) - remove type annotation of X0 (#36) (@dfcaporale) - update docs (#39) (@mforets) - add linear high dim docs (#40) (@mforets) - add 0.5 compat for IM (#41) (@mforets) - Mforets/asb07 (#42) (@mforets) - Mforets/38 (#43) (@mforets) - Changes in GLGM06, add static method (#44) (@mforets) - add example for scalar linear eq (#45) (@mforets) - Add INT algorithm (#46) (@mforets) - Update make.jl (#47) (@mforets) - Update README.md (#48) (@mforets) - Update README.md (#50) (@schillic) - Adjust common exports (#55) (@mforets) - Update index.md (#56) (@schillic) - Add hybrid flowpipe (#57) (@mforets) - Update about.md (#59) (@schillic) - Update .travis.yml (#61) (@mforets) - Add v1.4 to CI (#64) (@mforets) - cleanup (#65) (@mforets) - Various fixes (#75) (@mforets) - #79 - Update IVPs interface for TMJets (#80) (@mforets)

- Julia
Published by github-actions[bot] about 6 years ago