Submitted by Atul Prakash on April 10th, 2020
Submitted by Atul Prakash on January 10th, 2020
This project is a collaborative grant involving the University of Michigan (Award number CNS-1646392) and the University of Illinois at Urbana-Champaign (Award number CNS-1646305).
Submitted by Darko Marinov on January 22nd, 2019
This project develops a theoretical framework as well as software tools to support testing and verification of a Cyber-Physical System (CPS) within a Model-Based Design (MBD) process. The theoretical bases of the framework are stochastic optimization methods, and robustness notions of formal specification languages.
Submitted by Georgios Fainekos on January 22nd, 2019