Formal Control of New England 39-Bus Test System: An Assume-Guarantee Approach.

Ben Wooding Abolfazl Lavaei Sadegh Soudjani

Published in: CoRR (2023)

Keyphrases

control system
data sets
high speed
control problems
formal model
process control
control theory
formal language
database
neural network
learning algorithm
artificial intelligence
fuzzy logic
power system
test data
statistical tests