A collective adaptive system consists of collaborating entities that are able to adapt in real-time to dynamically changing and open environments and changing needs. Rigorous engineering requires appropriate methods and tools to help ensure that a collective adaptive system lives up to its intended purpose. This note provides an introduction to the 4th edition of the track “Rigorous Engineering of Collective Adaptive Systems” and briefly introduces the panel discussion and its 22 scientific contributions, structured into eight thematic sessions: Design and Validation of Autonomous Systems, Computing with Bio-inspired Communication, New System Models and Tools for Ensembles, Large Ensembles and Collective Dynamics, On the Borderline between Collective Stupidity and Collective Intelligence, Machine Learning for Collective Adaptive Systems, Programming and Analysing Ensembles, and Tools for Formal Analysis and Design.

Rigorous Engineering of Collective Adaptive Systems Introduction to the 4th Track Edition

De Nicola R.;
2022-01-01

Abstract

A collective adaptive system consists of collaborating entities that are able to adapt in real-time to dynamically changing and open environments and changing needs. Rigorous engineering requires appropriate methods and tools to help ensure that a collective adaptive system lives up to its intended purpose. This note provides an introduction to the 4th edition of the track “Rigorous Engineering of Collective Adaptive Systems” and briefly introduces the panel discussion and its 22 scientific contributions, structured into eight thematic sessions: Design and Validation of Autonomous Systems, Computing with Bio-inspired Communication, New System Models and Tools for Ensembles, Large Ensembles and Collective Dynamics, On the Borderline between Collective Stupidity and Collective Intelligence, Machine Learning for Collective Adaptive Systems, Programming and Analysing Ensembles, and Tools for Formal Analysis and Design.
2022
978-3-031-19758-1
978-3-031-19759-8
Adaptive system
Collective system
Ensemble
Formal method
Machine learning
Rigorous method
Software engineering
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/20.500.11771/26121
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
social impact