coprin project - inria
TRANSCRIPT
![Page 1: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/1.jpg)
1/15
COPRIN project
Contraintes, OPtimisation et R esolution par INtervalles
Constraints, OPtimization and Resolving through INterval s
. – p.1/15
![Page 2: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/2.jpg)
1/15
COPRIN project
Contraintes, OPtimisation et R esolution par INtervalles
Constraints, OPtimization and Resolving through INterval s
COPRIN has been created in February 2002
. – p.1/15
![Page 3: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/3.jpg)
2/15
Members of the projectStaff
MERLET Jean-Pierre (DR 1, scientific head)DANEY David (Chargé de Recherche INRIA)NEVEU Bertrand (Ingénieur en Chef, P & C, CERTIS)PAPEGAY Yves (Chargé de Recherche INRIA)POURTALLIER Odile (Chargé de Recherche INRIA, join the team in 2004)TROMBETTONI Gilles (Maître de Conférences UNSA)
Students• 7 PhD students
• 1 post-doc
• 1 engineer
. – p.2/15
![Page 4: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/4.jpg)
3/15
Scientific objectives and Methods
. – p.3/15
![Page 5: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/5.jpg)
3/15
Scientific objectives and Methods
Two main complementary research axis :
Robotics and Interval Analysis
. – p.3/15
![Page 6: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/6.jpg)
3/15
Scientific objectives and Methods
Robotics
• Robotics Objective 1: robot modeling and analysis
. – p.3/15
![Page 7: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/7.jpg)
3/15
Scientific objectives and Methods
Robotics
• Robotics Objective 1: robot modeling and analysis
• establishing the performances of a given robot
. – p.3/15
![Page 8: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/8.jpg)
3/15
Scientific objectives and Methods
Robotics
• Robotics Objective 1: robot modeling and analysis
• establishing the performances of a given robot• in a guaranteed manner
. – p.3/15
![Page 9: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/9.jpg)
3/15
Scientific objectives and Methods
Robotics
• Robotics Objective 1: robot modeling and analysis
• establishing the performances of a given robot• in a guaranteed manner• especially taking into account the uncertainties in the
modeling and control
. – p.3/15
![Page 10: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/10.jpg)
3/15
Scientific objectives and Methods
Robotics
• Robotics Objective 1: robot modeling and analysis• Robotics Objective 2: design methodology
. – p.3/15
![Page 11: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/11.jpg)
3/15
Scientific objectives and Methods
Robotics
• Robotics Objective 1: robot modeling and analysis• Robotics Objective 2: design methodology
• establishing the robot design parameters so that it will fitgiven requirements
. – p.3/15
![Page 12: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/12.jpg)
3/15
Scientific objectives and Methods
Robotics
• Robotics Objective 1: robot modeling and analysis• Robotics Objective 2: design methodology
• establishing the robot design parameters so that it will fitgiven requirements
• methodology provides almost all design solutions
. – p.3/15
![Page 13: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/13.jpg)
3/15
Scientific objectives and Methods
Robotics
• Robotics Objective 1: robot modeling and analysis• Robotics Objective 2: design methodology
• establishing the robot design parameters so that it will fitgiven requirements
• methodology provides almost all design solutions• methodology is robust with respect to manufacturing
tolerances
. – p.3/15
![Page 14: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/14.jpg)
3/15
Scientific objectives and Methods
Robotics
• Robotics Objective 1: robot modeling and analysis• Robotics Objective 2: design methodology• Robotics Objective 3: parallel robot, prototypes, applications
. – p.3/15
![Page 15: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/15.jpg)
4/15
Example: new wire-driven parallel robot
. – p.4/15
![Page 16: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/16.jpg)
4/15
Example: new wire-driven parallel robot
Highly modular
. – p.4/15
![Page 17: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/17.jpg)
4/15
Example: new wire-driven parallel robot
Highly modular
Linear actuators
. – p.4/15
![Page 18: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/18.jpg)
4/15
Example: new wire-driven parallel robot
Highly modular
Linear actuators
Applications:
service robotics
rehabilitation
. – p.4/15
![Page 19: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/19.jpg)
5/15
Scientific objectives and Methods
. – p.5/15
![Page 20: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/20.jpg)
5/15
Scientific objectives and Methods
Interval Analysis/Constraints
• certified solving
. – p.5/15
![Page 21: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/21.jpg)
5/15
Scientific objectives and Methods
Interval Analysis/Constraints
• certified solving
• of equations and/or inequalities systems
. – p.5/15
![Page 22: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/22.jpg)
5/15
Scientific objectives and Methods
Interval Analysis/Constraints
• certified solving
• of equations and/or inequalities systems• for real variables, lying in a bounded domain
. – p.5/15
![Page 23: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/23.jpg)
5/15
Scientific objectives and Methods
Interval Analysis/Constraints
• certified solving
• of equations and/or inequalities systems• for real variables, lying in a bounded domain• providing results that are guaranteed
. – p.5/15
![Page 24: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/24.jpg)
5/15
Scientific objectives and Methods
Interval Analysis/Constraints
• certified solving• methods:
. – p.5/15
![Page 25: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/25.jpg)
5/15
Scientific objectives and Methods
Interval Analysis/Constraints
• certified solving• methods:
• constraint programming• interval analysis• symbolic computation
. – p.5/15
![Page 26: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/26.jpg)
6/15
Interval analysis
. – p.6/15
![Page 27: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/27.jpg)
6/15
Interval analysis
Calculating with intervals is (almost ) as easy than with realnumbers
. – p.6/15
![Page 28: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/28.jpg)
6/15
Interval analysis
Calculating with intervals is (almost ) as easy than with realnumbersExample: F = x2 + cos(x), x ∈ [0, 1]
Problem: find [A,B] such that: A ≤ F (x) ≤ B ∀ x ∈ [0, 1]
. – p.6/15
![Page 29: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/29.jpg)
6/15
Interval analysis
Calculating with intervals is (almost ) as easy than with realnumbersExample: F = x2 + cos(x), x ∈ [0, 1]
Problem: find [A,B] such that: A ≤ F (x) ≤ B ∀ x ∈ [0, 1]
F = [0, 1]2 + cos([0, 1])
. – p.6/15
![Page 30: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/30.jpg)
6/15
Interval analysis
Calculating with intervals is (almost ) as easy than with realnumbersExample: F = x2 + cos(x), x ∈ [0, 1]
Problem: find [A,B] such that: A ≤ F (x) ≤ B ∀ x ∈ [0, 1]
F = [0, 1]2 + cos([0, 1])
. – p.6/15
![Page 31: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/31.jpg)
6/15
Interval analysis
Calculating with intervals is (almost ) as easy than with realnumbersExample: F = x2 + cos(x), x ∈ [0, 1]
Problem: find [A,B] such that: A ≤ F (x) ≤ B ∀ x ∈ [0, 1]
F = [0, 1]2 + cos([0, 1]) = [0, 1] + cos([0, 1])
. – p.6/15
![Page 32: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/32.jpg)
6/15
Interval analysis
Calculating with intervals is (almost ) as easy than with realnumbersExample: F = x2 + cos(x), x ∈ [0, 1]
Problem: find [A,B] such that: A ≤ F (x) ≤ B ∀ x ∈ [0, 1]
F = [0, 1]2 + cos([0, 1]) = [0, 1] + cos([0, 1])
. – p.6/15
![Page 33: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/33.jpg)
6/15
Interval analysis
Calculating with intervals is (almost ) as easy than with realnumbersExample: F = x2 + cos(x), x ∈ [0, 1]
Problem: find [A,B] such that: A ≤ F (x) ≤ B ∀ x ∈ [0, 1]
F = [0, 1]2 + cos([0, 1]) = [0, 1] + [0.54, 1]
. – p.6/15
![Page 34: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/34.jpg)
6/15
Interval analysis
Calculating with intervals is (almost ) as easy than with realnumbersExample: F = x2 + cos(x), x ∈ [0, 1]
Problem: find [A,B] such that: A ≤ F (x) ≤ B ∀ x ∈ [0, 1]
F = [0, 1]2 + cos([0, 1]) = [0,1]+[0.54,1]
. – p.6/15
![Page 35: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/35.jpg)
6/15
Interval analysis
Calculating with intervals is (almost ) as easy than with realnumbersExample: F = x2 + cos(x), x ∈ [0, 1]
Problem: find [A,B] such that: A ≤ F (x) ≤ B ∀ x ∈ [0, 1]
F = [0, 1]2 + cos([0, 1]) = [0,1]+[0.54,1] = [0.54,2]
. – p.6/15
![Page 36: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/36.jpg)
6/15
Interval analysis
Calculating with intervals is (almost ) as easy than with realnumbersExample: F = x2 + cos(x), x ∈ [0, 1]
Problem: find [A,B] such that: A ≤ F (x) ≤ B ∀ x ∈ [0, 1]
F = [0, 1]2 + cos([0, 1]) = [0,1]+[0.54,1] = [0.54,2]
• 0 not included in [0.54,2] ⇒ F 6= 0 ∀ x ∈ [0, 1]
. – p.6/15
![Page 37: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/37.jpg)
6/15
Interval analysis
Calculating with intervals is (almost ) as easy than with realnumbersExample: F = x2 + cos(x), x ∈ [0, 1]
Problem: find [A,B] such that: A ≤ F (x) ≤ B ∀ x ∈ [0, 1]
F = [0, 1]2 + cos([0, 1]) = [0,1]+[0.54,1] = [0.54,2]
• 0 not included in [0.54,2] ⇒ F 6= 0 ∀ x ∈ [0, 1]
• F > 0 ∀ x ∈ [0, 1]
. – p.6/15
![Page 38: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/38.jpg)
6/15
Interval analysis
Calculating with intervals is (almost ) as easy than with realnumbersExample: F = x2 + cos(x), x ∈ [0, 1]
Problem: find [A,B] such that: A ≤ F (x) ≤ B ∀ x ∈ [0, 1]
F = [0, 1]2 + cos([0, 1]) = [0,1]+[0.54,1] = [0.54,2]
• Advantages:numerical round-off errors are managed
. – p.6/15
![Page 39: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/39.jpg)
6/15
Interval analysis
Calculating with intervals is (almost ) as easy than with realnumbersExample: F = x2 + cos(x), x ∈ [0, 1]
Problem: find [A,B] such that: A ≤ F (x) ≤ B ∀ x ∈ [0, 1]
F = [0, 1]2 + cos([0, 1]) = [0,1]+[0.54,1] = [0.54,2]
• Advantages:numerical round-off errors are managed
• Drawbacks: overestimation , calculation sensitive to formulation
. – p.6/15
![Page 40: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/40.jpg)
7/15
The structure of an IA algorithm
. – p.7/15
![Page 41: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/41.jpg)
7/15
The structure of an IA algorithm
. . . A list of boxes
. – p.7/15
![Page 42: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/42.jpg)
7/15
The structure of an IA algorithm
Filtering operator
. – p.7/15
![Page 43: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/43.jpg)
7/15
The structure of an IA algorithm
Filtering operator
Filtering operator: a set of heuristics that may allow to determine
that there is no solution in the current box or may reduce its size
. – p.7/15
![Page 44: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/44.jpg)
7/15
The structure of an IA algorithm
Filtering operator
Existence operator
. – p.7/15
![Page 45: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/45.jpg)
7/15
The structure of an IA algorithm
Filtering operator
Existence operator
Existence operator: a set of heuristics that may allow to deter-
mine that there is a single solution in the current box (e.g Kan-
torovitch theorem)
. – p.7/15
![Page 46: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/46.jpg)
7/15
The structure of an IA algorithm
Filtering operator
Existence operator
Bisection
. – p.7/15
![Page 47: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/47.jpg)
7/15
The structure of an IA algorithm
Filtering operator
Existence operator
Bisection
Split the current box, usually in two
. – p.7/15
![Page 48: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/48.jpg)
7/15
The structure of an IA algorithm
Filtering operator
Existence operator
Bisection
. – p.7/15
![Page 49: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/49.jpg)
7/15
The structure of an IA algorithm
Filtering operator
Existence operator
Bisection
. – p.7/15
![Page 50: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/50.jpg)
8/15
An example
. – p.8/15
![Page 51: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/51.jpg)
8/15
An example
Managing a set of inequalities:
x2 + y2 ≤ 2
(x − 1)2 + (y − 1)2 ≤ 2
that play a role in the calculation of a parallel robot workspace
VIDEO
. – p.8/15
![Page 52: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/52.jpg)
9/15
Interval Analysis Objectives
. – p.9/15
![Page 53: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/53.jpg)
9/15
Interval Analysis Objectives
IA Objective 1: Improvement of IA methodology
. – p.9/15
![Page 54: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/54.jpg)
9/15
Interval Analysis Objectives
IA Objective 1: Improvement of IA methodology
• new filtering operators
. – p.9/15
![Page 55: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/55.jpg)
9/15
Interval Analysis Objectives
IA Objective 1: Improvement of IA methodology
• new filtering operators
• decomposition and solving of geometric constraints
. – p.9/15
![Page 56: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/56.jpg)
9/15
Interval Analysis Objectives
IA Objective 1: Improvement of IA methodology
• new filtering operators
• decomposition and solving of geometric constraints
• solving of differential equations
. – p.9/15
![Page 57: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/57.jpg)
9/15
Interval Analysis Objectives
IA Objective 1: Improvement of IA methodology
IA Objective 2: Dissemination, software, experimental analysis
. – p.9/15
![Page 58: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/58.jpg)
9/15
Interval Analysis Objectives
IA Objective 1: Improvement of IA methodologyIA Objective 2: Dissemination, software, experimental analysis
• method is not well known
. – p.9/15
![Page 59: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/59.jpg)
9/15
Interval Analysis Objectives
IA Objective 1: Improvement of IA methodologyIA Objective 2: Dissemination, software, experimental analysis
• method is not well known
• lack of available software
. – p.9/15
![Page 60: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/60.jpg)
9/15
Interval Analysis Objectives
IA Objective 1: Improvement of IA methodologyIA Objective 2: Dissemination, software, experimental analysis
• method is not well known
• lack of available software
• interface not convenient for non expert end-user
. – p.9/15
![Page 61: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/61.jpg)
9/15
Interval Analysis Objectives
IA Objective 1: Improvement of IA methodologyIA Objective 2: Dissemination, software, experimental analysis
Tools:
• extensive use of symbolic computation
• software (ALIAS library)
• extensive testing
. – p.9/15
![Page 62: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/62.jpg)
10/15
Localization with ultra-sound
Localization of a robot with ultra-sound (joint work with ETH)
. – p.10/15
![Page 63: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/63.jpg)
10/15
Localization with ultra-sound
Localization of a robot with ultra-sound (joint work with ETH)
robot
. – p.10/15
![Page 64: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/64.jpg)
10/15
Localization with ultra-sound
Localization of a robot with ultra-sound (joint work with ETH)
robotR1
R2
. – p.10/15
![Page 65: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/65.jpg)
10/15
Localization with ultra-sound
Localization of a robot with ultra-sound (joint work with ETH)
robotR1
R2
. – p.10/15
![Page 66: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/66.jpg)
10/15
Localization with ultra-sound
Localization of a robot with ultra-sound (joint work with ETH)
robotR1
R2
. – p.10/15
![Page 67: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/67.jpg)
10/15
Localization with ultra-sound
Localization of a robot with ultra-sound (joint work with ETH)
robotR1
R2
R2 receives the ping at time t2
. – p.10/15
![Page 68: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/68.jpg)
10/15
Localization with ultra-sound
Localization of a robot with ultra-sound (joint work with ETH)
robotR1
R2
. – p.10/15
![Page 69: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/69.jpg)
10/15
Localization with ultra-sound
Localization of a robot with ultra-sound (joint work with ETH)
robotR1
R2
R1 receives the ping at time t1
. – p.10/15
![Page 70: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/70.jpg)
10/15
Localization with ultra-sound
Localization of a robot with ultra-sound (joint work with ETH)
Localization is based on the measurement of t2 − t1
With 2 receivers: assuming perfect Dirac ping
• ||RR2|| − ||RR1|| = c(t2 − t1) ⇒ robot lie on a hyperbola
. – p.10/15
![Page 71: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/71.jpg)
10/15
Localization with ultra-sound
Localization of a robot with ultra-sound (joint work with ETH)
Localization is based on the measurement of t2 − t1
With 2 receivers: assuming perfect Dirac ping:
• ||RR2|| − ||RR1|| = c(t2 − t1) ⇒ robot lie on a hyperbola
In practice we have sinusoidal ping:
• measured time is an interval
• robot lie on a "thick" hyperbola
. – p.10/15
![Page 72: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/72.jpg)
10/15
Localization with ultra-sound
Localization of a robot with ultra-sound (joint work with ETH)
With three receivers
• measurement of t2 − t1, t3 − t1
• robot located at the intersection of 2 "thick" hyperbola
. – p.10/15
![Page 73: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/73.jpg)
11/15
Analysis
. – p.11/15
![Page 74: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/74.jpg)
11/15
Analysis
Usually f, c are assumed to be perfectly known
. – p.11/15
![Page 75: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/75.jpg)
11/15
Analysisbut in practice f, c are uncertain
• c in [1465,1496] m/s ( ± 5 degrees temperature variation)• f in [295,305] kHz
Influence of these uncertainties on the robot localization ?
. – p.11/15
![Page 76: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/76.jpg)
11/15
Analysisbut in practice f, c are uncertain
• c in [1465,1496] m/s ( ± 5 degrees temperature variation)• f in [295,305] kHz
Influence of these uncertainties on the robot localization ?
robot location discarding uncertainties
possible real location
. – p.11/15
![Page 77: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/77.jpg)
12/15
Synthesis
. – p.12/15
![Page 78: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/78.jpg)
12/15
Synthesis
not satisfied with the localization accuracy ?⇓
find the location of the 3rd receiver so that the localizationaccuracy is lower than a given threshold
. – p.12/15
![Page 79: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/79.jpg)
12/15
Synthesis
not satisfied with the localization accuracy ?⇓
find the location of the 3rd receiver so that the localizationaccuracy is lower than a given threshold
IA methods allows to find all 3rd receiver location that allow to
respect this requirement
. – p.12/15
![Page 80: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/80.jpg)
12/15
Synthesis
0.03 0.08 0.13 0.18 0.200-0.20
-0.19
-0.18
-0.17
-0.16
-0.15
-0.14
-0.13
-0.12
-0.11
-0.1
. – p.12/15
![Page 81: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/81.jpg)
12/15
Synthesis
• this methodology allows to design robots that fit a list of requirements
• it has been used for designing industrial robots and our own prototypes
. – p.12/15
![Page 82: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/82.jpg)
12/15
machine-tool (CMW) Fine positioning (ESRF) Space telescope (Alcatel)
1 mètre
. – p.12/15
![Page 83: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/83.jpg)
12/15
MIPS micro robot ARES micro-robot wire robot
this methodology is used to manage the modularity of ourwire-driven parallel robot
• find the geometry that allows to lift an elderly peoplewhatever his/her location in a given room
. – p.12/15
![Page 84: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/84.jpg)
13/15
Wire-driven parallel robot
. – p.13/15
![Page 85: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/85.jpg)
13/15
Wire-driven parallel robot
All purpose device with 1 to 6 d.o.f., redundant or not
• highly modular: geometry, amplification of actuator motion
• powerful: high ratio load/mass
• fast: potentially faster than the speed of sound
Examples :
4 dof crane motion video , fast planar motion (3.5m/s)
. – p.13/15
![Page 86: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/86.jpg)
13/15
Wire-driven parallel robot
Potential applications:
• domestic robotics: windows washing
. – p.13/15
![Page 87: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/87.jpg)
13/15
Wire-driven parallel robot
Potential applications:
• domestic robotics: windows washing• entertainment: actor motion in theater, fast change in
scenes
. – p.13/15
![Page 88: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/88.jpg)
13/15
Wire-driven parallel robot
Potential applications:
• domestic robotics: windows washing• entertainment: actor motion in theater, fast change in
scenes• catastrophe: portable multi-dof crane (ADT)
. – p.13/15
![Page 89: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/89.jpg)
13/15
Wire-driven parallel robot
Potential applications:
• domestic robotics: windows washing• entertainment: actor motion in theater, fast change in
scenes• catastrophe: portable multi-dof crane (ADT)• haptic interface: virtual reality, training with force-feedback
. – p.13/15
![Page 90: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/90.jpg)
13/15
Wire-driven parallel robot
Potential applications:
• domestic robotics: windows washing• entertainment: actor motion in theater, fast change in
scenes• catastrophe: portable multi-dof crane (ADT)• haptic interface: virtual reality, training with force-feedback• assistance robotics: lifting of elderly people (lifting video)
. – p.13/15
![Page 91: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/91.jpg)
13/15
Wire-driven parallel robot
Potential applications:
• domestic robotics: windows washing• entertainment: actor motion in theater, fast change in
scenes• catastrophe: portable multi-dof crane (ADT)• haptic interface: virtual reality, training with force-feedback• assistance robotics: lifting of elderly people (lifting video)• rehabilitation
. – p.13/15
![Page 92: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/92.jpg)
14/15
Example: rehabilitation
. – p.14/15
![Page 93: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/93.jpg)
14/15
Example: rehabilitation
Patient suffering from loss of arm coordination after acardiovascular stroke
. – p.14/15
![Page 94: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/94.jpg)
14/15
Example: rehabilitation
Patient suffering from loss of arm coordination after acardiovascular stroke
Classical rehabilitation training: arm pointing to colored marks
moving randomly on a computer screen
. – p.14/15
![Page 95: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/95.jpg)
14/15
Example: rehabilitation
Patient suffering from loss of arm coordination after acardiovascular stroke
Classical rehabilitation training: arm pointing to colored marksmoving randomly on a computer screen
Drawbacks:
• no monitoring of the arm motion
. – p.14/15
![Page 96: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/96.jpg)
14/15
Example: rehabilitation
Patient suffering from loss of arm coordination after acardiovascular stroke
Classical rehabilitation training: arm pointing to colored marksmoving randomly on a computer screen
Drawbacks:
• no monitoring of the arm motion
• no objective mean to qualify the motion quality
. – p.14/15
![Page 97: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/97.jpg)
14/15
Example: rehabilitation
Patient suffering from loss of arm coordination after acardiovascular stroke
Classical rehabilitation training: arm pointing to colored marksmoving randomly on a computer screen
Drawbacks:
• no monitoring of the arm motion
• no objective mean to qualify the motion quality
• fatigue induced by pointing the arm
. – p.14/15
![Page 98: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/98.jpg)
14/15
Example: rehabilitation
Patient suffering from loss of arm coordination after acardiovascular stroke
Robot assisted rehabilitation
. – p.14/15
![Page 99: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/99.jpg)
14/15
Example: rehabilitation
Patient suffering from loss of arm coordination after acardiovascular stroke
Robot assisted rehabilitation
• use trajectory tracking to monitor and qualify motions
. – p.14/15
![Page 100: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/100.jpg)
14/15
Example: rehabilitation
Patient suffering from loss of arm coordination after acardiovascular stroke
Robot assisted rehabilitation
• use trajectory tracking to monitor and qualify motions
• relieve partly arm gravity for focusing on coordination
. – p.14/15
![Page 101: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/101.jpg)
14/15
Example: rehabilitation
Patient suffering from loss of arm coordination after acardiovascular stroke
Robot assisted rehabilitation: (rehabilitation video)
. – p.14/15
![Page 102: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/102.jpg)
14/15
Example: rehabilitation
Patient suffering from loss of arm coordination after acardiovascular stroke
Robot assisted rehabilitation: (rehabilitation video)
• gravity effects decreased by 50%
. – p.14/15
![Page 103: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/103.jpg)
14/15
Example: rehabilitation
Patient suffering from loss of arm coordination after acardiovascular stroke
Robot assisted rehabilitation: (rehabilitation video)
• gravity effects decreased by 50%
• trajectory tracking: straightness of the trajectory allows toqualify motion quality
. – p.14/15
![Page 104: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/104.jpg)
14/15
Example: rehabilitation
Trajectory tracking
. – p.14/15
![Page 105: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/105.jpg)
15/15
Recent objectives
. – p.15/15
![Page 106: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/106.jpg)
15/15
Recent objectives
Focus on service robotics
. – p.15/15
![Page 107: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/107.jpg)
15/15
Recent objectives
Focus on service robotics• developing various low-cost assistance robotized devices
. – p.15/15
![Page 108: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/108.jpg)
15/15
Recent objectives
Focus on service robotics• developing various low-cost assistance robotized devices
• user-centered (systematic collaboration with end-users)
. – p.15/15
![Page 109: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/109.jpg)
15/15
Recent objectives
Focus on service robotics• developing various low-cost assistance robotized devices
• user-centered (systematic collaboration with end-users)
• developing methodologies to adapt the device to the end-user and its surrounding
. – p.15/15
![Page 110: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/110.jpg)
15/15
Recent objectives
Focus on service robotics• developing various low-cost assistance robotized devices
• user-centered (systematic collaboration with end-users)
• developing methodologies to adapt the device to the end-user and its surrounding
• developing various interfaces to manage the end-user abilities
. – p.15/15
![Page 111: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/111.jpg)
15/15
Recent objectives
Focus on service robotics• developing various low-cost assistance robotized devices
• user-centered (systematic collaboration with end-users)
• developing methodologies to adapt the device to the end-user and its surrounding
• developing various interfaces to manage the end-user abilities
• low intrusivity: use already accepted objects, systems are invisible if not in use
. – p.15/15
![Page 112: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/112.jpg)
15/15
Recent objectives
Focus on service robotics• developing various low-cost assistance robotized devices
• user-centered (systematic collaboration with end-users)
• developing methodologies to adapt the device to the end-user and its surrounding
• developing various interfaces to manage the end-user abilities
• low intrusivity: use already accepted objects, systems are invisible if not in use
• provide information for doctors: early detection of emerging pathologies
. – p.15/15
![Page 113: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/113.jpg)
15/15
Recent objectives
Focus on service robotics• developing various low-cost assistance robotized devices
• user-centered (systematic collaboration with end-users)
• developing methodologies to adapt the device to the end-user and its surrounding
• developing various interfaces to manage the end-user abilities
• low intrusivity: use already accepted objects, systems are invisible if not in use
• provide information for doctors: early detection of emerging pathologies
• safety: improve emergency detection, prevent fall
. – p.15/15
![Page 114: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/114.jpg)
15/15
Recent objectives
Focus on service robotics• developing various low-cost assistance robotized devices
• user-centered (systematic collaboration with end-users)
• developing methodologies to adapt the device to the end-user and its surrounding
• developing various interfaces to manage the end-user abilities
• low intrusivity: use already accepted objects, systems are invisible if not in use
• provide information for doctors: early detection of emerging pathologies
• safety: improve emergency detection, prevent fall
• smart device: communicating devices, using all types of media (hertzian, IR, optical, . . . )
. – p.15/15
![Page 115: COPRIN project - Inria](https://reader031.vdocuments.us/reader031/viewer/2022012019/616877abd394e9041f6fc44e/html5/thumbnails/115.jpg)
15/15
Recent objectives
Focus on service robotics• developing various low-cost assistance robotized devices
• user-centered (systematic collaboration with end-users)
• developing methodologies to adapt the device to the end-user and its surrounding
• developing various interfaces to manage the end-user abilities
• low intrusivity: use already accepted objects, systems are invisible if not in use
• provide information for doctors: early detection of emerging pathologies
• safety: improve emergency detection, prevent fall
• smart device: communicating devices, using all types of media (hertzian, IR, optical, . . . )
• active participation to the large scale initiative PAL (Personally Assisted Living)
Example : assistance for elderly people (video)
. – p.15/15