Development of Novel Architectures for Control and Diagnosis of Safety-Critical Complex Cyber-Physical System
pdf
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
pdf
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