| 研究開始時の研究の概要 |
Verification and validation (V&V) is a crucial procedure for certifying the safety of cyber-physical systems (CPS) such as self-driving cars. The goal is to certify the safety through rigorous analyses on mathematical models of CPS. This project particularly studies stability analyses on CPS models by only sampling inputs and outputs from CPS, i.e., a black box approach. The project further aims to address high volume of samples and speed up the stability analysis by parallelization. PI believes that this is a step toward a practical V&V framework for safety-critical CPS in the future.
|
