Nathalie Cauchi : Publications
-
[1]
Efficient Probabilistic Model Checking of Smart Building Maintenance using Fault Maintenance Trees
Nathalie Cauchi‚ Khaza Anuarul Hoque‚ Alessandro Abate and Mariëlle Stoelinga
November, 2017.
Details about Efficient Probabilistic Model Checking of Smart Building Maintenance using Fault Maintenance Trees | BibTeX data for Efficient Probabilistic Model Checking of Smart Building Maintenance using Fault Maintenance Trees | Link to Efficient Probabilistic Model Checking of Smart Building Maintenance using Fault Maintenance Trees
-
[2]
Certified policy synthesis for general Markov decision processes: An application in building automation systems
Sofie Haesaert‚ Nathalie Cauchi and Alessandro Abate
In Performance Evaluation. 2017.
Details about Certified policy synthesis for general Markov decision processes: An application in building automation systems | BibTeX data for Certified policy synthesis for general Markov decision processes: An application in building automation systems | DOI (https://doi.org/10.1016/j.peva.2017.09.005) | Link to Certified policy synthesis for general Markov decision processes: An application in building automation systems
-
[3]
Model−based predictive maintenance in building automation systems with user discomfort
Nathalie Cauchi‚ Karel Macek and Alessandro Abate
In Energy. 2017.
Details about Model−based predictive maintenance in building automation systems with user discomfort | BibTeX data for Model−based predictive maintenance in building automation systems with user discomfort | DOI (https://doi.org/10.1016/j.energy.2017.07.104) | Link to Model−based predictive maintenance in building automation systems with user discomfort
-
[4]
Long−Term Predictive Maintenance: A Study of Optimal Cleaning of Biomass Boilers
Karel Macek‚ Petr Endel‚ Nathalie Cauchi and Alessandro Abate
In Energy and Buildings. 2017.
Details about Long−Term Predictive Maintenance: A Study of Optimal Cleaning of Biomass Boilers | BibTeX data for Long−Term Predictive Maintenance: A Study of Optimal Cleaning of Biomass Boilers | Link to Long−Term Predictive Maintenance: A Study of Optimal Cleaning of Biomass Boilers