Title
A Formal Model for Autonomous Planning in High Performance Systems.
Abstract
Nowadays, novel architectures like Cloud and Internet of Things (IoT) make available several resources like computing nodes, environmental sensors etc. that enable the introduction of more and more intelligent systems able to face complex situations. In particular management of critical and dangerous situations may take advantage of those systems whose complexity is growing up faster and faster. In this scenario, it is difficult to orchestrate different autonomous systems in order to face with new, previously unmanaged emergencies. In this work we present a modeling methodology and a planning techniques based on a multi-agent model. Agents describe capabilities of each available IoT element in an area where a critical situation has occurred; the planning methodology exploit both classical and a new counter-example based approaches to build a coordination plan of resources in order to achieve given goals like traffic management or people flight during a terrorist attack.
Year
DOI
Venue
2016
10.1016/j.procs.2016.09.085
EUSPN/ICTH
Keywords
Field
DocType
Formal Model,Autonomous Planning System,High Performance Systems
Data mining,Intelligent decision support system,Computer science,Computer security,Internet of Things,Exploit,Autonomous system (Internet),Cloud computing
Conference
Volume
Issue
ISSN
98
C
1877-0509
Citations 
PageRank 
References 
0
0.34
0
Authors
4
Name
Order
Citations
PageRank
Flora Amato145866.48
Antonino Mazzeo254063.72
Nicola Mazzocca367478.37
Francesco Moscato429832.28