Mustafa Ghani

Delay-Robustness for Distributed Cyber-Physical System Models

Distributed Cyber-Physical Systems operate in dynamic and safety-critical environments where distributed decision-making is affected by observation, execution, and communication delays. To ensure safety, model-based engineering typically verifies initially delay-idealized (i.e., zero-delay) models before deployment. Ho...