Modelling and predictive control techniques for building heating systems

Model predictive control (MPC) has often been referred to in literature as a potential method for more efficient control of building heating systems. Though a significant performance improvement can be achieved with an MPC strategy, the complexity introduced to the commissioning of the system is often prohibitive. Models are required which can capture the thermodynamic properties of the building with sufficient accuracy for meaningful predictions to be made. Furthermore, a large number of tuning weights may need to be determined to achieve a desired performance. For MPC to become a practicable alternative, these issues must be addressed. Acknowledging the impact of the external environment as well as the interaction of occupants on the thermal behaviour of the building, in this work, techniques have been developed for deriving building models from data in which large, unmeasured disturbances are present. A spatio-temporal filtering process was introduced to determine estimates of the disturbances from measured data, which were then incorporated with metaheuristic search techniques to derive high-order simulation models, capable of replicating the thermal dynamics of a building. While a high-order simulation model allowed for control strategies to be analysed and compared, low-order models were required for use within the MPC strategy itself. The disturbance estimation techniques were adapted for use with system-identification methods to derive such models. MPC formulations were then derived to enable a more straightforward commissioning process and implemented in a validated simulation platform. A prioritised-objective strategy was developed which allowed for the tuning parameters typically associated with an MPC cost function to be omitted from the formulation by separation of the conflicting requirements of comfort satisfaction and energy reduction within a lexicographic framework. The improved ability of the formulation to be set-up and reconfigured in faulted conditions was shown.

Building resilience for social-ecological sustainability in Atlantic Europe

This thesis argues that complex adaptive social–ecological systems (SES) theory has important implications for the design of integrated ocean and coastal governance in the EU. Traditional systems of governance have struggled to deal with the global changes, complexity and uncertainties that challenge a transition towards sustainability in Europe’s maritime macro-regions. There is an apparent disconnect between governance strategies for sustainability in Europe’s maritime macro-regions and a sound theoretical basis for them. My premise is that the design of governance architecture for maritime regional sustainability should be informed by SES theory. Therefore, the aim of this research was to gain insight into a multilevel adaptive governance architecture that combines notions of sustainability and development in the context of the Atlantic Europe maritime macro-region. The central research question asked whether it is possible to achieve this insight by using a SES as a framework and analytical tool. This research adopted social ecology and sustainability science as a foundation for understanding society–nature relations. Concepts from complex adaptive systems, SES and resilience theories were integrated into a conceptual framework that guided the investigation and analysis. A study was conducted to conceptualise the European Atlantic social–ecological system (EASES). This was used to represent and understand the Atlantic Europe macro-region as a SES. The study examined the proposition that governance can be focused on building SES resilience to help achieve maritime regional sustainability. A workbook method was developed and used to elicit expert opinion regarding EASES. The study identified sources of resilience and resilience dynamics that require management in the context of multilevel adaptive governance. This research found that the Atlantic Europe macro-region is a key focal level for multilevel adaptive governance architecture. The majority of the findings are specific to Atlantic Europe and not generalisable to other maritime macro-regions in Europe.

Average-case analysis of power consumption in embedded systems

Power efficiency is one of the most important constraints in the design of embedded systems since such systems are generally driven by batteries with limited energy budget or restricted power supply. In every embedded system, there are one or more processor cores to run the software and interact with the other hardware components of the system. The power consumption of the processor core(s) has an important impact on the total power dissipated in the system. Hence, the processor power optimization is crucial in satisfying the power consumption constraints, and developing low-power embedded systems. A key aspect of research in processor power optimization and management is “power estimation”. Having a fast and accurate method for processor power estimation at design time helps the designer to explore a large space of design possibilities, to make the optimal choices for developing a power efficient processor. Likewise, understanding the processor power dissipation behaviour of a specific software/application is the key for choosing appropriate algorithms in order to write power efficient software. Simulation-based methods for measuring the processor power achieve very high accuracy, but are available only late in the design process, and are often quite slow. Therefore, the need has arisen for faster, higher-level power prediction methods that allow the system designer to explore many alternatives for developing powerefficient hardware and software. The aim of this thesis is to present fast and high-level power models for the prediction of processor power consumption. Power predictability in this work is achieved in two ways: first, using a design method to develop power predictable circuits; second, analysing the power of the functions in the code which repeat during execution, then building the power model based on average number of repetitions. In the first case, a design method called Asynchronous Charge Sharing Logic (ACSL) is used to implement the Arithmetic Logic Unit (ALU) for the 8051 microcontroller. The ACSL circuits are power predictable due to the independency of their power consumption to the input data. Based on this property, a fast prediction method is presented to estimate the power of ALU by analysing the software program, and extracting the number of ALU-related instructions. This method achieves less than 1% error in power estimation and more than 100 times speedup in comparison to conventional simulation-based methods. In the second case, an average-case processor energy model is developed for the Insertion sort algorithm based on the number of comparisons that take place in the execution of the algorithm. The average number of comparisons is calculated using a high level methodology called MOdular Quantitative Analysis (MOQA). The parameters of the energy model are measured for the LEON3 processor core, but the model is general and can be used for any processor. The model has been validated through the power measurement experiments, and offers high accuracy and orders of magnitude speedup over the simulation-based method.