search

mvcisback / magnumSTL

BSD 3-Clause "New" or "Revised" License
0 stars 4 forks source link

Include Local Lipshitz Condition #14

Open mvcisback opened 7 years ago

mvcisback commented 7 years ago
  1. [ ] Approximate sup using max
  2. [ ] Add constraints to avoid infeasible ball

  3. [ ] Include in measurement STL. Bound the next possible measurements:

    G[t, t+dt](x* <= x(t) <= x*+L/2)