Visible to the public Development of Novel Architectures for Control and Diagnosis of Safety-Critical Complex Cyber-Physical Systems

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.