Digital twin (DT) is an emerging concept that is gaining attention in various industries. It
refers to the ability to clone a physical object (PO) into a software counterpart. The …

Systems engineering is an ubiquitous discipline of Engineering overlap** industrial,
chemical, mechanical, manufacturing, control, software, electrical, and civil engineering. It …

Abstract The use of Digital Twins (DTs) for continuously optimising manufacturing systems
under a constant stream of changes, also known as” online optimisation”, is taken for …

Through field calculus constructs and building-block APIs, aggregate programming could
help unlock the IoT's true potential by allowing complex distributed services to be specified …

This study proposes a collective motion and self-organization control of a swarm of 10 UAVs,
which are divided into two clusters of five agents each. A cluster is a group of UAVs in a …

Despite the progress in Internet of Things (IoT) research, a general software engineering
approach for systematic development of IoT systems and applications is still missing. A …

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 …

We expect that human organizations and cooperative animal groups should be optimized for
collective performance. This often involves the allocation of different individuals to different …

The crucial role played by social interactions between smart objects in the Internet of Things
(IoT) is being rapidly recognized by the social IoT (SIoT) vision. In this paper, we build upon …

This paper presents a methodology, with supporting tool, for formal modeling and analysis of
software components in cyber-physical systems. Using our approach, developers can …