Benchmarks for cyber-physical systems: A modular model library for building automation systems (Extended version)

TL;DR

This paper introduces a modular model library for building automation systems, enabling the creation of complex, realistic cyber-physical system benchmarks for analysis and testing.

Contribution

It provides a novel, extensible library for modeling building automation systems with diverse physical and control components, supported by real-world case studies.

Findings

The library supports complex models with stochasticity, non-linearities, and multiple variables.

Three realistic case studies demonstrate the library's utility for various analysis goals.

Models and data are publicly available online for benchmarking and research.

Abstract

Building Automation Systems (BAS) are exemplars of Cyber-Physical Systems (CPS), incorporating digital control architectures over underlying continuous physical processes. We provide a modular model library for BAS drawn from expertise developed on a real BAS setup. The library allows to build models comprising of either physical quantities or digital control modules.% which are composable. The structure, operation, and dynamics of the model can be complex, incorporating (i) stochasticity, (ii) non-linearities, (iii) numerous continuous variables or discrete states, (iv) various input and output signals, and (v) a large number of possible discrete configurations. The modular composition of BAS components can generate useful CPS benchmarks. We display this use by means of three realistic case studies, where corresponding models are built and engaged with different analysis goals. The benchmarks, the model library and data collected from the BAS setup at the University of Oxford, are kept on-line at https://github.com/natchi92/BASBenchmarks.