-A A +A

Efficient Probabilistic Model Checking of Smart Building Maintenance using Fault Maintenance Trees

TitleEfficient Probabilistic Model Checking of Smart Building Maintenance using Fault Maintenance Trees
Publication TypeConference Proceedings
Year of Conference2017
AuthorsCauchi N, Hoque KAnuarul, Abate A, Stoelinga M
Conference NameProceedings of the 4th ACM International Conference on Systems for Energy-Efficient Built Environments
Volumeabs/1801.04263
Pagination24:1-24:10
Date Published04/2018
PublisherACM
Conference LocationDelft, The Netherlands
ISBN978-1-4503-5544-5
Keywordsbuilding automation systems, fault maintenance trees, formal modelling, PRISM, probabilistic model checking, reliability
URLhttp://doi.acm.org/10.1145/3137133.3137138
DOI10.1145/3137133.3137138

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.