The smart grid concept continues to evolve and various methods have been developed to
enhance the energy efficiency of the electricity infrastructure. Demand Response (DR) is …

Energy router (ER) based system is a crucial part of the energy transmission and
management under the circumstance of energy Internet for green cities. During its design …

We present automatic verification techniques for the modelling and analysis of probabilistic
systems that incorporate competitive behaviour. These systems are modelled as turn-based …

This study proposes a new demand‐side management (DSM) technique, which is
characterised by low computational requirements. The proposed technique relies on …

In this thesis we present a framework for automatic formal analysis of competitive stochastic
systems, such as sensor networks, decentralised resource management schemes or …

Probabilistic model checking is a technique employed for verifying the correctness of
computer systems that exhibit probabilistic behaviour. A related technique is controller …

This paper reports on formal behavioral models of power grids with a substantial share of
photovoltaic microgeneration. Simulation studies show that the current legislatory framework …

The formal methods approach to develop reliable and efficient safety-or performance-critical
systems is to construct mathematically precise models of such systems on which properties …

This study presents a novel algorithm for reshaping the load demand profile of smart grid via
modifying the price signal based on demand response principle. This modification in price is …

In conventional grids, consumer has not been con-side red for solving the problems
associated with electric industry. In order to meet the ever increasing consumers' demand …