This paper focuses on studying efficient solutions for modeling and deriving compositional tests for component-based real-time systems. In this work, we propose a coherent framewo...
In this paper, we argue that KBS validation should not be limited to testing functional properties of the system, such as its input - output behavior, but must also address its dy...
Autonomousmobile robots need to detect potential failures reliably and react appropriately. Dueto uncertainties about the robots and their environment,it is extremelydifficult to ...
In this paper, a feedback control strategy that achieves convergence of a multi-agent system to a desired formation configuration is proposed for both the cases of agents with sin...
This paper addresses a collective motion problem for a multi-agent system composed of nonholonomic vehicles. The aim of the vehicles is to achieve circular motion around a virtual...
Nicola Ceccarelli, Mauro Di Marco, Andrea Garulli,...