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

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.