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

    Recently updated on Maggio 11th, 2021 at 08:29 am

    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.

    Rif.RSE​

    06002602

    Destinazione​

    2006

    Data Pubblicazione

    31 Dicembre 2006

    Autori​

    E. Ciapessoni "CESI RICERCA spa", A. Morzenti "Politecnico di Milano", D. Mandrioli "Politecnico di Milano", P. San Pietro "Politecnico di Milano"

    Tipo Pubblicazione

    Articolo

    Progetti

    Monitoraggio continuo dello stato di sicurezza del sistema elettrico -Valutazione del rischio (WP 3.1 (GOV))

    Commenti