Abstract:Collective adaptive systems are an emerging class of networked computational systems, particularly suited in application domains such as smart cities, complex sensor networks, and the Internet of Things. These systems tend to feature large scale, heterogeneity of communication model (including opportunistic peer-to-peer wireless interaction), and require inherent self-adaptiveness properties to address unforeseen changes in operating conditions. In this context, it is extremely difficult (if not seemingly intractable) to engineer reusable pieces of distributed behaviour so as to make them provably correct and smoothly composable. Building on the field calculus, a computational model (and associated toolchain) capturing the notion of aggregate network-level computation, we address this problem with an engineering methodology coupling formal theory and computer simulation. On the one hand, functional properties are addressed by identifying the largest-to-date field calculus fragment generating self-stabilising behaviour, guaranteed to eventually attain a correct and stable final state despite any transient perturbation in state or topology, and including highly reusable building blocks for information spreading, aggregation, and time evolution. On the other hand, dynamical properties are addressed by simulation, empirically evaluating the different performances that can be obtained by switching between implementations of building blocks with provably equivalent functional properties. Overall, our methodology sheds light on how to identify core building blocks of collective behaviour, and how to select implementations that improve system performance while leaving overall system function and resiliency properties unchanged.

Learning to Learn in Collective Adaptive Systems: Mining Design Patterns for Data-driven Reasoning

Design science research for learning software engineering and computational thinking: Four cases

Cognitive learning efficiency through the use of design patterns in teaching

Towards machine learning based design pattern recognition

Modular Design Patterns for Hybrid Learning and Reasoning Systems: a taxonomy, patterns and use cases

Towards Mining Creative Thinking Patterns from Educational Data

A Framework to Study Human-AI Collaborative Design Space Exploration

An Artificial Intelligence driven Learning Analytics Method to Examine the Collaborative Problem solving Process from a Complex Adaptive Systems Perspective

Reinforcement Learning for Engineering Design Automation

Engineering Resilient Collective Adaptive Systems by Self-Stabilisation

An artificial intelligence-driven learning analytics method to examine the collaborative problem-solving process from the complex adaptive systems perspective

A Collaborative System for Capturing and Reusing In-Context Design Knowledge with an Integrated Representation Model

Innovative Platform for Designing Hybrid Collaborative & Context-Aware Data Mining Scenarios

Designing Data: Proactive Data Collection and Iteration for Machine Learning

The use of reinforced learning to support multidisciplinary design in the AEC industry: Assessing the utilization of Markov Decision Process

Learning to design from humans: Imitating human designers through deep learning

Pattern Recognition in Collective Cognitive Systems: Hybrid Human-Machine Learning (HHML) By Heterogeneous Ensembles

Learning Collective Behaviors from Observation

The use of tools of data mining to decision making in engineering education—A systematic mapping study

Team Learning as a Lens for Designing Human-AI Co-Creative Systems