Cerca nel sito per parola chiave

pubblicazioni - Articolo

The defense of electric power systems: an approach exploiting formal methods

pubblicazioni - Articolo

The defense of electric power systems: an approach exploiting formal methods

Emanuele Ciapessoni*, Dino Mandrioli**, Angelo Morzenti**, Pierluigi San Pietro** The SIXTH INTERNATIONAL WORLD ENERGY SYSTEM CONFERENCE TORINO, 10 –12 Luglio 2006 * CESI RICERCA ** Politecnico di Milano This paper addresses the security management of electrical systems by suggesting the application of formal methods in the requirement specification and verification of an integrated defense plan, based on Wide Area Monitoring and Control functionalities. The presented approach aims at helping the identification of criticalities of an integrated defense plan by exploiting a declarative, well-founded approach.

Progetti

Commenti