Code

Generalize jitter in clocked systems#134

Code

Merged

mforets merged 7 commits intomasterJuliaReach/ReachabilityAnalysis.jl:masterfrom mforets/jitter_intervalJuliaReach/ReachabilityAnalysis.jl:mforets/jitter_intervalCopy head branch name to clipboardApr 28, 2020

+327-100

Commits

Commits on Apr 25, 2020

• jitter type param (draft)

  mforets

  committed
  aea0bc9

  Copy full SHA for aea0bc9

Commits on Apr 26, 2020

• fix merge conflicts

  mforets

  committed
  f1c1d3e

  Copy full SHA for f1c1d3e

Commits on Apr 27, 2020

• admit interval values for jitter

  mforets

  committed
  13b1147

  Copy full SHA for 13b1147

• changes

  mforets

  committed
  15a3f78

  Copy full SHA for 15a3f78

• update

  mforets

  committed
  bb9afbd

  Copy full SHA for bb9afbd

• cleanup

  mforets

  committed
  c3fdcd1

  Copy full SHA for c3fdcd1

• decrease default ztol for EMBrake

  mforets

  committed
  9d58f43

  Copy full SHA for 9d58f43