Inner approximation of a capture set - ENSTA Bretagne · Inner approximation of a capture set T. Le...
Transcript of Inner approximation of a capture set - ENSTA Bretagne · Inner approximation of a capture set T. Le...
![Page 1: Inner approximation of a capture set - ENSTA Bretagne · Inner approximation of a capture set T. Le Mézo, L. Jaulin, B. Zerr Lab-STICC, ENSTA-Bretagne, UBO SWIM, Lyon, June 2016](https://reader034.fdocuments.in/reader034/viewer/2022042016/5e74ec814f5fe34e886bad5a/html5/thumbnails/1.jpg)
Capture setMaze
Computing←−T
Applications
Inner approximation of a capture set
T. Le Mézo, L. Jaulin, B. ZerrLab-STICC, ENSTA-Bretagne, UBO
SWIM, Lyon, June 2016
Inner approximation of a capture set
![Page 2: Inner approximation of a capture set - ENSTA Bretagne · Inner approximation of a capture set T. Le Mézo, L. Jaulin, B. Zerr Lab-STICC, ENSTA-Bretagne, UBO SWIM, Lyon, June 2016](https://reader034.fdocuments.in/reader034/viewer/2022042016/5e74ec814f5fe34e886bad5a/html5/thumbnails/2.jpg)
Capture setMaze
Computing←−T
Applications
Inner approximation of a capture set
![Page 3: Inner approximation of a capture set - ENSTA Bretagne · Inner approximation of a capture set T. Le Mézo, L. Jaulin, B. Zerr Lab-STICC, ENSTA-Bretagne, UBO SWIM, Lyon, June 2016](https://reader034.fdocuments.in/reader034/viewer/2022042016/5e74ec814f5fe34e886bad5a/html5/thumbnails/3.jpg)
Capture setMaze
Computing←−T
Applications
Capture set
Inner approximation of a capture set
![Page 4: Inner approximation of a capture set - ENSTA Bretagne · Inner approximation of a capture set T. Le Mézo, L. Jaulin, B. Zerr Lab-STICC, ENSTA-Bretagne, UBO SWIM, Lyon, June 2016](https://reader034.fdocuments.in/reader034/viewer/2022042016/5e74ec814f5fe34e886bad5a/html5/thumbnails/4.jpg)
Capture setMaze
Computing←−T
Applications
Definition. Given the state equation x= f(x).Let ϕ be the flow map.The capture set of the target T⊂ Rn is:
←−T = {x0 | ∃t ≥ 0,ϕ(t,x0) ∈ T} .
Inner approximation of a capture set
![Page 5: Inner approximation of a capture set - ENSTA Bretagne · Inner approximation of a capture set T. Le Mézo, L. Jaulin, B. Zerr Lab-STICC, ENSTA-Bretagne, UBO SWIM, Lyon, June 2016](https://reader034.fdocuments.in/reader034/viewer/2022042016/5e74ec814f5fe34e886bad5a/html5/thumbnails/5.jpg)
Capture setMaze
Computing←−T
Applications
Inner approximation of a capture set
![Page 6: Inner approximation of a capture set - ENSTA Bretagne · Inner approximation of a capture set T. Le Mézo, L. Jaulin, B. Zerr Lab-STICC, ENSTA-Bretagne, UBO SWIM, Lyon, June 2016](https://reader034.fdocuments.in/reader034/viewer/2022042016/5e74ec814f5fe34e886bad5a/html5/thumbnails/6.jpg)
Capture setMaze
Computing←−T
Applications
Maze
Inner approximation of a capture set
![Page 7: Inner approximation of a capture set - ENSTA Bretagne · Inner approximation of a capture set T. Le Mézo, L. Jaulin, B. Zerr Lab-STICC, ENSTA-Bretagne, UBO SWIM, Lyon, June 2016](https://reader034.fdocuments.in/reader034/viewer/2022042016/5e74ec814f5fe34e886bad5a/html5/thumbnails/7.jpg)
Capture setMaze
Computing←−T
Applications
An interval is a domain which encloses a real number.A polygon is a domain which encloses a vector of Rn.A maze is a domain which encloses a path.
Inner approximation of a capture set
![Page 8: Inner approximation of a capture set - ENSTA Bretagne · Inner approximation of a capture set T. Le Mézo, L. Jaulin, B. Zerr Lab-STICC, ENSTA-Bretagne, UBO SWIM, Lyon, June 2016](https://reader034.fdocuments.in/reader034/viewer/2022042016/5e74ec814f5fe34e886bad5a/html5/thumbnails/8.jpg)
Capture setMaze
Computing←−T
Applications
Inner approximation of a capture set
![Page 9: Inner approximation of a capture set - ENSTA Bretagne · Inner approximation of a capture set T. Le Mézo, L. Jaulin, B. Zerr Lab-STICC, ENSTA-Bretagne, UBO SWIM, Lyon, June 2016](https://reader034.fdocuments.in/reader034/viewer/2022042016/5e74ec814f5fe34e886bad5a/html5/thumbnails/9.jpg)
Capture setMaze
Computing←−T
Applications
Mazess can be made more accurate by adding polygones
Inner approximation of a capture set
![Page 10: Inner approximation of a capture set - ENSTA Bretagne · Inner approximation of a capture set T. Le Mézo, L. Jaulin, B. Zerr Lab-STICC, ENSTA-Bretagne, UBO SWIM, Lyon, June 2016](https://reader034.fdocuments.in/reader034/viewer/2022042016/5e74ec814f5fe34e886bad5a/html5/thumbnails/10.jpg)
Capture setMaze
Computing←−T
Applications
Or using doors instead of a graph
Inner approximation of a capture set
![Page 11: Inner approximation of a capture set - ENSTA Bretagne · Inner approximation of a capture set T. Le Mézo, L. Jaulin, B. Zerr Lab-STICC, ENSTA-Bretagne, UBO SWIM, Lyon, June 2016](https://reader034.fdocuments.in/reader034/viewer/2022042016/5e74ec814f5fe34e886bad5a/html5/thumbnails/11.jpg)
Capture setMaze
Computing←−T
Applications
Here, a maze L is composed ofA paving P
A polygon for each box of P
Doors between adjacent boxes
Inner approximation of a capture set
![Page 12: Inner approximation of a capture set - ENSTA Bretagne · Inner approximation of a capture set T. Le Mézo, L. Jaulin, B. Zerr Lab-STICC, ENSTA-Bretagne, UBO SWIM, Lyon, June 2016](https://reader034.fdocuments.in/reader034/viewer/2022042016/5e74ec814f5fe34e886bad5a/html5/thumbnails/12.jpg)
Capture setMaze
Computing←−T
Applications
The set of mazes forms a lattice with respect to ⊂.La ⊂Lb means :
the boxes of La are subboxes of the boxes of Lb.The polygones of La are included in those of Lb
The doors of La are thinner than those of Lb.
Inner approximation of a capture set
![Page 13: Inner approximation of a capture set - ENSTA Bretagne · Inner approximation of a capture set T. Le Mézo, L. Jaulin, B. Zerr Lab-STICC, ENSTA-Bretagne, UBO SWIM, Lyon, June 2016](https://reader034.fdocuments.in/reader034/viewer/2022042016/5e74ec814f5fe34e886bad5a/html5/thumbnails/13.jpg)
Capture setMaze
Computing←−T
Applications
Note that yellow polygons are convex.
Inner approximation of a capture set
![Page 14: Inner approximation of a capture set - ENSTA Bretagne · Inner approximation of a capture set T. Le Mézo, L. Jaulin, B. Zerr Lab-STICC, ENSTA-Bretagne, UBO SWIM, Lyon, June 2016](https://reader034.fdocuments.in/reader034/viewer/2022042016/5e74ec814f5fe34e886bad5a/html5/thumbnails/14.jpg)
Capture setMaze
Computing←−T
Applications
Inner approximation of←−T
Inner approximation of a capture set
![Page 15: Inner approximation of a capture set - ENSTA Bretagne · Inner approximation of a capture set T. Le Mézo, L. Jaulin, B. Zerr Lab-STICC, ENSTA-Bretagne, UBO SWIM, Lyon, June 2016](https://reader034.fdocuments.in/reader034/viewer/2022042016/5e74ec814f5fe34e886bad5a/html5/thumbnails/15.jpg)
Capture setMaze
Computing←−T
Applications
Main idea: Compute an outer approximation of thecomplementary of
←−T :
←−T = {x0 | ∀t ≥ 0,ϕ(t,x0) /∈ T}
Thus, we search for a path that never reach T.
Inner approximation of a capture set
![Page 16: Inner approximation of a capture set - ENSTA Bretagne · Inner approximation of a capture set T. Le Mézo, L. Jaulin, B. Zerr Lab-STICC, ENSTA-Bretagne, UBO SWIM, Lyon, June 2016](https://reader034.fdocuments.in/reader034/viewer/2022042016/5e74ec814f5fe34e886bad5a/html5/thumbnails/16.jpg)
Capture setMaze
Computing←−T
Applications
Target contractor. If a box [x] of P is included in T then remove[x] and close all doors entering in [x] .
Inner approximation of a capture set
![Page 17: Inner approximation of a capture set - ENSTA Bretagne · Inner approximation of a capture set T. Le Mézo, L. Jaulin, B. Zerr Lab-STICC, ENSTA-Bretagne, UBO SWIM, Lyon, June 2016](https://reader034.fdocuments.in/reader034/viewer/2022042016/5e74ec814f5fe34e886bad5a/html5/thumbnails/17.jpg)
Capture setMaze
Computing←−T
Applications
Flow contractor. For each box [x] of P, we contract the polygonusing the constraint x= f(x).
Inner approximation of a capture set
![Page 18: Inner approximation of a capture set - ENSTA Bretagne · Inner approximation of a capture set T. Le Mézo, L. Jaulin, B. Zerr Lab-STICC, ENSTA-Bretagne, UBO SWIM, Lyon, June 2016](https://reader034.fdocuments.in/reader034/viewer/2022042016/5e74ec814f5fe34e886bad5a/html5/thumbnails/18.jpg)
Capture setMaze
Computing←−T
Applications
Inner propagation
Inner approximation of a capture set
![Page 19: Inner approximation of a capture set - ENSTA Bretagne · Inner approximation of a capture set T. Le Mézo, L. Jaulin, B. Zerr Lab-STICC, ENSTA-Bretagne, UBO SWIM, Lyon, June 2016](https://reader034.fdocuments.in/reader034/viewer/2022042016/5e74ec814f5fe34e886bad5a/html5/thumbnails/19.jpg)
Capture setMaze
Computing←−T
Applications
Inner approximation of a capture set
![Page 20: Inner approximation of a capture set - ENSTA Bretagne · Inner approximation of a capture set T. Le Mézo, L. Jaulin, B. Zerr Lab-STICC, ENSTA-Bretagne, UBO SWIM, Lyon, June 2016](https://reader034.fdocuments.in/reader034/viewer/2022042016/5e74ec814f5fe34e886bad5a/html5/thumbnails/20.jpg)
Capture setMaze
Computing←−T
Applications
[a][b][c]
[d]
[e]
[f ]
Inner approximation of a capture set
![Page 21: Inner approximation of a capture set - ENSTA Bretagne · Inner approximation of a capture set T. Le Mézo, L. Jaulin, B. Zerr Lab-STICC, ENSTA-Bretagne, UBO SWIM, Lyon, June 2016](https://reader034.fdocuments.in/reader034/viewer/2022042016/5e74ec814f5fe34e886bad5a/html5/thumbnails/21.jpg)
Capture setMaze
Computing←−T
Applications
Inner approximation of a capture set
![Page 22: Inner approximation of a capture set - ENSTA Bretagne · Inner approximation of a capture set T. Le Mézo, L. Jaulin, B. Zerr Lab-STICC, ENSTA-Bretagne, UBO SWIM, Lyon, June 2016](https://reader034.fdocuments.in/reader034/viewer/2022042016/5e74ec814f5fe34e886bad5a/html5/thumbnails/22.jpg)
Capture setMaze
Computing←−T
Applications
Inner approximation of a capture set
![Page 23: Inner approximation of a capture set - ENSTA Bretagne · Inner approximation of a capture set T. Le Mézo, L. Jaulin, B. Zerr Lab-STICC, ENSTA-Bretagne, UBO SWIM, Lyon, June 2016](https://reader034.fdocuments.in/reader034/viewer/2022042016/5e74ec814f5fe34e886bad5a/html5/thumbnails/23.jpg)
Capture setMaze
Computing←−T
Applications
Inner approximation of a capture set
![Page 24: Inner approximation of a capture set - ENSTA Bretagne · Inner approximation of a capture set T. Le Mézo, L. Jaulin, B. Zerr Lab-STICC, ENSTA-Bretagne, UBO SWIM, Lyon, June 2016](https://reader034.fdocuments.in/reader034/viewer/2022042016/5e74ec814f5fe34e886bad5a/html5/thumbnails/24.jpg)
Capture setMaze
Computing←−T
Applications
Inner approximation of a capture set
![Page 25: Inner approximation of a capture set - ENSTA Bretagne · Inner approximation of a capture set T. Le Mézo, L. Jaulin, B. Zerr Lab-STICC, ENSTA-Bretagne, UBO SWIM, Lyon, June 2016](https://reader034.fdocuments.in/reader034/viewer/2022042016/5e74ec814f5fe34e886bad5a/html5/thumbnails/25.jpg)
Capture setMaze
Computing←−T
Applications
Inner approximation of a capture set
![Page 26: Inner approximation of a capture set - ENSTA Bretagne · Inner approximation of a capture set T. Le Mézo, L. Jaulin, B. Zerr Lab-STICC, ENSTA-Bretagne, UBO SWIM, Lyon, June 2016](https://reader034.fdocuments.in/reader034/viewer/2022042016/5e74ec814f5fe34e886bad5a/html5/thumbnails/26.jpg)
Capture setMaze
Computing←−T
Applications
Inner approximation of a capture set
![Page 27: Inner approximation of a capture set - ENSTA Bretagne · Inner approximation of a capture set T. Le Mézo, L. Jaulin, B. Zerr Lab-STICC, ENSTA-Bretagne, UBO SWIM, Lyon, June 2016](https://reader034.fdocuments.in/reader034/viewer/2022042016/5e74ec814f5fe34e886bad5a/html5/thumbnails/27.jpg)
Capture setMaze
Computing←−T
Applications
Outer propagation
Inner approximation of a capture set
![Page 28: Inner approximation of a capture set - ENSTA Bretagne · Inner approximation of a capture set T. Le Mézo, L. Jaulin, B. Zerr Lab-STICC, ENSTA-Bretagne, UBO SWIM, Lyon, June 2016](https://reader034.fdocuments.in/reader034/viewer/2022042016/5e74ec814f5fe34e886bad5a/html5/thumbnails/28.jpg)
Capture setMaze
Computing←−T
Applications
[a][b][c]
[d]
[e]
[f ]
An interpretation can be given only when the fixed point is reached.
Inner approximation of a capture set
![Page 29: Inner approximation of a capture set - ENSTA Bretagne · Inner approximation of a capture set T. Le Mézo, L. Jaulin, B. Zerr Lab-STICC, ENSTA-Bretagne, UBO SWIM, Lyon, June 2016](https://reader034.fdocuments.in/reader034/viewer/2022042016/5e74ec814f5fe34e886bad5a/html5/thumbnails/29.jpg)
Capture setMaze
Computing←−T
Applications
Car on the hill
Inner approximation of a capture set
![Page 30: Inner approximation of a capture set - ENSTA Bretagne · Inner approximation of a capture set T. Le Mézo, L. Jaulin, B. Zerr Lab-STICC, ENSTA-Bretagne, UBO SWIM, Lyon, June 2016](https://reader034.fdocuments.in/reader034/viewer/2022042016/5e74ec814f5fe34e886bad5a/html5/thumbnails/30.jpg)
Capture setMaze
Computing←−T
Applications{x1 = x2x2 = 9.81sin
(1124 · sinx1+0.6 · sin(1.1 ·x1)
)−0.7·x2
Inner approximation of a capture set
![Page 31: Inner approximation of a capture set - ENSTA Bretagne · Inner approximation of a capture set T. Le Mézo, L. Jaulin, B. Zerr Lab-STICC, ENSTA-Bretagne, UBO SWIM, Lyon, June 2016](https://reader034.fdocuments.in/reader034/viewer/2022042016/5e74ec814f5fe34e886bad5a/html5/thumbnails/31.jpg)
Capture setMaze
Computing←−T
Applications
Research box X0 = [−1,13]× [−10,10]Blue: Tout = X0; Red: Tin = [2,9]× [−1,1]
Inner approximation of a capture set
![Page 32: Inner approximation of a capture set - ENSTA Bretagne · Inner approximation of a capture set T. Le Mézo, L. Jaulin, B. Zerr Lab-STICC, ENSTA-Bretagne, UBO SWIM, Lyon, June 2016](https://reader034.fdocuments.in/reader034/viewer/2022042016/5e74ec814f5fe34e886bad5a/html5/thumbnails/32.jpg)
Capture setMaze
Computing←−T
Applications
Combined with an outer propagation
Inner approximation of a capture set
![Page 33: Inner approximation of a capture set - ENSTA Bretagne · Inner approximation of a capture set T. Le Mézo, L. Jaulin, B. Zerr Lab-STICC, ENSTA-Bretagne, UBO SWIM, Lyon, June 2016](https://reader034.fdocuments.in/reader034/viewer/2022042016/5e74ec814f5fe34e886bad5a/html5/thumbnails/33.jpg)
Capture setMaze
Computing←−T
Applications
Van der Pol system
Inner approximation of a capture set
![Page 34: Inner approximation of a capture set - ENSTA Bretagne · Inner approximation of a capture set T. Le Mézo, L. Jaulin, B. Zerr Lab-STICC, ENSTA-Bretagne, UBO SWIM, Lyon, June 2016](https://reader034.fdocuments.in/reader034/viewer/2022042016/5e74ec814f5fe34e886bad5a/html5/thumbnails/34.jpg)
Capture setMaze
Computing←−T
Applications
Consider the system{x1 = x2x2 =
(1−x2
1)·x2−x1
and the box X0 = [−4,4]× [−4,4].
Inner approximation of a capture set
![Page 35: Inner approximation of a capture set - ENSTA Bretagne · Inner approximation of a capture set T. Le Mézo, L. Jaulin, B. Zerr Lab-STICC, ENSTA-Bretagne, UBO SWIM, Lyon, June 2016](https://reader034.fdocuments.in/reader034/viewer/2022042016/5e74ec814f5fe34e886bad5a/html5/thumbnails/35.jpg)
Capture setMaze
Computing←−T
Applications
f→−f ; T= X0∪ [−0.1,0.1]2.
Inner approximation of a capture set
![Page 36: Inner approximation of a capture set - ENSTA Bretagne · Inner approximation of a capture set T. Le Mézo, L. Jaulin, B. Zerr Lab-STICC, ENSTA-Bretagne, UBO SWIM, Lyon, June 2016](https://reader034.fdocuments.in/reader034/viewer/2022042016/5e74ec814f5fe34e886bad5a/html5/thumbnails/36.jpg)
Capture setMaze
Computing←−T
Applications
f→−f ; Tout = X0 ; Tin = [0.5,1]2.
Inner approximation of a capture set
![Page 37: Inner approximation of a capture set - ENSTA Bretagne · Inner approximation of a capture set T. Le Mézo, L. Jaulin, B. Zerr Lab-STICC, ENSTA-Bretagne, UBO SWIM, Lyon, June 2016](https://reader034.fdocuments.in/reader034/viewer/2022042016/5e74ec814f5fe34e886bad5a/html5/thumbnails/37.jpg)
Capture setMaze
Computing←−T
Applications
Combined with an outer propagation
Inner approximation of a capture set
![Page 38: Inner approximation of a capture set - ENSTA Bretagne · Inner approximation of a capture set T. Le Mézo, L. Jaulin, B. Zerr Lab-STICC, ENSTA-Bretagne, UBO SWIM, Lyon, June 2016](https://reader034.fdocuments.in/reader034/viewer/2022042016/5e74ec814f5fe34e886bad5a/html5/thumbnails/38.jpg)
Capture setMaze
Computing←−T
Applications
Inner approximation of a capture set