abstraction techniques


Visible to the public CPS Breakthrough: Development of Novel Architectures for Control & Diagnosis of Safety-Critical Complex CPS


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.