Taxonomic Search: Stephane Lafortune
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.
The principal objective of this project is the development of novel control architectures and computationally efficient controller design algorithms for distributed cyber-physical systems with decentralized information infrastructures and limited communication capabilities. Interest is in distributed cyber-physical systems where the system components are able to communicate with one another.