A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is
IFIP Advances in Information and Communication Technology
This paper presents a formal approach to the design, modeling and simulation of integrated building automation systems. Our main objective is to define a conceptual framework to aid building control system designers in their tasks of specification, analysis, tests and changes of integrated building control strategies. The formal approach proposed can facilitate the development of complete integrated building automation systems, lowering their cost and improving their flexibility, reliabilitydoi:10.1007/978-0-387-35065-3_6 fatcat:pgv5vaxaunbezif2bgniuu2v5i