Research Projects

Development of a Building Automation and Control Systems


Alberto L. Sangiovanni-Vincentelli, Yang Yang and Mehdi Maasoumy Haghighi

Model-based design of sophisticated control algorithms together with distributed platforms capable of supporting them will require a change in the design of building automation and control systems. Our research focus on developing energy efficient building automation and control systems. It includes designing control algorithms for building HVAC, lighting and safety systems, as well as automatically refining the control algorithm into a distributed implementation. We have proposed a system-level design flow for building automation and control (BAC) systems [1]. The input to the design flow is a high level description of the control algorithms given in a model-based environment such as Simulink. The input specification is translated into an intermediate format, and then automatically refined into a distributed implementation. Experiments with a temperature control system are presented to illustrate the flow.

Yang Yang, Alessandro Pinto, Alberto Sangiovanni-Vincentelli, Qi Zhu, "A Design Flow for Building Automation and Control Systems," rtss, pp.105-116, 2010 31st IEEE Real-Time Systems Symposium, 2011