@inproceedings{725c8520bf2d4525b9ba03d98c86b687,
title = "Verification of Power Grid Voltage Constraint Satisfaction - a Barrier Certificate Approach",
author = "Rasmus Pedersen and Christoffer Sloth and Rafal Wisniewski",
year = "2016",
doi = "10.1109/ECC.2016.7810325",
language = "English",
pages = "447--452",
booktitle = "Control Conference (ECC), 2016 European",
publisher = "IEEE",
address = "United States",
note = "European Control Conference 2016, ECC16 ; Conference date: 28-06-2016 Through 01-07-2016",
}