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.
Submitted by Stephane Lafortune on January 22nd, 2019