Controller Synthesis

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 - 4: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 High-level Perception and Control for Autonomous Reconfigurable Modular Robots

Submitted by hadaskg on Mon, 02/01/2016 - 4:36am. Contributors:

Abstract:

The objective of this research is to develop the theory, hardware and computational infrastructure that will enable automatically transforming user-defined, high-level tasks into correct, low-level perception informed control and configurations for modular robots.

file

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

Submitted by Stephane Lafortune on Tue, 12/22/2015 - 5:22pm. Contributors:

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.