Search results

Showing 1 to 3 of 3 results

Resilient and safe control of cyber-physical systems under uncertainties and adversaries

Resilient and safe control of cyber-physical systems under uncertainties and adversaries

Text (2020)

Part of Electronic Theses & Dissertations

Holistic performance control for mission-critical cyber-physical systems

Holistic performance control for mission-critical cyber-physical systems

Text (2014)

Part of Electronic Theses & Dissertations

Using formal analysis and search-based techniques to address the assurance of cyber-physical systems at the requirements level

Using formal analysis and search-based techniques to address the assurance of cyber-physical systems at the requirements level

Text (2017)

Part of Electronic Theses & Dissertations