Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 4 of 4 for “"Building control system"”.
-
XFM: An Incremental Methodology for Developing Formal Models
… a natural language specification of a complex system. In particular, we focus on Prescriptive Formal Models (PFMs) that capture the specification of the system under design in a mathematically precise manner. Such models can be used as golden reference models for formal verification, test …
-
The modelling and simulation of energy management control systems
… improving the integrity and applicability of building energy management systems(BEMS) simulation tools. The present work attempts to overcome certain inadequacies of contemporary simulation applications with respect to environmental control systems, by developing novel building control systems …
-
Regulating sustainable development : an enabling model for consistent collaboration between planning and building control services in England
Planning (often termed as development control) and building control have existed as public regulatory services on a national basis in England since the expansion of industrialisation in the 19th Century. Since then, the professions have collectively served the interests of local communities but …
-
A Low Cost Multi-Agent Control Approach for Building Energy System Management
… energy is related to energy consumption in buildings in the United States and if buildings are not operated properly, a significant amount of energy is wasted. This matter is becoming widely recognized and the subject of building optimal controls has attracted growing research efforts in the …