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 January 22nd, 2019
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.
Submitted by Hadas Kress-Gazit on February 1st, 2016
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.
Submitted by Stephane Lafortune on December 22nd, 2015
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.
Submitted by Hadas Kress-Gazit on November 10th, 2014