[论文解读] Benchmarks for cyber-physical systems: A modular model library for building automation systems (Extended version)

Nathalie Cauchi, Alessandro Abate|arXiv (Cornell University)|Mar 16, 2018

Building Energy and Comfort Optimization参考文献 11被引用 5

一句话总结

本论文提出了一种模块化、开源的建筑自动化系统（BAS）建模库，作为信息物理系统（CPS）的基准，整合了物理动力学与离散控制逻辑。该库支持具有随机性、非线性及多个连续与离散状态的复杂混合模型，通过三个案例研究展示了其在仿真、可达性分析及控制综合方面的应用，所用数据来自牛津大学BAS测试平台的真实测量结果。

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.

研究动机与目标

• 开发一个可重用、模块化的BAS建模库，以支持多样化的CPS分析任务。
• 解决创建具备混合动力学、随机性及多种配置的现实复杂CPS基准的挑战。
• 通过标准化、可扩展的框架，实现与验证和综合工具的无缝集成。
• 提供模型、仿真数据及案例研究的开放获取，以支持可复现性与基准测试。
• 支持智能建筑中热控制、安全验证及最优控制策略综合方面的研究。

提出的方法

• 该建模库基于物理原理构建，并利用牛津大学两区域BAS测试平台的真实数据进行验证。
• 各组件通过电阻-电容（RC）网络建模以表征热动力学，连续动力学由代数方程与微分方程定义。
• 通过将物理组件与离散控制模式（如风扇转速、混合阀位置）组合，构建混合模型，其状态转换由守卫条件与离散转移规则控制。
• 系统动力学由描述区域与送风温度的微分方程定义，输入变量依赖于当前离散模式（如气流速率、送风温度）。
• 使用SpaceEx对具有连续时间的混合模型执行可达性分析，以验证系统在时间维度上的安全性和性能。
• 通过模块化方式组合模型，以支持在不同分析目标下的可扩展性与可重用性。

实验结果

研究问题

• RQ1 如何设计一个模块化、可重用的建模库，以支持BAS中多样化的CPS分析任务？
• RQ2 定义BAS模型复杂性的关键建模权衡因素（如随机性、维度、离散模式）是什么？
• RQ3 具备真实物理动力学与控制逻辑的混合模型能否有效用于可达性分析与控制综合？
• RQ4 真实世界数据的集成如何提升模型保真度与基准测试的实用性？
• RQ5 该建模库在多大程度上可作为比较验证与综合工具的通用平台？

主要发现

• 该建模库成功支持构建包含最多五个离散模式及多个连续变量的复杂混合BAS模型，实现了对真实系统的有效表征。
• 使用SpaceEx进行的可达性分析表明，系统能够将温度维持在设定点范围内，当初始温度处于舒适区间时，轨迹会稳定在（O, −）模式。
• 当初始温度低于舒适阈值时，系统动态地从（O, −）模式经由（H, Op）模式，再过渡至（M, Op）模式，最后返回（O, −）模式，展现出自适应控制行为。
• 该库可与形式化工具（如SpaceEx）实现无缝集成，证明了其在形式化验证与控制综合中的可行性。
• GitHub上的开源代码库包含经验证的模型、真实传感器数据及案例研究，支持可复现性与工具对比。
• 混合模型准确捕捉了在不同环境条件下，连续热动力学与离散控制动作（如风扇转速、混合阀位置）之间的相互作用。