Handbook of theoretical computer science (vol. B)
A spectrum of definitions for temporal model-based diagnosis
Artificial Intelligence
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Debugging VHDL designs using temporal process instances
IEA/AIE'2003 Proceedings of the 16th international conference on Developments in applied artificial intelligence
Composing schema mappings: Second-order dependencies to the rescue
ACM Transactions on Database Systems (TODS) - Special Issue: SIGMOD/PODS 2004
| Hi-index | 0.00 |
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.