Modelling Chinese Smart Grid: A Stochastic Model Checking Case Study

Ender Yüksel, Hanne Riis Nielson, Flemming Nielson +2

Cyber-physical systems integrate information and communication technology functions to the physical elements of a system for monitoring and controlling purposes. The conversion of…