Code

Revise models#783

Code

Merged

schillic merged 21 commits intomasterJuliaReach/ReachabilityAnalysis.jl:masterfrom schillic/examplesJuliaReach/ReachabilityAnalysis.jl:schillic/examplesCopy head branch name to clipboardFeb 27, 2024

+2,379-2,393

Commits

Commits on Feb 27, 2024

• revise Brusselator

  schillic

  committed
  b983c07

  Copy full SHA for b983c07

• revise Building

  schillic

  committed
  21e1c76

  Copy full SHA for 21e1c76

• revise DuffingOscillator

  schillic

  committed
  ee2aa4c

  Copy full SHA for ee2aa4c

• revise EMBrake

  schillic

  committed
  d05e0e6

  Copy full SHA for d05e0e6

• revise Heat3D

  schillic

  committed
  bd58c08

  Copy full SHA for bd58c08

• revise ISS

  schillic

  committed
  4f69cd9

  Copy full SHA for 4f69cd9

• revise LaubLoomis

  schillic

  committed
  ddfeef5

  Copy full SHA for ddfeef5

• revise Lorenz

  schillic

  committed
  e459844

  Copy full SHA for e459844

• revise LotkaVolterra

  schillic

  committed
  23d1342

  Copy full SHA for 23d1342

• revise SEIR

  schillic

  committed
  349bb52

  Copy full SHA for 349bb52

• revise SquareWaveOscillator

  schillic

  committed
  26c0f55

  Copy full SHA for 26c0f55

• revise OpAmp

  schillic

  committed
  341204b

  Copy full SHA for 341204b

• revise Platoon

  schillic

  committed
  7b2c07e

  Copy full SHA for 7b2c07e

• revise ProductionDestruction

  schillic

  committed
  ef8cd44

  Copy full SHA for ef8cd44

• revise Quadrotor

  schillic

  committed
  6c1589c

  Copy full SHA for 6c1589c

• revise TransmissionLine

  schillic

  committed
  cd819db

  Copy full SHA for cd819db

• revise VanDerPol

  schillic

  committed
  89b9532

  Copy full SHA for 89b9532

• revise Spacecraft

  schillic

  committed
  4ca19b4

  Copy full SHA for 4ca19b4

• revise LotkaVolterraTangential

  schillic

  committed
  c9af0ed

  Copy full SHA for c9af0ed

• copy images when building docs

  schillic

  committed
  ac330ab

  Copy full SHA for ac330ab

• update generated tests

  schillic

  committed
  1acd3d7

  Copy full SHA for 1acd3d7