Formal Synthesis and Validation of Inhomogeneous Thermostatically Controlled Loads

BIB
Esmaeil Zadeh Soudjani, Sadegh and Gerwinn, Sebastian and Ellen, Christian and Fränzle, Martin and Abate, Alessandro
Quantitative Evaluation of Systems
2014
incollection
Springer International Publishing
Lecture Notes in Computer Science
57-73
MoVeS
Modeling, Verification and Control of complex Systems: From Foundations to Power Network Appliances
Norman, Gethin and Sanders, William
8657