Cristian Mahulea - Path Planning of Cooperative Mobile Robots Using Discrete Event Models

6 Chapter 6Figure 6.1 An example of a Boolean specification. The robots are required to...Figure 6.2 Random environment with ten regions of interest and seven robots ...Figure 6.3 Random environment with seven regions of interest and five robots...Figure 6.4 Büchi automaton for the LTL specification The inputs that enabl...Figure 6.5 Trajectories computed for the LTL specification The robots sync...Figure 6.6 Trajectories computed for the LTL specification Other trajector...Figure 6.7 A simple environment to illustrate the sequencing problem. An env...Figure 6.8 RMPN for the team in the environment illustrated in Figure 6.7. T...Figure 6.9 A simple environment to illustrate the task gathering problem. An...Figure 6.10 Environment with three regions of interest sketched using RMTool...Figure 6.11 Example of a RARMPN model. The RARMPN model of two robots evolvi...Figure 6.12 Example of a RARMPN model with a monitor place . The RARMPN mod...

1 Cover

2 Table of Contents

3 Begin Reading

1 ii

2 iii

3 iv

4 v

5 xi

6 xii

7 xiii

8 xv

9 xvi

10 xvii

11 xix

12 1

13 2

14 3

15 4

16 5

17 6

18 7

19 8

20 9

21 10

22 11

23 12

24 13

25 14

26 15

27 17

28 18

29 19

30 20

31 21

32 22

33 23

34 24

35 25

36 26

37 27

38 28

39 29

40 30

41 31

42 32

43 33

44 34

45 35

46 36

47 37

48 38

49 39

50 40

51 41

52 42

53 43

54 44

55 45

56 46

57 47

58 48

59 49

60 50

61 51

62 52

63 53

64 54

65 55

66 56

67 57

68 58

69 59

70 60

71 61

72 62

73 63

74 64

75 65

76 66

77 67

78 68

79 69

80 70

81 71

82 72

83 73

84 74

85 75

86 76

87 77

88 78

89 79

90 80

91 81

92 82

93 83

94 84

95 85

96 86

97 87

98 88

99 89

100 90

101 91

102 92

103 93

104 94

105 95

106 96

107 97

108 98

109 99

110 100

111 101

112 102

113 103

114 104

115 105

116 106

117 107

118 109

119 110

120 111

121 112

122 113

123 114

124 115

125 116

126 117

127 118

128 119

129 120

130 121

131 122

132 123

133 124

134 125

135 126

136 127

137 128

138 129

139 130

140 131

141 132

142 133

143 134

144 135

145 136

146 137

147 138

148 139

149 140

150 141

151 142

152 143

153 144

154 145

155 146

156 147

157 148

158 149

159 150

160 151

161 152

162 153

163 154

164 155

165 156

166 157

167 158

168 159

169 160

170 161

171 162

172 163

173 164

174 165

175 166

176 167

177 168

178 169

179 170

180 171

181 172

182 173

183 174

184 175

185 176

186 177

187 178

188 179

189 180

190 181

191 182

192 183

193 184

194 185

195 186

196 187

197 188

198 189

199 190

200 191

201 192

202 193

203 194

204 195

205 195

206 196

207 197

208 198

209 199

210 200

211 201

212 202

213 203

214 204

215 205

216 206

217 207

218 208

219 209

220 210

221 211

222 212

223 b1

224 b2

225 213

IEEE Press445 Hoes Lane Piscataway, NJ 08854

IEEE Press Editorial BoardEkram Hossain, Editor in Chief

Cristian Mahulea

University of Zaragoza, Spain

Marius Kloetzer

“Gheorghe Asachi” Technical University of Iasi, Romania

Ramón González

Robonity, Spain

© 2020 by The Institute of Electrical and Electronics Engineers, Inc. All rights reserved.

Published by John Wiley & Sons, Inc., Hoboken, New Jersey.

Published simultaneously in Canada.

No part of this publication may be reproduced, stored in a retrieval system, or transmitted in any form or by any means, electronic, mechanical, photocopying, recording, scanning, or otherwise, except as permitted under Section 107 or 108 of the 1976 United States Copyright Act, without either the prior written permission of the Publisher, or authorization through payment of the appropriate per‐copy fee to the Copyright Clearance Center, Inc., 222 Rosewood Drive, Danvers, MA 01923, (978) 750‐8400, fax (978) 750‐4470, or on the web at www.copyright.com. Requests to the Publisher for permission should be addressed to the Permissions Department, John Wiley & Sons, Inc., 111 River Street, Hoboken, NJ 07030, (201) 748‐6011, fax (201) 748‐6008, or online at http://www.wiley.com/go/permissions.

Limit of Liability/Disclaimer of Warranty: While the publisher and author have used their best efforts in preparing this book, they make no representations or warranties with respect to the accuracy or completeness of the contents of this book and specifically disclaim any implied warranties of merchantability or fitness for a particular purpose. No warranty may be created or extended by sales representatives or written sales materials. The advice and strategies contained herein may not be suitable for your situation. You should consult with a professional where appropriate. Neither the publisher nor author shall be liable for any loss of profit or any other commercial damages, including but not limited to special, incidental, consequential, or other damages.

For general information on our other products and services or for technical support, please contact our Customer Care Department within the United States at (800) 762‐2974, outside the United States at (317) 572‐3993 or fax (317) 572‐4002.

Wiley also publishes its books in a variety of electronic formats. Some content that appears in print may not be available in electronic formats. For more information about Wiley products, visit our web site at www.wiley.com.