Formal synthesis and validation of inhomogeneous thermostatically controlled loads

S Esmaeil Zadeh Soudjani; S Gerwinn; C Ellen; M Fränzle; A Abate

doi:10.1007/978-3-319-10696-0_6

Formal synthesis and validation of inhomogeneous thermostatically controlled loads

S Esmaeil Zadeh Soudjani, S Gerwinn, C Ellen, M Fränzle, A Abate

Team Bart De Schutter

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

5 Citations (Scopus)

Original language	English
Title of host publication	Proceedings of the 11th International Conference on Quantitative Evaluation of Systems
Editors	G Norman, W Sanders
Place of Publication	Cham, Switzerland
Publisher	Springer
Pages	57-73
Number of pages	17
ISBN (Print)	978-3-319-10695-3
DOIs	https://doi.org/10.1007/978-3-319-10696-0_6
Publication status	Published - 2014
Event	QEST 2014, Florence, Italy - Cham, Switzerland Duration: 8 Sept 2014 → 10 Sept 2014

Publication series

Name
Publisher	Springer

Conference

Conference	QEST 2014, Florence, Italy
Period	8/09/14 → 10/09/14

Bibliographical note

Harvest
Lecture Notes in Computer Science, volume 8657

Keywords

Conf.proc. > 3 pag

Access to Document

10.1007/978-3-319-10696-0_6

Cite this

@inproceedings{db512c8cd38f4775b28010cb3eff0a65,

title = "Formal synthesis and validation of inhomogeneous thermostatically controlled loads",

keywords = "Conf.proc. > 3 pag",

author = "{Esmaeil Zadeh Soudjani}, S and S Gerwinn and C Ellen and M Fr{\"a}nzle and A Abate",

note = "Harvest Lecture Notes in Computer Science, volume 8657; QEST 2014, Florence, Italy ; Conference date: 08-09-2014 Through 10-09-2014",

year = "2014",

doi = "10.1007/978-3-319-10696-0_6",

language = "English",

isbn = "978-3-319-10695-3",

publisher = "Springer",

pages = "57--73",

editor = "G Norman and W Sanders",

booktitle = "Proceedings of the 11th International Conference on Quantitative Evaluation of Systems",

}

Esmaeil Zadeh Soudjani, S, Gerwinn, S, Ellen, C, Fränzle, M & Abate, A 2014, Formal synthesis and validation of inhomogeneous thermostatically controlled loads. in G Norman & W Sanders (eds), Proceedings of the 11th International Conference on Quantitative Evaluation of Systems. Springer, Cham, Switzerland, pp. 57-73, QEST 2014, Florence, Italy, 8/09/14. https://doi.org/10.1007/978-3-319-10696-0_6

Formal synthesis and validation of inhomogeneous thermostatically controlled loads. / Esmaeil Zadeh Soudjani, S; Gerwinn, S; Ellen, C et al.
Proceedings of the 11th International Conference on Quantitative Evaluation of Systems. ed. / G Norman; W Sanders. Cham, Switzerland: Springer, 2014. p. 57-73.

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

TY - GEN

T1 - Formal synthesis and validation of inhomogeneous thermostatically controlled loads

AU - Esmaeil Zadeh Soudjani, S

AU - Gerwinn, S

AU - Ellen, C

AU - Fränzle, M

AU - Abate, A

N1 - Harvest Lecture Notes in Computer Science, volume 8657

PY - 2014

Y1 - 2014

KW - Conf.proc. > 3 pag

U2 - 10.1007/978-3-319-10696-0_6

DO - 10.1007/978-3-319-10696-0_6

M3 - Conference contribution

SN - 978-3-319-10695-3

SP - 57

EP - 73

BT - Proceedings of the 11th International Conference on Quantitative Evaluation of Systems

A2 - Norman, G

A2 - Sanders, W

PB - Springer

CY - Cham, Switzerland

T2 - QEST 2014, Florence, Italy

Y2 - 8 September 2014 through 10 September 2014

ER -