Spyros
Spyros
98
PhD students
#1
in wind publication
citations worldwide
280
industry partners
70%
funding that involves
industry
2. Can handle very complex systems and infer from incomplete data
• Excellent potential to create accurate surrogate models
– Accelerate simulations; and offer good approximations of previously intractable systems
• Challenge #2: Has the Neural Network been trained to generalize well? Can we
trust it?
J. Stiasny, S. Chevalier, R. Nellikkath, B. Sævarsson, S. Chatzivasileiadis. Closing the Loop: A Framework for Trustworthy
Machine Learning in Power Systems. Accepted to 2022 iREP Symposium - Bulk Power System Dynamics and Control - XI
(iREP). Banff, Canada. July 2022. [ paper | code ]
Satisfied?
Training Train Neural Ready to deploy in
Database Network yes a real application
no
Satisfied?
Training Train Neural
Database Network yes
no
“Sampling beyond
Statistics”
Focus on High-
Information Content
Regions: Separating
hyperplanes and
Directed Walks
“Sampling beyond
Statistics”
Focus on High-
Information Content
Regions: Separating
hyperplanes and
Directed Walks
“Sampling beyond
Statistics”
Enrich Database:
NN-Informed
Sampling
“Sampling beyond
Statistics”
Focus on High-
Information Content
Regions: Separating
hyperplanes and
Directed Walks
“Sampling beyond
Statistics”
Enrich Database:
NN-Informed
Sampling
“Sampling beyond
Statistics”
Focus on High-
Information Content
Regions: Separating
hyperplanes and
Directed Walks
“Sampling beyond
Statistics”
Enrich Database:
NN-Informed
Sampling
“Sampling beyond
“Sampling beyond Statistics”
Statistics” Enrich Database:
Focus on High- Verification-
Information Content Informed Sampling
Regions: Separating
hyperplanes and
Directed Walks
• How?
1. Using convex relaxations
Stable region High information
2. And “Directed Walks” content
Real data for the IEEE 14-bus system
N-1 security and small-signal stability
13 October 2022 DTU Wind and Energy Systems – Spyros Chatzivasileiadis 25
Convex relaxations
to discard infeasible
regions
Non-convex
stable region
1. Variable step-size
2. Parallel computation
3. Full N-1 contingency check
Importance Sampling 100% of points in 37.0 min 901 points in 35.7 hours
Proposed Method 100% of points in 3.8 min 183’295 points in 37.1 hours
• What do we do?
• What do we do?
1. Sample 1’000’000 random points and have
the NN assess them
• Extremely fast NN will take some minutes
to assess all of them
• What do we do?
1. Sample 1’000’000 random points and have
the NN assess them
• Extremely fast NN will take some minutes
to assess all of them
• What do we do?
1. Sample 1’000’000 random points and have
the NN assess them
• Extremely fast NN will take some minutes
to assess all of them
• Physics-Informed Neural
Networks can achieve
similar results
Note: Actual performance of DW, NI, and PINNs
depends on the case study. But the trend Number of datapoints
remains the same across all our experiments
13 October 2022 DTU Wind and Energy Systems – Spyros Chatzivasileiadis 37
Physics-Informed Neural
Networks for Power Systems
13 October 2022 DTU Wind and Energy Systems – Spyros Chatzivasileiadis 38
𝑦𝑦𝑖𝑖 : actual/correct value
Neural Networks: An advanced 𝑦𝑦�𝑖𝑖 : estimated value
form of non-linear regression
Loss function: Estimate best 𝑤𝑤1 , 𝑤𝑤2
𝑦𝑦 𝑦𝑦�𝑖𝑖 = 𝑤𝑤1 + 𝑤𝑤2 𝑥𝑥𝑖𝑖 to fit the training data
𝑥𝑥
Traditional training of neural networks
required no information about the
underlying physical model. Just data!
• Neural networks can now exploit knowledge of the actual physical system
*M. Raissi, P. Perdikaris, and G. Karniadakis, Physics-Informed neural networks: A deep learning framework for solving forward and
inverse problems involving nonlinear partial differential equations", Journal of Computational Physics, vol.378, pp. 686-707, 2019
Swing equation
RK45 #1
RK45 #2 Classic solvers
RK45 #3
PINN #1
PINN #2 PINNs
PINN #3
“Sampling beyond
Statistics”
Enrich Database:
NN-Informed
Sampling
“Sampling beyond
Statistics”
High-Information
Content: Separating
hyperplanes and
Directed Walks
A. Venzke, S. Chatzivasileiadis. Verification of Neural Network Behaviour: Formal Guarantees for Power System Applications.
In IEEE Transactions on Smart Grid, vol. 12, no. 1, pp. 383-397, Jan. 2021, https://arxiv.org/pdf/1910.01624.pdf
V. Tjeng, K. Y. Xiao, and R. Tedrake, “Evaluating robustness of neural networks with mixed integer
programming,” in International Conference on Learning Representations (ICLR 2019), 2019
13 October 2022 DTU Wind and Energy Systems – Spyros Chatzivasileiadis 46
Neural Network Verification: HOW?
1. Exact transformation: Convert the neural network to a set of linear equations with
binaries
• The Neural Network can be included in a mixed-integer linear program
3. Assess if the neural network output complies with the ground truth
output
𝑢𝑢𝑖𝑖𝑖𝑖 𝑢𝑢𝑜𝑜𝑜𝑜𝑜𝑜
𝑢𝑢3 𝑢𝑢5
𝑤𝑤35
input
output
If input<0 , set
binary =0 use
linear function #1
input
output
If input<0 , set If input>0 , set
binary =0 use binary =1 use
linear function #1 linear function #2
input
input x
3. I can integrate all information encoded in a
neural network inside an optimization
program
A. Venzke, S. Chatzivasileiadis. Verification of Neural Network Behaviour: Formal Guarantees for Power
System Applications. IEEE Transactions on Smart Grid, Jan. 2021. https://arxiv.org/pdf/1910.01624.pdf
13 October 2022 DTU Wind and Energy Systems – Spyros Chatzivasileiadis 52
Certify the output for a continuous range of inputs
Maximum violation of
generator limits
Maximum violation of
line limits
Maximum violation of
generator limits
Maximum violation of
line limits
Maximum violation of
generator limits
Maximum violation of
line limits
MILP
MILP
2. Contracting Neural-Newton Solver: Derive convergence guarantees for Neural Networks that can
replace conventional Newton solvers [https://arxiv.org/pdf/2106.02543.pdf , L4DC 2022]
3. Interpretable Machine Learning: Direct association of the SHAP Values with the Power Transfer
Distribution Factors (PTDFs) [ https://arxiv.org/pdf/2209.05793.pdf , submitted ]
and others…
13 October 2022 DTU Wind and Energy Systems – Spyros Chatzivasileiadis 65
Interested in a postdoc or PhD?
• Come work with us!
• Wide range of topics around ML and beyond:
– Trustworthy Machine Learning, Physics-Informed
Neural Networks, capturing intractrable constraints
with NNs, and more!
– Working with real datasets, and industry
collaboration
– Opportunities for open academic research and/or
toolbox development for practical applications
• Contact: [email protected]
Spyros Chatzivasileiadis
Assoc. Prof, Head of Section
Article without any equations
www.chatziva.com S. Chatzivasileiadis, A. Venzke, J. Stiasny and
G. Misyris, "Machine Learning in Power
[email protected] Systems: Is It Time to Trust It?," in IEEE
Power and Energy Magazine, vol. 20, no. 3,
• A. Venzke, S. Chatzivasileiadis. Verification of Neural Network Behaviour: Formal Guarantees for pp. 32-41, May-June 2022 [ .pdf ]
Power System Applications. Accepted at IEEE Trans. on Smartgrid. 2020.
https://arxiv.org/pdf/1910.01624.pdf
• A. Venzke, G. Qu, S. Low, S. Chatzivasileiadis, Learning Optimal Power Flow: Worst-case Guarantees
for Neural Networks. Best Student Paper Award at IEEE SmartGridComm 2020.[ .pdf | slides |
video ]
All publications available at:
• G. S. Misyris, A. Venzke, S. Chatzivasileiadis, Physics-Informed Neural Networks for Power Systems.
Presented at the Best Paper Session of IEEE PES GM 2020. https://arxiv.org/pdf/1911.03737.pdf
www.chatziva.com/publications.html
• R. Nellikkath, S. Chatzivasileiadis, Physics-Informed Neural Networks for AC Optimal Power Flow
https://arxiv.org/abs/2110.02672 [ code ] Some code available at:
• J. Stiasny, G. S. Misyris, S. Chatzivasileiadis, Transient Stability Analysis with Physics-Informed Neural www.chatziva.com/downloads.html
Networks. https://arxiv.org/abs/2106.13638 [ code ]
• J. Stiasny, S. Chevalier, R. Nellikkath, B. Sævarsson, S. Chatzivasileiadis. Closing the Loop: A
Framework for Trustworthy Machine Learning in Power Systems. Accepted to 2022 iREP Symposium
- Bulk Power System Dynamics and Control - XI (iREP). Banff, Canada. 2022. [ paper | code ]