6 papers
Analyzing Occupancy-Driven Thermal Dynamics in Smart Buildings
Khaza Anuarul Hoque, Nathalie Cauchi, Alessandro Abate
The fact that a proper HVAC control strategy can reduce the energy consumption of a building by up to 45% has driven significant research in demand-based HVAC control. This paper p…
StocHy: automated verification and synthesis of stochastic processes
Nathalie Cauchi, Kurt Degiorgio, Alessandro Abate
StocHy is a software tool for the quantitative analysis of discrete-time stochastic hybrid systems (SHS). StocHy accepts a high-level description of stochastic models and construct…
Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems
Nathalie Cauchi, Luca Laurenti, Morteza Lahijanian +3
This work targets the development of an efficient abstraction method for formal analysis and control synthesis of discrete-time stochastic hybrid systems (SHS) with linear dynamics…
Maintenance of Smart Buildings using Fault Trees
Nathalie Cauchi, Khaza Anuarul Hoque, Marielle Stoelinga +1
Timely maintenance is an important means of increasing system dependability and life span. Fault Maintenance trees (FMTs) are an innovative framework incorporating both maintenance…
Benchmarks for cyber-physical systems: A modular model library for building automation systems (Extended version)
Nathalie Cauchi, Alessandro Abate
Building Automation Systems (BAS) are exemplars of Cyber-Physical Systems (CPS), incorporating digital control architectures over underlying continuous physical processes. We provi…
Efficient Probabilistic Model Checking of Smart Building Maintenance using Fault Maintenance Trees
Nathalie Cauchi, Khaza Anuarul Hoque, Alessandro Abate +1
Cyber-physical systems, like Smart Buildings and power plants, have to meet high standards, both in terms of reliability and availability. Such metrics are typically evaluated usin…