Supervisory Control of Integrated Building Systems: A Balanced Approach [chapter]

J. R. Silva, R. L. C. B. Ramos, P. E. Miyagi
1996 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, reliability
more » ... intelligence (decision making), when compared with the nonformal environments available today. The methodology is based on the supervisory control theory introduced by Ramadge and Wonham, through an input/output interpretation. We claim that a more balanced automation project could be achieved by using this formalism in a net representation called PFSIMFG (production Flow SchemalMark Flow Graph), a Petri Net extension. This formalism introduces a hierarchical approach and high level elements to which we attached an estimated time. This formal technique can also represent the interaction between the supervisory system and human operators. The model obtained allows the analysis of behavioral and structural properties of the supervisory control system, including reachability, liveness, invariants and synchronic distances.
doi:10.1007/978-0-387-35065-3_6 fatcat:pgv5vaxaunbezif2bgniuu2v5i