File
Robustness Guided Testing and Verification for Cyber-Physical Systems
Georgios Fainekos Submitted by Georgios Fainekos on January 10th, 2020
Video
Robustness Guided Testing and Verification for Cyber-Physical Systems
Sponsor(s)
National Science Foundation
Contributor(s)
Georgios Fainekos
Remote Video
Tags
Georgios Fainekos Submitted by Georgios Fainekos on February 18th, 2019
File
Robustness Guided Testing and Verification for Cyber-Physical Systems
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.
Georgios Fainekos Submitted by Georgios Fainekos on January 22nd, 2019
Video
CAREER: Robustness Guided Testing and Verification for Cyber-Physical Systems
Sponsor(s)
National Science Foundation
Contributor(s)
Georgios Fainekos
Remote Video
Tags
Georgios Fainekos Submitted by Georgios Fainekos on January 9th, 2018
File
CAREER: Robustness Guided Testing and Verification for Cyber-Physical Systems
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.
Georgios Fainekos Submitted by Georgios Fainekos on November 29th, 2017
Subscribe to 1350420