Preface |
|
xi | |
|
Amal El Fallah Seghrouchni |
|
|
|
Introduction |
|
xvii | |
|
Aural El Fallah Seghrouchni |
|
|
|
Chapter 1 Shared Wireless Sensor Networks as Enablers for a Context Management System in Smart Cities |
|
1 | (22) |
|
|
|
1 | (2) |
|
|
3 | (2) |
|
|
5 | (2) |
|
1.3.1 Architecture of XAC middleware |
|
|
6 | (1) |
|
1.4 Task-description language |
|
|
7 | (5) |
|
|
8 | (2) |
|
1.4.2 XAC middleware solutions |
|
|
10 | (2) |
|
1.5 Runtime task management |
|
|
12 | (4) |
|
|
12 | (2) |
|
1.5.2 XAC middleware solutions |
|
|
14 | (2) |
|
|
16 | (2) |
|
|
17 | (1) |
|
1.6.2 XAC middleware solutions |
|
|
17 | (1) |
|
|
18 | (1) |
|
|
19 | (1) |
|
|
19 | (4) |
Chapter 2 Sensorizer: An Architecture for Regenerating Cyber-physical Data Streams from the Web |
|
23 | (10) |
|
|
|
23 | (2) |
|
2.2 Sensorizer architecture |
|
|
25 | (2) |
|
2.2.1 Sensing process of EWC |
|
|
25 | (1) |
|
2.2.2 Sensorizer architecture |
|
|
25 | (2) |
|
|
27 | (2) |
|
2.3.1 Sensorizer browser extension |
|
|
27 | (1) |
|
|
28 | (1) |
|
|
29 | (1) |
|
2.4 Case of sensorized smart cities |
|
|
29 | (3) |
|
|
32 | (1) |
|
|
32 | (1) |
Chapter 3 Smart Agent Foundations: From Planning to Spatio-temporal Guidance |
|
33 | (32) |
|
|
Amal El Fallah Seghrouchni |
|
|
|
|
|
33 | (2) |
|
3.2 Smart-campus: use case and scenario |
|
|
35 | (2) |
|
3.2.1 Smart-campus architecture |
|
|
36 | (1) |
|
|
37 | (1) |
|
3.3 Description of the software architecture for a smart ambient agent |
|
|
37 | (1) |
|
3.4 Higher order agent model |
|
|
38 | (2) |
|
3.4.1 Application to the scenario |
|
|
39 | (1) |
|
3.5 Description of the concurrent planner based on AgLOTOS language |
|
|
40 | (5) |
|
3.5.1 Agent plan structure |
|
|
40 | (2) |
|
3.5.2 Syntax of AgLOTOS plans |
|
|
42 | (2) |
|
3.5.3 Building of the agent plan from the intentions |
|
|
44 | (1) |
|
3.5.4 Planning state of the agent |
|
|
45 | (1) |
|
3.6 Contextual planning guidance |
|
|
45 | (7) |
|
3.6.1 Semantics of AgLOTOS plans |
|
|
46 | (2) |
|
3.6.2 Contextual planning system |
|
|
48 | (2) |
|
3.6.3 Application to the scenario |
|
|
50 | (2) |
|
3.7 Spatio-temporal guidance from past experiences |
|
|
52 | (9) |
|
3.7.1 Contextual planning architecture |
|
|
52 | (1) |
|
3.7.2 Learning actions from past experiences |
|
|
53 | (5) |
|
3.7.3 Spatio-temporal guidance |
|
|
58 | (3) |
|
|
61 | (1) |
|
|
62 | (3) |
Chapter 4 A Multi-Agent Middleware for Deployment of Ambient Applications |
|
65 | (42) |
|
|
Amal El Fallah Seghrouchni |
|
|
|
|
|
|
65 | (2) |
|
4.2 Challenges for ambient intelligence and Internet of Things |
|
|
67 | (6) |
|
4.2.1 Toward the heterogeneity of hardware and protocols |
|
|
67 | (2) |
|
4.2.2 Data transport and processing |
|
|
69 | (2) |
|
4.2.3 Management of data privacy |
|
|
71 | (2) |
|
4.3 Deployment of applications for ambient systems |
|
|
73 | (13) |
|
4.3.1 Reasoning about heterogeneity |
|
|
73 | (1) |
|
|
74 | (2) |
|
4.3.3 Mathematical formalization of the deployment process |
|
|
76 | (5) |
|
4.3.4 Modified graph-matching algorithm |
|
|
81 | (4) |
|
|
85 | (1) |
|
4.4 Multi-agent middleware for ambient systems |
|
|
86 | (16) |
|
|
87 | (1) |
|
4.4.2 Multi-agent modeling |
|
|
88 | (4) |
|
4.4.3 Distributed reasoning |
|
|
92 | (4) |
|
4.4.4 Design and implementation |
|
|
96 | (6) |
|
|
102 | (1) |
|
|
103 | (4) |
Chapter 5 ClouT: Cloud of Things for Empowering Citizen's Clout in Smart Cities |
|
107 | (20) |
|
|
|
|
5.1 Objective of the ClouT project |
|
|
107 | (2) |
|
5.2 Goal of the ClouT project |
|
|
109 | (1) |
|
|
110 | (8) |
|
|
112 | (3) |
|
|
115 | (2) |
|
|
117 | (1) |
|
5.4 ClouT reference architecture |
|
|
118 | (4) |
|
|
118 | (2) |
|
|
120 | (1) |
|
5.4.3 Security and Dependability components |
|
|
121 | (1) |
|
5.5 Mapping the architecture |
|
|
122 | (3) |
|
|
125 | (1) |
|
|
126 | (1) |
Chapter 6 sensiNact loT Platform as a Service |
|
127 | (22) |
|
|
|
|
|
Jander Botelho Do Nascimento |
|
|
|
128 | (2) |
|
|
130 | (3) |
|
6.2.1 IoT solutions architectures |
|
|
130 | (1) |
|
6.2.2 Existing IoT platforms |
|
|
131 | (2) |
|
6.3 Architecture and data model |
|
|
133 | (5) |
|
6.4 Platform security management |
|
|
138 | (2) |
|
|
140 | (6) |
|
6.5.1 Graphical user interface |
|
|
141 | (2) |
|
6.5.2 Creating applications |
|
|
143 | (1) |
|
6.5.3 Application deployment |
|
|
144 | (2) |
|
|
146 | (1) |
|
|
146 | (3) |
Chapter 7 Verification and Configuration of Smart Space Applications |
|
149 | (20) |
|
|
|
|
149 | (1) |
|
7.2 Conflicts in smart space applications |
|
|
150 | (4) |
|
7.2.1 Event-driven control of smart spaces |
|
|
150 | (1) |
|
7.2.2 Description of event-driven behavior |
|
|
151 | (1) |
|
7.2.3 Conflicts in event-driven control |
|
|
151 | (2) |
|
7.2.4 Application of model checking techniques |
|
|
153 | (1) |
|
7.3 Framework for verifying and configuring smart space applications |
|
|
154 | (7) |
|
|
154 | (1) |
|
|
155 | (3) |
|
7.3.3 Definition of state transition model |
|
|
158 | (1) |
|
7.3.4 Properties to verify |
|
|
159 | (1) |
|
|
160 | (1) |
|
7.3.6 Model checker implementation |
|
|
161 | (1) |
|
|
161 | (3) |
|
7.4.1 Scenario and initial specification |
|
|
161 | (1) |
|
7.4.2 Analyzing sound conflicts |
|
|
162 | (2) |
|
|
164 | (1) |
|
|
164 | (1) |
|
|
165 | (1) |
|
|
166 | (1) |
|
|
166 | (3) |
Chapter 8 SmartSantander: A Massive Self-Managed, Scalable and Interconnected loT Deployment |
|
169 | (18) |
|
|
|
|
|
169 | (1) |
|
8.2 SmartSantander: novel architecture for service provision and experimentation |
|
|
170 | (3) |
|
8.3 SmartSantander deployment: use cases |
|
|
173 | (2) |
|
8.4 SmartSantander interacting with ClouT |
|
|
175 | (9) |
|
|
176 | (1) |
|
8.4.2 IoT device description |
|
|
177 | (4) |
|
8.4.3 loT resource manager |
|
|
181 | (1) |
|
8.4.4 Virtualization module |
|
|
182 | (2) |
|
|
184 | (1) |
|
|
185 | (2) |
Chapter 9 Using Context-aware Multi-agent Systems for Robust Smart City Infrastructure |
|
187 | (20) |
|
|
|
Amal El Fallah Seghrouchni |
|
|
|
187 | (2) |
|
9.1.1 Smart cities and ambient intelligence |
|
|
188 | (1) |
|
|
189 | (4) |
|
9.2.1 Information at the right time |
|
|
191 | (1) |
|
9.2.2 Robustness, reliability, dependability and trust |
|
|
192 | (1) |
|
9.2.3 Privacy and personal information |
|
|
192 | (1) |
|
9.3 Solutions for managing context information |
|
|
193 | (3) |
|
9.3.1 Related work and projects |
|
|
193 | (2) |
|
9.3.2 A local solution for a global result |
|
|
195 | (1) |
|
9.4 MAS-based application-independent middleware |
|
|
196 | (8) |
|
|
198 | (5) |
|
9.4.2 Generality of the design |
|
|
203 | (1) |
|
9.4.3 Resilience in case of failures |
|
|
203 | (1) |
|
|
204 | (1) |
|
|
204 | (3) |
Chapter 10 City of Santander |
|
207 | (14) |
|
|
Jose Antonio Teixeira Vitienes |
|
|
|
207 | (3) |
|
|
210 | (10) |
|
10.2.1 Participatory sensing for city management |
|
|
211 | (4) |
|
10.2.2 Traffic mobility management |
|
|
215 | (4) |
|
|
219 | (1) |
|
|
220 | (1) |
Chapter 11 Fujisawa, Towards a Sustainable Smart City |
|
221 | (18) |
|
|
|
221 | (4) |
|
11.1.1 Sensorized garbage trucks |
|
|
222 | (1) |
|
11.1.2 Enoshima Info Surfboard |
|
|
223 | (1) |
|
|
224 | (1) |
|
11.2 Architecture and application domains |
|
|
225 | (11) |
|
11.2.1 Architecture with ClouT components |
|
|
225 | (1) |
|
11.2.2 Components for implementation |
|
|
226 | (1) |
|
11.2.3 Interaction among components |
|
|
227 | (1) |
|
11.2.4 Development scenario |
|
|
228 | (1) |
|
11.2.5 Design and implementation |
|
|
229 | (7) |
|
|
236 | (1) |
|
|
237 | (1) |
|
|
237 | (2) |
List of Authors |
|
239 | (2) |
Index |
|
241 | |