Foreword |
|
xi | |
Preface |
|
xv | |
Acknowledgments |
|
xvii | |
Acronyms |
|
xix | |
|
|
1 | (16) |
|
1.1 Historical perspective of mobile robotics |
|
|
1 | (3) |
|
1.2 Path planning. Definition and historical background |
|
|
4 | (5) |
|
1.3 Motion control. Definition and historical background |
|
|
9 | (2) |
|
1.4 Motivation for expressive tasks |
|
|
11 | (3) |
|
1.5 Assumptions of this monograph |
|
|
14 | (1) |
|
1.6 Outline of this monograph |
|
|
14 | (3) |
|
|
17 | (24) |
|
|
17 | (3) |
|
2.2 General description of the simulator |
|
|
20 | (5) |
|
2.3 Path planning algorithms |
|
|
25 | (1) |
|
2.4 Robot kinematic models |
|
|
26 | (3) |
|
2.5 Motion control algorithms |
|
|
29 | (4) |
|
2.5.1 Pure pursuit algorithm |
|
|
29 | (3) |
|
|
32 | (1) |
|
2.6 Illustrative examples |
|
|
33 | (7) |
|
2.6.1 Examples about path planning aspects |
|
|
33 | (2) |
|
2.6.2 Examples about motion control aspects |
|
|
35 | (2) |
|
2.6.3 Examples about multi-robot systems and high-level tasks |
|
|
37 | (3) |
|
|
40 | (1) |
|
3 Cell Decomposition Algorithms |
|
|
41 | (30) |
|
|
41 | (1) |
|
3.2 Cell decomposition algorithms |
|
|
42 | (11) |
|
|
42 | (3) |
|
3.2.2 Trapezoidal decomposition |
|
|
45 | (1) |
|
3.2.3 Triangular decomposition |
|
|
46 | (3) |
|
3.2.4 Polytopal decomposition |
|
|
49 | (3) |
|
3.2.5 Rectangular decomposition |
|
|
52 | (1) |
|
3.3 Implementation and extensions |
|
|
53 | (5) |
|
|
53 | (2) |
|
3.3.2 Implemented functions |
|
|
55 | (3) |
|
|
58 | (12) |
|
3.4.1 Qualitative comparison |
|
|
58 | (3) |
|
3.4.2 Quantitative comparison |
|
|
61 | (9) |
|
|
70 | (1) |
|
4 Discrete Event System Models |
|
|
71 | (38) |
|
|
71 | (1) |
|
4.2 Environment abstraction |
|
|
72 | (3) |
|
4.3 Transition system models |
|
|
75 | (8) |
|
|
75 | (4) |
|
|
79 | (4) |
|
|
83 | (7) |
|
4.5 Petri nets in resource allocation systems models |
|
|
90 | (6) |
|
4.6 High-level specifications |
|
|
96 | (4) |
|
4.7 Linear temporal logic |
|
|
100 | (6) |
|
|
106 | (3) |
|
5 Path Planning by Using Transition System Models |
|
|
109 | (32) |
|
|
109 | (1) |
|
5.2 Two-step planning for a single robot and reachability specification |
|
|
110 | (5) |
|
5.3 Quantitative comparison of two-step approaches |
|
|
115 | (4) |
|
5.4 Receding horizon approach for a single robot and reachability specification |
|
|
119 | (4) |
|
5.5 Simulations and analysis |
|
|
123 | (3) |
|
5.6 Path planning with an LTL_X specification |
|
|
126 | (6) |
|
5.7 Collision avoidance using initial delay |
|
|
132 | (7) |
|
5.7.1 Problem description |
|
|
132 | (3) |
|
5.7.2 Solution for Problem 5.1 (decentralized) |
|
|
135 | (2) |
|
5.7.3 Solution for Problem 5.2 (centralized) |
|
|
137 | (2) |
|
|
139 | (2) |
|
6 Path and Task Planning Using Petri Net Models |
|
|
141 | (52) |
|
|
141 | (3) |
|
6.2 Boolean-based specifications for cooperative robots |
|
|
144 | (13) |
|
6.2.1 Problem definition and notations |
|
|
144 | (2) |
|
6.2.2 Linear restrictions for Boolean-based specifications |
|
|
146 | (1) |
|
6.2.3 Solution for constraints on the final state |
|
|
147 | (2) |
|
6.2.4 Solution for constraints on trajectory and final state |
|
|
149 | (2) |
|
6.2.5 Discussion on the above solutions |
|
|
151 | (1) |
|
6.2.6 Suboptimal solution |
|
|
152 | (2) |
|
6.2.7 Simulation examples |
|
|
154 | (3) |
|
6.3 LTL specifications for cooperative robots |
|
|
157 | (13) |
|
6.3.1 Problem definition and solution |
|
|
157 | (10) |
|
6.3.2 Simulation examples |
|
|
167 | (3) |
|
|
170 | (10) |
|
|
170 | (5) |
|
|
175 | (5) |
|
6.5 Task gathering problem |
|
|
180 | (5) |
|
6.5.1 Problem formulation |
|
|
180 | (1) |
|
|
181 | (4) |
|
6.6 Deadlock prevention using resource allocation models |
|
|
185 | (7) |
|
|
192 | (1) |
|
|
193 | (2) |
Bibliography |
|
195 | (16) |
Index |
|
211 | |