Neuro-Reachability of Networked Microgrids

01/13/2021
by   Yifan Zhou, et al.
0

A neural ordinary differential equations network (ODE-Net)-enabled reachability method (Neuro-Reachability) is devised for the dynamic verification of networked microgrids (NMs) with unidentified subsystems and heterogeneous uncertainties. Three new contributions are presented: 1) An ODENet-enabled dynamic model discovery approach is devised to construct the data-driven state-space model which preserves the nonlinear and differential structure of the NMs system; 2) A physics-data-integrated (PDI) NMs model is established, which empowers various NM analytics; and 3) A conformance-empowered reachability analysis is developed to enhance the reliability of the PDI-driven dynamic verification. Extensive case studies demonstrate the efficacy of the ODE-Net-enabled method in microgrid dynamic model discovery, and the effectiveness of the Neuro-Reachability approach in verifying the NMs dynamics under multiple uncertainties and various operational scenarios.

READ FULL TEXT

page 2

page 7

research
08/25/2022

Neuro-Dynamic State Estimation for Networked Microgrids

We devise neuro-dynamic state estimation (Neuro-DSE), a learning-based d...
research
07/13/2022

Reachability Analysis of a General Class of Neural Ordinary Differential Equations

Continuous deep learning models, referred to as Neural Ordinary Differen...
research
06/17/2023

An analysis of Universal Differential Equations for data-driven discovery of Ordinary Differential Equations

In the last decade, the scientific community has devolved its attention ...
research
03/31/2020

Verification of Nonblockingness in Bounded Petri Nets: A Novel Semi-Structural Approach

This paper proposes a semi-structural approach to verify the nonblocking...
research
09/17/2023

Data-Driven Reachability Analysis of Stochastic Dynamical Systems with Conformal Inference

We consider data-driven reachability analysis of discrete-time stochasti...
research
03/14/2023

Reachability Analysis of Neural Networks with Uncertain Parameters

The literature on reachability analysis methods for neural networks curr...
research
08/23/2021

Reachability of weakly nonlinear systems using Carleman linearization

In this article we introduce a solution method for a special class of no...

Please sign up or login with your details

Forgot password? Click here to reset