机译:Formal specification and verification of fault location, isolation and service restoration of local topology model based on distributed processing for active distribution network
机译:Strategy for distributed controller defence: Leveraging controller roles and control support groups to maintain or regain control in cyber-adversarial power systems