Formal Synthesis and Validation of Inhomogeneous Thermostatically Controlled Loads

To use all the features of this page, you need JavaScript!<br> Please update your browser or enable JavaScript in your settings.

Home
OFFIS
Publikationen
Formal Synthesis and Validation of Inhomogeneous Thermostatically Controlled Loads

Export

All authors

Esmaeil Zadeh Soudjani, Sadegh and Gerwinn, Sebastian and Ellen, Christian and Fränzle, Martin and Abate, Alessandro

Booktitle

Quantitative Evaluation of Systems

Publishing date

2014

Type of Publication

incollection

Publisher

Springer International Publishing

Series

Lecture Notes in Computer Science

Pages

57-73

Projects

MoVeS
Modeling, Verification and Control of complex Systems: From Foundations to Power Network Appliances

Doi

Url

Editor

Norman, Gethin and Sanders, William

Edition

8657