REsilient Adaptive Control with Temporal Logic feedback for CPS

Objective

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.