The smart grid has received high interest for improving efficiency and reliability of power system. It adopts Information and System Technology for this purpose and several technologies are considered as system architecture of the smart grid. Consequently security issues of system should be considered for the smart grid. In this paper system architecture for the smart grid is presented. Require...

Recently many significant improvements have been done in traditionally power system. But still a lot of work is needed in traditional power system to mend many challenges. We propose formal method based on subnet model for smart power system. Formal method is mathematics based technique that is used to develop, specify and verify model in a systematic manner. It involve components i.e., power p...