Robustness Guided Testing and Verification for Cyber-Physical Systems

Download
pdf

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.

  • Arizona State University
  • Semi-formal methods
  • Temporal Logic
  • Testing
  • Platforms
  • Modeling
  • Validation and Verification
  • CPS Technologies
  • Education
  • Foundations
  • National CPS PI Meeting 2015
  • 2015
  • Abstract
  • Poster
  • Academia
  • 2015 CPS PI MTG Videos, Posters, and Abstracts
Submitted by Georgios Fainekos on