1446298

file

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

Submitted by Stephane Lafortune on Tue, 01/22/2019 - 5:36pm. Contributors:

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.

file

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

Submitted by Stephane Lafortune on Wed, 11/29/2017 - 5:20pm. Contributors:

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.