Understanding Robustness of Battery Supported Cyber-Physical Systems

This research aims to introduce methods to analyze the robustness of battery supported cyber physical systems under co-designed control, scheduling, and battery management algorithms. Robustness refers to the ability to maintain system performance under perturbations. Robustness in controller design has been well defined and understood for a large class of feedback control systems, yet robustness of scheduling and battery management algorithms is relatively less understood. We introduce a novel concept of dynamic schedulability so that robustness of scheduling algorithms is measured through the minimum strength of the perturbations that break the dynamic schedulability.