@inproceedings{yang_design_2010,
	title = {A {Design} {Flow} for {Building} {Automation} and {Control} {Systems}},
	doi = {10.1109/RTSS.2010.26},
	abstract = {We propose a system-level design flow for building automation and control (BAC) systems. 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. Refinement includes optimal mapping of the functional specification on a set of computation and communication resources, and software synthesis, which generates code for each component in the mapped design while guaranteeing semantic equivalence with the original specification. Experiments with a temperature control system are presented to illustrate the flow.},
	booktitle = {2010 31st {IEEE} {Real}-{Time} {Systems} {Symposium}},
	author = {Yang, Yang and Pinto, Alessandro and Sangiovanni-Vincentelli, Alberto and Zhu, Qi},
	month = nov,
	year = {2010},
	note = {ISSN: 1052-8725},
	keywords = {Algorithm design and analysis, Atmospheric modeling, Buildings, Computational modeling, Computer architecture, Control systems, Libraries},
	pages = {105--116},
}

{"_id":"A4B3fbsx8gq2kSdiE","bibbaseid":"yang-pinto-sangiovannivincentelli-zhu-adesignflowforbuildingautomationandcontrolsystems-2010","author_short":["Yang, Y.","Pinto, A.","Sangiovanni-Vincentelli, A.","Zhu, Q."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"A Design Flow for Building Automation and Control Systems","doi":"10.1109/RTSS.2010.26","abstract":"We propose a system-level design flow for building automation and control (BAC) systems. 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. Refinement includes optimal mapping of the functional specification on a set of computation and communication resources, and software synthesis, which generates code for each component in the mapped design while guaranteeing semantic equivalence with the original specification. Experiments with a temperature control system are presented to illustrate the flow.","booktitle":"2010 31st IEEE Real-Time Systems Symposium","author":[{"propositions":[],"lastnames":["Yang"],"firstnames":["Yang"],"suffixes":[]},{"propositions":[],"lastnames":["Pinto"],"firstnames":["Alessandro"],"suffixes":[]},{"propositions":[],"lastnames":["Sangiovanni-Vincentelli"],"firstnames":["Alberto"],"suffixes":[]},{"propositions":[],"lastnames":["Zhu"],"firstnames":["Qi"],"suffixes":[]}],"month":"November","year":"2010","note":"ISSN: 1052-8725","keywords":"Algorithm design and analysis, Atmospheric modeling, Buildings, Computational modeling, Computer architecture, Control systems, Libraries","pages":"105–116","bibtex":"@inproceedings{yang_design_2010,\n\ttitle = {A {Design} {Flow} for {Building} {Automation} and {Control} {Systems}},\n\tdoi = {10.1109/RTSS.2010.26},\n\tabstract = {We propose a system-level design flow for building automation and control (BAC) systems. 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. Refinement includes optimal mapping of the functional specification on a set of computation and communication resources, and software synthesis, which generates code for each component in the mapped design while guaranteeing semantic equivalence with the original specification. Experiments with a temperature control system are presented to illustrate the flow.},\n\tbooktitle = {2010 31st {IEEE} {Real}-{Time} {Systems} {Symposium}},\n\tauthor = {Yang, Yang and Pinto, Alessandro and Sangiovanni-Vincentelli, Alberto and Zhu, Qi},\n\tmonth = nov,\n\tyear = {2010},\n\tnote = {ISSN: 1052-8725},\n\tkeywords = {Algorithm design and analysis, Atmospheric modeling, Buildings, Computational modeling, Computer architecture, Control systems, Libraries},\n\tpages = {105--116},\n}\n\n","author_short":["Yang, Y.","Pinto, A.","Sangiovanni-Vincentelli, A.","Zhu, Q."],"key":"yang_design_2010","id":"yang_design_2010","bibbaseid":"yang-pinto-sangiovannivincentelli-zhu-adesignflowforbuildingautomationandcontrolsystems-2010","role":"author","urls":{},"keyword":["Algorithm design and analysis","Atmospheric modeling","Buildings","Computational modeling","Computer architecture","Control systems","Libraries"],"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://api.zotero.org/groups/4682325/items?key=gQcofis3fp4rTPEF0VitS7qe&format=bibtex&limit=100","dataSources":["rbZEZqmLz8K8iv4Hi"],"keywords":["algorithm design and analysis","atmospheric modeling","buildings","computational modeling","computer architecture","control systems","libraries"],"search_terms":["design","flow","building","automation","control","systems","yang","pinto","sangiovanni-vincentelli","zhu"],"title":"A Design Flow for Building Automation and Control Systems","year":2010}