Chairs: C. Cirstea, F. Gadducci, H. Schlingloff Past Chairmen: M. Roggenbach, L. Schröder, T. Mossakowski, J. Fiadeiro, P. Mosses, H.-J. Kreowski
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.