Chao Xing

A hybrid quantitative framework for performance evaluation of cyber-physical systems with explicit structural information

Cyber-Physical Systems (CPS) combine discrete control, continuous physical evolution, stochastic uncertainty, and resource constraints. Existing formal methods typically focus either on verification of global system behaviors or on compositional modeling of interacting processes, but provide limited support for quantit...