-A A +A

Publications

Export 6 results:
Author Title Type [ Year(Asc)]
Filters: First Letter Of Title is M  [Clear All Filters]
2018
Cauchi N, Hoque KAnuarul, Stoelinga M, Abate A.  2018.  Maintenance of Smart Buildings using Fault Trees. ACM Transactions on Sensor Networks: Systems for Smart and Efficient Built Environments.
Abate A, Budde CE, Cauchi N, van Harmelen A, Hoque KAnuarul, Stoelinga M.  2018.  Modelling Smart Buildings using Fault Maintenance Trees. 15th European Performance Engineering Workshop.
2017
Cauchi N, Macek K, Abate A.  2017.  Model-based predictive maintenance in building automation systems with user discomfort. Energy. 138:306-315.
Lesser K, Abate A.  2017.  Multi-objective optimal control with safety as a priority. Proceedings of the 8th International Conference on Cyber-Physical Systems, {ICCPS} 2017, Pittsburgh, Pennsylvania, USA, April 18-20, 2017. :25–36.

CONTACT US

Oxford Control and Verification (OXCAV) Group

C/O Department of Computer Science

Wolfson Building, Parks Rd, Oxford OX1 3QD

T: +44 (0) 18656 10767

Education - This is a contributing Drupal Theme
Design by WeebPal.