Temporal model-based diagnostics generation for HVAC control systems

Optimizing energy usage in buildings requires global models that integrate multiple factors contributing to energy, such as lighting, "Heating, Ventilating, and Air Conditioning" (HVAC), security, etc. Model transformation methods can then use these global models to generate application-focused code, such as diagnostics or control code. In this paper we focus on using model transformation techniques to generate model-based diagnostics (MBD) models from "global" building systems models. This work describes the automated generation of models for MBD by considering control systems which are described through behavior that also relies on the state of the system. Our approach contributes to model-driven development of complex systems by extending model consistency up to models for diagnostics. We transform hybrid-systems (HS) models into models based on propositional temporal logic with timing abstracted through sequentiality, and illustrate the transformation process through a simple example.