Formal synthesis and validation of inhomogeneous thermostatically controlled loads

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

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

4 Citations (Scopus)
Original languageEnglish
Title of host publicationProceedings of the 11th International Conference on Quantitative Evaluation of Systems
EditorsG Norman, W Sanders
Place of PublicationCham, Switzerland
PublisherSpringer
Pages57-73
Number of pages17
ISBN (Print)978-3-319-10695-3
DOIs
Publication statusPublished - 2014
EventQEST 2014, Florence, Italy - Cham, Switzerland
Duration: 8 Sep 201410 Sep 2014

Publication series

Name
PublisherSpringer

Conference

ConferenceQEST 2014, Florence, Italy
Period8/09/1410/09/14

Keywords

  • Conf.proc. > 3 pag

Cite this