Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Henzinger, T.A.: The theory of hybrid automata. In: LICS 1996: Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science, Washington, DC, USA, p. 278. IEEE Computer Society Press, Los Alamitos (1996)
Provan, G., Ploennigs, J., Boubekeur, M., Mady, A.: Using building information model data for generating and updating diagnostic models. In: Conf. on Civil Engineering and Computing (August 2009)
Mens, T., Czarnecki, K., Gorp, P.V.: A taxonomy of model transformations. In: Bezivin, J., Heckel, R. (eds.) Language Engineering for Model-Driven Software Development. Dagstuhl Seminar Proceedings, No. 04101 (2005)
Fagin, R., Kolaitis, P.G., Popa, L., Tan, W.C.: Composing schema mappings: Second-order dependencies to the rescue. ACM Trans. Database Syst. 30(4), 994–1055 (2005)
Brusoni, V., Console, L., Terenziani, P., Dupré, D.T.: A spectrum of definitions for temporal model-based diagnosis. Artificial Intelligence 102, 39–79 (1998)
Emerson, E.: Temporal and modal logic. Handbook of theoretical computer science 8, 995–1072 (1990)
Darwiche, A., Provan, G.: Exploiting system structure in model-based diagnosis of discrete-event systems (1996)
Behrens, M.: Model transformation: Hybrid systems to temporal diagnosis models. Technical report (2010), http://www.cs.ucc.ie/~mb20/
Behrens, M., Provan, G., Boubekeur, M., Mady, A.: Model-driven diagnostics generation for industrial automation. In: Proc. 7th IEEE International Conference on Industrial Informatics (June 2009)
Sokolsky, O., Hong, H.S.: Qualitative modeling of hybrid systems. Presented at the Monterey Workshop on Engineering Automation for Computer Based Systems (2001), http://repository.upenn.edu/cispapers/87
Lunde, K.: Object-oriented modeling in model-based diagnosis. In: Proceedings of the First Modelica workshop, Lund, Sweden (2000)
Antoulas, A., Sorensen, D., Gugercin, S.: A survey of model reduction methods for large-scale systems. Contemporary Mathematics 280, 193–219 (2001)
Mazzi, E., Vincentelli, A., Balluchi, A., Bicchi, A.: Hybrid system reduction. In: 47th IEEE Conference on Decision and Control, CDC 2008, pp. 227–232 (2008)
Dressler, O., Struss, P.: Generating instead of programming diagnostics. In: 25 Jahre Elektronik-Systeme im Kraftfahrzeug, Haus der Technik Fachbuch, vol. 50, pp. 159–169 (2005)
Köb, D., Peischl, B., Wotawa, F.: Debugging vhdl designs using temporal process instances. In: Chung, P.W.H., Hinde, C.J., Ali, M. (eds.) IEA/AIE 2003. LNCS, vol. 2718, pp. 402–415. Springer, Heidelberg (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Behrens, M., Provan, G. (2010). Temporal Model-Based Diagnostics Generation for HVAC Control Systems. In: Tratt, L., Gogolla, M. (eds) Theory and Practice of Model Transformations. ICMT 2010. Lecture Notes in Computer Science, vol 6142. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-13688-7_3
Download citation
DOI: https://doi.org/10.1007/978-3-642-13688-7_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-13687-0
Online ISBN: 978-3-642-13688-7
eBook Packages: Computer ScienceComputer Science (R0)