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..

A Formal Model for Autonomous Planning in High Performance Systems / Amato, Flora; Mazzeo, Antonino; Mazzocca, Nicola; Moscato, Francesco. - In: PROCEDIA COMPUTER SCIENCE. - ISSN 1877-0509. - 58:(2016), pp. 503-508. (Intervento presentato al convegno 7th International Conference on Emerging Ubiquitous Systems and Pervasive Networks, EUSPN 2016 / The 6th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare, ICTH-2016 / Affiliated Workshops, 2016; London; United Kingdom; 19 September 2016 through 22 September 2016; Code 131700) [10.1016/j.procs.2016.09.085].

A Formal Model for Autonomous Planning in High Performance Systems

AMATO, FLORA;MAZZEO, ANTONINO;MAZZOCCA, NICOLA;MOSCATO, FRANCESCO
2016

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..
2016
A Formal Model for Autonomous Planning in High Performance Systems / Amato, Flora; Mazzeo, Antonino; Mazzocca, Nicola; Moscato, Francesco. - In: PROCEDIA COMPUTER SCIENCE. - ISSN 1877-0509. - 58:(2016), pp. 503-508. (Intervento presentato al convegno 7th International Conference on Emerging Ubiquitous Systems and Pervasive Networks, EUSPN 2016 / The 6th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare, ICTH-2016 / Affiliated Workshops, 2016; London; United Kingdom; 19 September 2016 through 22 September 2016; Code 131700) [10.1016/j.procs.2016.09.085].
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11588/667654
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? 0
social impact