no code implementations • 2 Aug 2019 • Cumhur Erkan Tuncali, Georgios Fainekos, Danil Prokhorov, Hisahiro Ito, James Kapinski
Additionally, we present three driving scenarios and demonstrate how our requirements-driven testing framework can be used to identify critical system behaviors, which can be used to support the development process.
2 code implementations • 18 Apr 2018 • Cumhur Erkan Tuncali, Georgios Fainekos, Hisahiro Ito, James Kapinski
We present a testing framework that is compatible with test case generation and automatic falsification methods, which are used to evaluate cyber-physical systems.
no code implementations • 11 Apr 2018 • Cumhur Erkan Tuncali, James Kapinski, Hisahiro Ito, Jyotirmoy V. Deshmukh
We present a simulation-based approach for generating barrier certificate functions for safety verification of cyber-physical systems (CPS) that contain neural network-based controllers.