The control logic underlying building automation systems has consisted, traditionally, of embedded discrete programs created using either low-level or proprietary scripting languages, or using general purpose fourth-generation visual languages like Simulink. It is also well known that programs developed in this way are hard to evolve, test, and maintain. These difficulties are intensified when continuous control problems have to be tackled or when the actuation must vary continually subject to the sensor inputs. Such is the case in day-lighting or occupancy-based control applications. In this paper, we propose a declarative high-level Domain-Specific Language that aims to reduce the effort required to specify the control logic of building automation systems. Our language combines fuzzy logic and temporal logic, enabling to define the behaviour in terms of domain abstractions. Finally, the approach has been validated in two ways: (i) in a case study that simulates the control system of an automated office room and (ii) by means of an empirical study to confirm usability (with a System Usability Scale questionnaire) and effectiveness, here regarded from the perspective of correctness, of the proposed language with respect to a well-known language like Simulink.

中文翻译：

---

迈向楼宇自动化系统的高级模糊控制规范

传统上，建筑物自动化系统所基于的控制逻辑由嵌入式离散程序组成，这些程序是使用低级或专有脚本语言或使用通用的第四代可视语言（如Simulink）创建的。众所周知，以这种方式开发的程序很难进行开发，测试和维护。当必须解决连续控制问题或当驱动必须根据传感器输入而不断变化时，这些困难会加剧。在采光或基于占用的控制应用中就是这种情况。在本文中，我们提出了一种声明性的高级领域特定语言，旨在减少指定建筑物自动化系统的控制逻辑所需的工作。我们的语言结合了模糊逻辑和时间逻辑，可以根据域抽象定义行为。最后，该方法已通过两种方式得到验证：（i）在模拟自动办公室控制系统的案例研究中；（ii）通过实证研究确认可用性（使用系统可用性量表）；以及从正确性的角度来看，本文所建议的语言相对于Simulink等知名语言的有效性。