Nathalie Cauchi
Nathalie Cauchi
Wolfson Building, Parks Road, Oxford OX1 3QD
Themes:
Selected Publications
-
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
-
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
-
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