Abstract: The project is developing novel architectures for control and diagnosis of complex cyber-­‐physical systems subject to stringent performance requirements in terms of safety, resilience, and adaptivity. These ever-­‐increasing demands necessitate the use of formal model-­‐based approaches to synthesize provably-­‐correct feedback controllers.