even more new versions

319abb5c · SOLIMAN Sylvain · c5991337 · 319abb5c · 319abb5c
Commit 319abb5c authored May 04, 2018 by SOLIMAN Sylvain
--- a/library/examples/RobustMonitoring/Bouncing_new.ipynb
+++ b/library/examples/RobustMonitoring/Bouncing_new.ipynb
@@ -153,6 +153,15 @@
    "plot."
   ]
  },
+  {
+   "cell_type": "code",
+   "execution_count": null,
+   "metadata": {},
+   "outputs": [],
+   "source": [
+    "%timeout 180"
+   ]
+  },
  {
   "cell_type": "code",
   "execution_count": 5,
 %% Cell type:code id: tags:
  
 ``` 
 load(ball.bc).
 ```
  
 %% Cell type:code id: tags:
  
 ``` 
 list_model.
 ```
  
 %% Output
  
    MA(c)for _=[v]=>x.
    g/c for v=>_.
    MA(D*c)for v=[v]=>_.
    present(x,x0).
    present(y,3.5).
    parameter(
      x0 = 8.725,
      D = -0.05,
      K = 0.75,
      g = 9.8,
      c = 1.0
    ).
    add_event(x<=0, c = -K*c).
  
 %% Cell type:code id: tags:
  
 ``` 
 list_ode.
 ```
  
 %% Output
  
    [0] d(v)/dt= -1*g/c-D*c*v^2
    [1] d(x)/dt=c*v
    [2] d(y)/dt=0
  
 %% Cell type:code id: tags:
  
 ``` 
 numerical_simulation.
 plot.
 ```
  
 %% Output
  
  
 %% Cell type:code id: tags:
  
 ``` 
+%timeout 180
+```
+
+%% Cell type:code id: tags:
+
+``` 
 seed(0).
 robustness(F(x < h /\ F(x > h)), [x0, K, D], [h -> 3.5]).
 ```
  
 %% Output
  
    Time: 129.124 s
    Robustness degree: 0.88414
  
 %% Cell type:code id: tags:
  
 ``` 
 validity_domain(F(x < h /\ F(x > h))).
 ```
  
 %% Output
  
    h<3.96646/\h> -1.0e-6
  
 %% Cell type:code id: tags:
  
 ``` 
 satisfaction_degree(F(x < h /\ F(x > h)), [h -> 3.5]).
 ```
  
 %% Output
  
    1.466440
  
 %% Cell type:code id: tags:
  
 ``` 
 seed(0).
 search_parameters(F(x < h /\ F(x > h)), [5 <= x0 <= 10, 0.5 <= K <= 1.0 , -0.1 <= D <= 0.0], [h -> 3.5], cmaes_stop_fitness: -0.5).
 ```
  
 %% Output
  
    Time: 22.517 s
    Stopping reason: Fitness: function value -5.72e-01 <= stopFitness (-5.00e-01)
    Best satisfaction degree: 2.339136
    [0] parameter(x0=9.555198250463423)
    [1] parameter(K=0.8014006370116868)
    [2] parameter(D= -0.058468364144163905)
  
 %% Cell type:code id: tags:
  
 ``` 
 numerical_simulation.
 plot.
 ```
  
 %% Output
  
  
 %% Cell type:code id: tags:
  
 ``` 
 satisfaction_degree(F(x < h /\ F(x > h)), [h -> 3.5]).
 ```
  
 %% Output
  
    2.339120
  
 %% Cell type:code id: tags:
  
 ``` 
 seed(0).
 robustness(F(x < h /\ F(x > h)), [x0, K, D], [h -> 3.5]).
 ```
  
 %% Output
  
    Time: 82.057 s
    Robustness degree: 0.930547
  
 %% Cell type:code id: tags:
  
 ``` 
 ```
--- a/library/examples/RobustMonitoring/Mapk_new.ipynb
+++ b/library/examples/RobustMonitoring/Mapk_new.ipynb