12 citations · 21 across the 5 of their papers we have counts for
5 papers · 1 filter
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…