REsilient Adaptive Control with Temporal Logic feedback for CPS

Descrizione del progetto

Garanzia formale per sistemi ciberfisici resilienti

I sistemi ciberfisici sono alla base di numerose applicazioni TIC critiche, dai veicoli automatizzati ai robot industriali. Garantire il loro funzionamento sicuro e affidabile in ambienti dinamici e imprevedibili rimane una sfida importante. Il progetto REACT-CPS, finanziato dal programma di azioni Marie Skłodowska-Curie, si propone di affrontare questa sfida combinando il controllo adattivo con il monitoraggio formale in tempo reale. L’obiettivo è integrare monitor di logica temporale del segnale all’interno del circuito di controllo, consentendo il rilevamento di violazioni della sicurezza e l’adozione di azioni correttive automatizzate in fase di esecuzione. In definitiva, REACT-CPS rafforzerà le basi di sistemi TIC affidabili e resilienti, contribuendo a realizzare infrastrutture critiche più sicure e affidabili in Europa.

Obiettivo

Cyber-Physical Systems (CPS) form the backbone of safety-critical domains such as autonomous vehicles, aerospace, and industrial automation. Ensuring their safety and reliability is a pressing challenge, especially under runtime faults, nonlinearities, and evolving uncertainties. Beyond maintaining control, CPS must remain formally safe under continuously changing system dynamics. REACT-CPS aims to address this challenge by embedding formal runtime monitoring into adaptive control to create a resilient framework for CPS. First, I will design a fault-tolerant adaptive control strategy capable of maintaining stability and performance under diverse faults, nonlinearities, and uncertainties, supported by control-theoretic stability guarantees. Second, I will develop an adaptation logic interface that leverages Signal Temporal Logic monitors to detect property violations in real time and trigger structured adaptation signals. This integration will enable the controller to react both to physical signals and to formally monitored safety trends, establishing a unified framework with formal guarantees on robustness. I will use diverse CPS benchmarks and combine analytical proofs with systematic testing using state-of-the-art test generation strategies to empirically validate the performance of the designed controller.

REACT-CPS will deliver a novel control-verification framework that advances the state-of-the-art by tightly coupling adaptive control with runtime formal assurance. REACT-CPS will release open-source tools, benchmarks, and reproducible workflows to foster transparency, community uptake and reuse. It will strengthen the scientific foundations of safety assurance in CPS while equipping me with cross-disciplinary expertise in control theory, formal verification, and software engineering. Ultimately, the results will support safer and more trustworthy CPS in domains with high societal relevance, including mobility, automation, and healthcare.