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 February 1st, 2016
Contributor(s)
Georgios Fainekos
Remote Video
Submitted by Georgios Fainekos on December 3rd, 2014
Abstract:
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 November 10th, 2014