IFIP Logo
Sign in for Members and Observers

IFIP WG1.3 Foundations of System Specification


Talk "Reasoning about Robustness of Cyber-Physical Systems"

by Michele Loreti

Tue, 06 February 2024 at 11:30 am in Salzburg, Austria

Joint work with: Valentina Castiglioni, Simone Tini

Abstract: We propose Robustness Temporal Logic (RobTL), a novel temporal logic for the specification and analysis of distances between the behaviours of Cyber-Physical Systems (CPSs) over a finite time horizon. RobTL specifications allows us to measure the differences in the behaviours of systems with respect to various objectives and temporal constraints, and to study how those differences evolve in time. Specifically, the unique features of RobTL allow us to specify robustness properties of CPSs against uncertainty and perturbations. As an example, we use RobTL to analyse the robustness of a supervised, self-coordinating, engine system that is subject to attacks aimed at inflicting overstress of equipment.