Intro
Introduction
Organization
Contents - Part III
Rigorous Engineering of Collective Adaptive Systems
Rigorous Engineering of Collective Adaptive Systems Introduction to the 4th Track Edition
1 Collective Adaptive Systems
2 Track Overview
3 Track Contributions
3.1 Design and Validation of Autonomous Systems
3.2 Computing with Bio-inspired Communication
3.3 New System Models and Tools for Ensembles
3.4 Large Ensembles and Collective Dynamics
3.5 Panel: On the Borderline Between Collective Stupidity and Collective Intelligence

3.6 Machine Learning for Collective Adaptive Systems
3.7 Programming and Analysing Ensembles
3.8 Tools for Formal Analysis and Design
References
Correct by Design Coordination of Autonomous Driving Systems
1 Introduction
2 Map Representation
3 The ADS Dynamic Model
3.1 General ADS Architecture
3.2 Assume-Guarantee for Safe Control Policies
4 Speed Policies Abiding by the Vehicle Contract
5 Free Space Policies Implied by Traffic Rules
5.1 Writing Specifications of Traffic Rules
5.2 Deriving Free Space Rules from Traffic Rules

5.3 Correctness with Respect to the Free Space Contract
6 Discussion
References
Neural Predictive Monitoring for Collective Adaptive Systems
1 Introduction
2 Bike Sharing System
2.1 Model of the System
2.2 Dynamics of the System
3 Neural Predictive Monitoring for CAS
3.1 Deterministic Dynamics
3.2 Stochastic Dynamics
3.3 Predictive Monitoring for BSS
4 Uncertainty Quantification and Statistical Guarantees
4.1 Conformal Predictions for Multi-output and Multi-class Classification
4.2 Uncertainty-Based Rejection Rule
5 Experiments
5.1 Results

5.2 Discussion
6 Conclusions
References
An Extension of HybridSynchAADL and Its Application to Collaborating Autonomous UAVs
1 Introduction
2 Preliminaries
3 Overview of HybridSynchAADL
3.1 The HybridSynchAADL Modeling Language
3.2 Symbolic Semantics of HybridSynchAADL
4 An Extension of HybridSynchAADL
5 Extending the Semantics of HybridSynchAADL
5.1 Representation of the Additional Features
5.2 Semantic of Composite Data Types
5.3 Semantics of Subprogram Calls
6 Case Study: A Packet Delivery System
6.1 System Description

6.2 The HybridSynchAADL Model
6.3 Formal Analysis
7 Related Work
8 Concluding Remarks
References
Discrete Models of Continuous Behavior of Collective Adaptive Systems
1 Introduction
2 Running Example: Ants on a Bar
2.1 The Behavior of Ants on a Bar
2.2 Events of the Ants' System
3 Conventional Models of the Ants' Behavior
3.1 The Continuous Model of a Run of the Ants System
3.2 The Grid Model
3.3 The Numbering Model
3.4 The Lockstep Model
3.5 The Uniqueness Problem
3.6 Weak Orderings of Events
4 The Causal Model of the Ants' Runs