Start Updating function discrete time dynamical system

Updating function discrete time dynamical system

This enables the verification of MPL models against temporal specifications within the SPIN model checker.

Analysis and simulations of the model show that it is a realistic abstraction, and quantitatively indicate that heterogeneity is necessary to enable the overall network to function in safe conditions and to avoid load shedding.

This project will provide extensions of this recent research. Prerequisites: Computer-Aided Formal Verification, Probabilistic Model Checking Stochastic Hybrid Systems (SHS) are dynamical models that are employed to characterize the probabilistic evolution of systems with interleaved and interacting continuous and discrete components.

This work investigates the behaviour of a large, heterogeneous population of photovoltaic panels connected to the grid.