Analysis of energy-efficient buildings through simulation and formal methods

Maryam Ehsanpour, Luciano Baresi, Matteo Rossi, Ernesto Damiani

Research output: Contribution to journalConference articlepeer-review


In the last few years, the increasing interest in energy saving has led to invest resources in many research fields, in order to develop new technologies to reduce energy consumption. One such field is energy management systems for buildings. The interactions between the system controlling the building and its environment are complicated by the fact that they involve important timing properties, which can be expressed through a variety of formalisms. This paper introduces a formal model, expressed in a temporal logic language, through which designers can evaluate the temporal behavior of buildings' energy management systems. To this end, the formal model is analyzed through simulation, that is, through the generation of traces satisfying the temporal logic model.

Original languageBritish English
Pages (from-to)113-119
Number of pages7
JournalCEUR Workshop Proceedings
StatePublished - 2016
Event6th International Symposium on Data-Driven Process Discovery and Analysis, SIMPDA 2016 - Graz, Austria
Duration: 15 Dec 201616 Dec 2016


  • Data analysis
  • Energy efficient
  • Formal methods


Dive into the research topics of 'Analysis of energy-efficient buildings through simulation and formal methods'. Together they form a unique fingerprint.

Cite this