Doctor of Philosophy, The Ohio State University, 2023, Electrical and Computer Engineering
This dissertation is centered around the study of developing fair, efficient, repeatable, and provable testing methodologies to analyze, characterize, verify, validate, benchmark, certify, diagnose, and falsify the safety performance of cyber-physical systems (CPS). It is intended for the objective perspectives from third-party entities such as standard organizations, regulatory bodies, industry-specific associations, and customers.
The concept of safety testing for CPS is a relatively new area of research. It wasn't until the late 19th century that the need for safety testing emerged, as autonomous machines began to result in fatalities when working alongside human operators in manufacturing settings. However, it took several decades till the 1960s for society to recognize the importance of safety testing and for administrative bodies to appreciate the need for regulations, standards, and policies.
The safety testing of CPS is also a highly challenging research topic due to several inherent characteristics, including (i) complexity (featuring nonlinear dynamics and intricate interdependencies between their physical and computational components), (ii) stochasticity (influenced by uncertain inputs, environmental conditions, and stochastic algorithms adopted by the subject CPS), and (iii) unknowability (featuring the black-box nature).
This dissertation makes several concrete attempts to tackle the above challenges. The studies are presented in two parts.
The first part of this dissertation utilizes the equivalence between the system ``being almost safe” and the system rendering a ``(controlled) almost forward invariant set”. Different from the existing modeled approaches and formal methods admitting the similar concept, our study is featured with a testing-oriented and data-driven approach that provably quantifies, and fails to quantify, the almost safe sets, or even the optimal almost safe set, of the subject as the number of tests tends to infinity. V (open full item for complete abstract)
Committee: Andrea Serrani (Advisor); Wei Zhang (Committee Member); Gupta Abhishek (Committee Member); Ayonga Hereid (Committee Member); Umit Ozguner (Committee Member)
Subjects: Automotive Engineering; Electrical Engineering; Transportation