CPS Breakthrough: Development of Novel Architectures for Control & Diagnosis of Safety-Critical Complex CPS

Download
pdf

Abstract: 

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.

  • abstraction techniques
  • Controller Synthesis
  • CPS Safety
  • distributed control
  • safety-critical control
  • The University of Michigan
  • Architectures
  • CPS Domains
  • Control
  • Modeling
  • Critical Infrastructure
  • Resilient Systems
  • CPS Technologies
  • Foundations
  • National CPS PI Meeting 2015
  • 2015
  • Abstract
  • Poster
  • Academia
  • 2015 CPS PI MTG Videos, Posters, and Abstracts
Submitted by Stephane Lafortune on