Macroprogramming: Concepts, state of the art, and opportunities of macroscopic behaviour modelling

R Casadei - ACM Computing Surveys, 2023 - dl.acm.org
Macroprogramming refers to the theory and practice of expressing the macro (scopic)
behaviour of a collective system using a single program. Macroprogramming approaches …

Engineering collective intelligence at the edge with aggregate processes

R Casadei, M Viroli, G Audrito, D Pianini… - … Applications of Artificial …, 2021 - Elsevier
Edge computing promotes the execution of complex computational processes without the
cloud, ie, on top of the heterogeneous, articulated, and possibly mobile systems composed …

Artificial collective intelligence engineering: a survey of concepts and perspectives

R Casadei - Artificial Life, 2023 - ieeexplore.ieee.org
Collectiveness is an important property of many systems—both natural and artificial. By
exploiting a large number of individuals, it is often possible to produce effects that go far …

A methodology and simulation-based toolchain for estimating deployment performance of smart collective services at the edge

R Casadei, G Fortino, D Pianini… - IEEE Internet of …, 2022 - ieeexplore.ieee.org
Research trends are pushing artificial intelligence (AI) across the Internet of Things (IoT)–
edge–fog–cloud continuum to enable effective data analytics, decision making, as well as …

[HTML][HTML] ScaFi: A Scala DSL and toolkit for aggregate programming

R Casadei, M Viroli, G Aguzzi, D Pianini - SoftwareX, 2022 - Elsevier
Supported by current socio-scientific trends, programming the global behaviour of whole
computational collectives makes for great opportunities, but also significant challenges …

Cyber physical systems dependability using cps-iot monitoring

A Bagula, O Ajayi, H Maluleke - Sensors, 2021 - mdpi.com
Recently, vast investments have been made worldwide in developing Cyber-Physical
Systems (CPS) as solutions to key socio-economic challenges. The Internet-of-Things (IoT) …

Learning structured communication for multi-agent reinforcement learning

J Sheng, X Wang, B Jin, J Yan, W Li, TH Chang… - Autonomous Agents and …, 2022 - Springer
This work explores the large-scale multi-agent communication mechanism for multi-agent
reinforcement learning (MARL). We summarize the general topology categories for …

Declarative continuous reasoning in the cloud-IoT continuum

S Forti, G Bisicchia, A Brogi - Journal of Logic and Computation, 2022 - academic.oup.com
Developing and releasing multiservice applications rely upon a pipeline of automation tools
known as Continuous Integration/Continuous Deployment. Among those tools, continuous …

Pulverization in cyber-physical systems: Engineering the self-organizing logic separated from deployment

R Casadei, D Pianini, A Placuzzi, M Viroli, D Weyns - Future Internet, 2020 - mdpi.com
Emerging cyber-physical systems, such as robot swarms, crowds of augmented people, and
smart cities, require well-crafted self-organizing behavior to properly deal with dynamic …

MacroSwarm: A Field-Based Compositional Framework for Swarm Programming

G Aguzzi, R Casadei, M Viroli - International Conference on Coordination …, 2023 - Springer
Swarm behaviour engineering is an area of research that seeks to investigate methods for
coordinating computation and action within groups of simple agents to achieve complex …