Computer Engineering Commons^™

Cyber-Physical Embedded Systems With Transient Supervisory Command And Control: A Framework For Validating Safety Response In Automated Collision Avoidance Systems, Daniel K. Trembley

Graduate Dissertations and Theses

The ability to design and engineer complex and dynamical Cyber-Physical Systems (CPS) requires a systematic view that requires a definition of level of automation intent for the system. Since CPS covers a diverse range of systemized implementations of smart and intelligent technologies networked within a system of systems (SoS), the terms “smart” and “intelligent” is frequently used in describing systems that perform complex operations with a reduced need of a human-agent. The difference between this research and most papers in publication on CPS is that most other research focuses on the performance of the CPS rather than on the correctness …