Verification and validation (V&V) hold a significant position in the research and development
of automated vehicles (AVs). Current literature indicates that different V&V techniques have …

The increasing complexity and connectivity of automotive systems have raised concerns
about their vulnerability to security breaches. As a result, the integration of formal methods …

Abstract Designing a Model Predictive Control system requires an accurate analysis of the
interplay among three main components: the plant, the control algorithm, and the processor …

This work aims at demonstrating the benefits of integrating co-simulation and formal
verification in the standard design flow of a brushless power drive system for precision …

While many modeling and simulation environments provide tools for the generation of FMI-
compliant FMUs, developers often have to design an FMU from scratch in order to co …

Unmanned aerial vehicle (UAV) co-operative systems are complex cyber-physical systems
that integrate a high-level control algorithm with pre-existing closed implementations of …

Automated Vehicles (AVs) are rapidly maturing in the transportation domain. However, the
complexity of the AV design problem is such that no single technique is sufficient to provide …

A control system verification framework is presented for unmanned aerial vehicles using
theorem proving. The framework's aim is to set out a procedure for proving that the …

With the mass production of robotic systems and an emerging new generation of
collaborative robots, the requirements are increasing for robust and efficient control …

Formal verification may play a central role in the development of safe controllers, such as
those found in electric drives or (semi-) autonomous vehicles, whose complexity arises from …