The concept of lights-out process control is explored in this work (specifically pertaining to the minerals processing industry). The term is derived from lights-out manufacturing, which is used in discrete component manufacturing to describe a fully automated production line, i.e. with no human intervention. Lights-out process control is therefore defined as the fully autonomous operation of a processing plant (as achieved through automatic process control), without operator interaction. / Thesis (PhD)--University of Pretoria, 2017. / National Research Foundation (NRF) / Electrical, Electronic and Computer Engineering / PhD / Unrestricted

<div>Collision avoidance design plays an essential role in autonomous vehicle technology. It's an attractive research area that will need much experimentation in the future. This research area is very important for providing the maximum safety to automated vehicles, which have to be tested several times under different circumstances for safety before use in real life. This thesis proposes a method for designing and presenting a collision avoidance maneuver by using a model predictive controller with a moving obstacle for automated vehicles. It consists of a plant model, an adaptive MPC controller, and a reference trajectory. The proposed strategy applies a dynamic bicycle model as the plant model, adaptive model predictive controller for the lateral control, and a custom reference trajectory for the scenario design. The model was developed using the Model Predictive Control Toolbox and Automated Driving Toolbox in Matlab. Builtin tools available in Matlab/Simulink were used to verify the modeling approach and analyze the performance of the system. The major contribution of this thesis work was implementing a novel dynamic obstacle avoidance control method for automated vehicles. The study used validated parameters obtained from previous research. The novelty of this research was performing the studies using a MPC based controller instead of a sliding mode controller, that was primarily used in other studies. The results obtained from the study are compared with the validated models. The comparisons consisted of the lateral overlap,lateral error, and steering angle simulation results between the models. Additionally,this study also included outcomes for the yaw angle. The comparisons and other outcomes obtained in this study indicated that the developed control model produced reasonably acceptable results and recommendations for future studies.</div>

Integrating renewable energy and energy storage systems provides a way of operating the electrical grid system more energy efficiently and stably. Thermal storage and batteries are the most common devices for integration. One approach to integrating thermal storage on site is to use ice in combination with the cooling system. The use of ice storage can enable a change in the time variation of electrical usage for cooling in response to variations in PV availability, utility prices, and cooling requirements.A number of studies can be found in the literature that address optimal operation of onsite PV systems with batteries or ice storage. However, although it is a natural and practical question, it is not clear which integrated storage system performs better in terms of overall economics. Ice storage has low initial and maintenance costs, but there is an efficiency penalty for charging of storage and it can only shift electrical loads associated with building cooling requirements. A battery’s round-trip efficiency,on the other hand, is quite consistent and batteries can be used to shift both HVAC and non-HVAC loads. However, batteries have greater initial costs and a significantly shorter life. This research presents a tool and provides a case study for comparing life-cycle economics of battery and ice storage systems for a commercial building that has chillers for cooling and an on-site photovoltaic system. A model predictive control algorithm was developed and implemented in simulation for the two systems in order to compare optimal costs. The effect of ice storage and battery sizing were studied in order to determine the best storage sizes from an economic perspective and to provide a fair comparison

Small Unmanned Aircraft Systems (UAS) are considered the stepping stone for the integration of civil unmanned vehicles in the National Airspace System (NAS) because of their low cost and risk. Such systems are aimed at a variety of applications including search and rescue, surveillance, communications, traffic monitoring and inspection of buildings, power lines and bridges. Amidst these systems, small helicopters play an important role because of their capability to hold a position, to maneuver in tight spaces and to take off and land from virtually anywhere. Nevertheless civil adoption of such systems is minimal, mostly because of regulatory problems that in turn are due to safety concerns. This dissertation examines the risk to safety imposed by UAS in general and small helicopters in particular, focusing on accidents resulting in a ground impact. To improve the performance of small helicopters in this area, the use of autonomous autorotation is proposed. This research goes beyond previous work in the area of autonomous autorotation by developing an on-line, model-based, real-time controller that is capable of handling constraints and different cost functions. The approach selected is based on a non-linear model-predictive controller, that is augmented by a neural network to improve the speed of the non-linear optimization. The immediate benefit of this controller is that a class of failures that would otherwise result in an uncontrolled crash and possible injuries or fatalities can now be accommodated. Furthermore besides simply landing the helicopter, the controller is also capable of minimizing the risk of serious injury to people in the area. This is accomplished by minimizing the kinetic energy during the last phase of the descent. The presented research is designed to benefit the entire UAS community as well as the public, by allowing for safer UAS operations, which in turn also allow faster and less expensive integration of UAS in the NAS.

This dissertation is focused on the modeling and robust model-based control of high degree-of-freedom (DoF) systems. While most of the contributions are applicable to any difficult-to-model system, this dissertation focuses specifically on applications to large-scale soft robots because their many joints and pressures constitute a high-DoF system and their inherit softness makes them difficult to model accurately. First a joint-angle estimation and kinematic calibration method for soft robots is developed which is shown to decrease the pose prediction error at the end of a 1.5 m robot arm by about 85\%. A novel dynamic modelling approach which can be evaluated within microseconds is then formulated for continuum type soft robots. We show that deep neural networks (DNNs) can be used to approximate soft robot dynamics given training examples from physics-based models like the ones described above. We demonstrate how these machine-learning-based models can be evaluated quickly to perform a form of optimal control called model predictive control (MPC). We describe a method of control trajectory parameterization that enables MPC to be applied to systems with more DoF and with longer prediction horizons than previously possible. We show that this parameterization decreases MPC's sensitivity to model error and drastically reduces MPC solve times. A novel form of MPC is developed based on an evolutionary optimization algorithm that allows the optimization to be parallelized on a computer's graphics processing unit (GPU). We show that this evolutionary MPC (EMPC) can greatly decrease MPC solve times for high DoF systems without large performance losses, especially given a large GPU. We combine the ideas of machine learned DNN models of robot dynamics, with parameterized and parallelized MPC to obtain a nonlinear version of EMPC which can be run at higher rates and find better solutions than many state-of-the-art optimal control methods. Finally we demonstrate an adaptive form of MPC that can compensate for model error or changes in the system to be controlled. This adaptive form of MPC is shown to inherit MPC's robustness to completely unmodeled disturbances and adaptive control's ability to decrease trajectory tracking errors over time.

<p>Commercial buildings not only have significant impacts on occupants’ well-being, but also contribute to more than 19% of the total energy consumption in the United States. Along with improvements in building equipment efficiency and utilization of renewable energy, there has been significant focus on the development of advanced heating, ventilation, and air conditioning (HVAC) system controllers that incorporate predictions (e.g., occupancy patterns, weather forecasts) and current state information to execute optimization-based strategies. For example, model predictive control (MPC) provides a systematic implementation option using a system model and an optimization algorithm to adjust the control setpoints dynamically. This approach automatically satisfies component and operation constraints related to building dynamics, HVAC equipment, etc. However, the wide adaptation of advanced controls still faces several practical challenges: such approaches involve significant engineering effort and require site-specific solutions for complex problems that need to consider uncertain weather forecast and engaging the building occupants. This thesis explores smart building operation strategies to resolve such issues from the following three aspects. </p> <p>First, the thesis explores a stochastic model predictive control (SMPC) method for the optimal utilization of solar energy in buildings with integrated solar systems. This approach considers the uncertainty in solar irradiance forecast over a prediction horizon, using a new probabilistic time series autoregressive model, calibrated on the sky-cover forecast from a weather service provider. In the optimal control formulation, we model the effect of solar irradiance as non-Gaussian stochastic disturbance affecting the cost and constraints, and the nonconvex cost function is an expectation over the stochastic process. To solve this optimization problem, we introduce a new approximate dynamic programming methodology that represents the optimal cost-to-go functions using Gaussian process, and achieves good solution quality. We use an emulator to evaluate the closed-loop operation of a building-integrated system with a solar-assisted heat pump coupled with radiant floor heating. For the system and climate considered, the SMPC saves up to 44% of the electricity consumption for heating in a winter month, compared to a well-tuned rule-based controller, and it is robust, imposing less uncertainty on thermal comfort violation.</p> <p>Second, this thesis explores user-interactive thermal environment control systems that aim to increase energy efficiency and occupant satisfaction in office buildings. Towards this goal, we present a new modeling approach of occupant interactions with a temperature control and energy use interface based on utility theory that reveals causal effects in the human decision-making process. The model is a utility function that quantifies occupants’ preference over temperature setpoints incorporating their comfort and energy use considerations. We demonstrate our approach by implementing the user-interactive system in actual office spaces with an energy efficient model predictive HVAC controller. The results show that with the developed interactive system occupants achieved the same level of overall satisfaction with selected setpoints that are closer to temperatures determined by the MPC strategy to reduce energy use. Also, occupants often accept the default MPC setpoints when a significant improvement in the thermal environment conditions is not needed to satisfy their preference. Our results show that the occupants’ overrides can contribute up to 55% of the HVAC energy consumption on average with MPC. The prototype user-interactive system recovered 36% of this additional energy consumption while achieving the same overall occupant satisfaction level. Based on these findings, we propose that the utility model can become a generalized approach to evaluate the design of similar user-interactive systems for different office layouts and building operation scenarios. </p> <p>Finally, this thesis presents an approach based on meta-reinforcement learning (Meta-RL) that enables autonomous optimal building controls with minimum engineering effort. In reinforcement learning (RL), the controller acts as an agent that executes control actions in response to the real-time building system status and exogenous disturbances according to a policy. The agent has the ability to update the policy towards improving the energy efficiency and occupant satisfaction based on the previously achieved control performance. In order to ensure satisfactory performance upon deployment to a target building, the agent is trained using the Meta-RL algorithm beforehand with a model universe obtained from available building information, which is a probability measure over the possible building dynamical models. Starting from what is learned in the training process, the agent then fine-tunes the policy to adapt to the target building based on-site observations. The control performance and adaptability of the Meta-RL agent is evaluated using an emulator of a private office space over 3 summer months. For the system and climate under consideration, the Meta-RL agent can successfully maintain the indoor air temperature within the first week, and result in only 16% higher energy consumption in the 3^rd month than MPC, which serves as the theoretical upper performance bound. It also significantly outperforms the agents trained with conventional RL approach. </p>

Autonomous vehicles is a rapidly expanding field, and promise to play an important role in society. In more isolated environments, vehicle automation can bring significant efficiency and production benefits and it eliminates repetitive jobs that can lead to inattention and accidents. The thesis addresses the problem of lateral and longitudinal dynamics control of autonomous ground vehicles with the purpose of accurate and smooth path following. Clothoids are used in the design of optimal predictive controllers aimed at minimizing the lateral forces and jerks in the vehicle. First, a clothoid-based path sparsification algorithm is proposed to efficiently describe the reference path. This approach relies on a sparseness regularization technique such that a minimal number of clothoids is used to describe the reference path. Second, a clothoid-based model predictive controller (MPCC) is proposed. This controller aims at producing a smooth driving by taking advantage of the clothoid properties.  Third, we formulate the problem as an economic model predictive controller (EMPC). In EMPC the objective function contains an economic cost (here represented by comfort or smoothness), which is described by the second and first derivatives of the curvature.  Fourth, the generation of feasible speed profiles, and the longitudinal vehicle control for following these, is studied. The speed profile generation is formulated as an optimization problem with two contradictory objectives: to drive as fast as possible while accelerating as little as possible. The longitudinal controller is formulated in a similar way, but in a receding horizon fashion. The experimental evaluation with the EMPC demonstrates its good performance, since the deviation from the path never exceeds 30 cm and in average is 6 cm. In simulation, the EMPC and the MPCC are compared with a pure-pursuit controller (PPC) and a standard MPC. The EMPC clearly outperforms the PPC in terms of path accuracy and the standard MPC in terms of driving smoothness. / <p>QC 20160503</p> / iQMatic

Over the last decades, autonomous robots have been considered in a variety of applications such  as persistent monitoring, package delivery and cooperative transportation. These applications often require the satisfaction of a set of complex tasks that need to be possibly performed in a timely manner. For example, in search and rescue missions, UAVs are expected to cover a set of regions within predetermined time intervals in order to increase the probability of identifying the victims of an accident. Spatio-temporal tasks of this form can be easily expressed in Signal Temporal Logic (STL), a predicate language that allow us to formally introduce time-constrained tasks such as visit area A between 0 and 5 min or robot 1 should move in a formation with robot 2 until robot 1 reaches region B between 5 and 20 sec. Existing approaches in control under spatio-temporal tasks encode the STL constraints using mixed-integer expressions. In the majority of these works, receding horizon schemes are designed and long planning horizons are considered that depend on the temporal constraints of the STL tasks. As a result, the complexity of these problems may increase with the number of the tasks or the length of the time interval within which a STL task needs to be satisfied. Other approaches, consider a limited STL fragment and propose computationally efficient feedback controllers that ensure the satisfaction of the STL task with a minimum, desired robustness. Nevertheless, these approaches do not consider actuation limitations that are always present in real-world systems and thus, yield controllers of arbitrarily large magnitude.  In this thesis, we consider the control problem under spatio-temporal constraints for systems that are subject to actuation limitations. In the first part, receding horizon control schemes (RHS) are proposed that ensure the satisfaction or minimal violation of a given set of STL tasks. Contrary to existing approaches, the planning horizon of the RHS scheme can be chosen independent of the STL task and hence, arbitrarily small, given the initial feasibility of the problem. Combining the advantages of the RHS and feedback strategies, we encode the STL tasks using control barrier functions that are designed either online or offline and design controllers that aim at maximizing the robustness of the STL task. The recursive feasibility property of the framework is established and a lower bound on the violation of the STL formula is derived. In the next part, we consider a multi-agent system that is subject to a STL task whose satisfaction may involve a large number of agents in the team. Then, the goal is to decompose the global task into local ones the satisfaction of each one of which  depends only on a given sub-team of agents. The proposed decomposition method enables the design of decentralized controllers under local STL tasks avoiding unnecessary communication among agents.  In the last part of the thesis, the coordination problem of multiple platoons is considered and related tasks such as splitting, merging and distance maintenance are expressed as Signal Temporal Logic tasks. Then, feedback control techniques are employed ensuring the satisfaction the STL formula, or alternatively minimal violation in presence of actuation limitations. / De senaste ̊artiondena har autonoma robotar sett en rad nya användningsområden, såsom ̈overvakning, paketleverans och kooperativ transport. Dessa innebär ofta att en samling komplexa uppgifter måste lösas på kort tid. Inom Search and Rescue (SAR), till exempel, krävs att drönare hinner genomsöka vissa geografiska regioner inom givna tidsintervall. Detta för att ̈oka chansen att identifierade drabbade vid en olycka. Den här typen av uppgift i tid och rum (spatio-temporal) kan enkelt uttryckas med hjälp av Signal Temporal Logic (STL). STL ̈är ett språk som tillåter oss att på ett formellt sätt formulera tidsbegränsade uppgifter, såsom besök område A mellan o och 5 minuter, eller robot 1 ska röra sig i formationtillsammans med robot 2 till dess att robot 1 når område B mellan 5 och 20 sekunder. Nuvarande lösningar till styrproblem av spatio-temporal-typen kodar STL-begränsningar med hjälp av mixed-integer-uttryck. Majoriteten av lösningarna involverar receding-horizon-metoder med långa tidshorisonter som beror av tidsbegränsningarna i STL-uppgifterna. Detta leder till att problemens komplexitet ̈ökar med antalet deluppgifter inom och tiden för STL-uppgifterna. Andra lösningar bygger på restriktiva STL-fragment och beräkningsmässigt effektiva ̊aterkopplingsregulatorer som garanterar STL-begränsningarna med minimal önskad robusthet. Dessvärre tar dessa sällan hänsyn till fysiska begräsningar hos regulatorn och ger ofta godtyckligt stora styrsignaler. I den här licentiatuppsatsen behandlar vi styrproblem med begräsningar i rum och tid, samt den ovan nämnda typen av fysiska regulatorbegränsningar. I den första delen presenterar vi receding-horizon-metoder (RHS) som uppfyller kraven i STL-uppgifter, eller minimalt bryter mot dessa. Till skillnad från tidigare lösningar så kan tidshorisonten i våra RHS-metoder väljas oberoende av STL-uppgifterna och därmed göras godtyckligt kort, så länge ursprungsproblemet ̈ar lösbart. Genom att formulera STL-uppgifterna som control barrier funktioner kan vi kombinera fördelarna hos RHS och ̊återkoppling. Vi härleder en rekursiv lösbarhetsegenskap och en undre gräns på ̈overträdelsen av STL-kraven. I den andra delen behandlar vi multi-agent-system med uppgifter i tid och rum som berör många agenter. Målet är att bryta ner den globala uppgiften i fler men enklare lokala uppgifter som var och en bara involverar en given delmängd av agenterna. Vår nedbrytning till ̊åter oss att konstruera decentraliserade regulatorer som löser lokala STL-uppgifter, och kan i och med det markant minska kommunikationskostnaderna i j̈ämförelse med centraliserad styrning. I den sista delen av uppsatsen behandlar vi samordning av flera grupper. Vi uttrycker uppgifter såsom delning, sammanslagning och avståndshållning med hjälp av STL, och utnyttjar sedan ̊aterkoppling för att uppfylla eller minimalt bryta mot kraven. / <p>QC 20220311</p>

There is a demand for renewable energy in today’s society. Wave energy is a nearly untapped source of renewable energy. Ocean Harvesting Technologies AB (OHT) is currently developing a device that can be used to convert wave energy into electricity. The device is a Wave Energy Converter of the type point absorber. Their concept is a floating buoy that is connected to the seafloor via a Power Take-Off (PTO) unit. The PTO unit is equipped with generators, which are used to convert kinetic energy of the buoy into electricity. The objective of this thesis is to control the generators to optimize the performance of the system. OHT was interested in knowing how their system performs under the influence of a controller based on MPC. Hence an MPC-controller is constructed in this thesis. The developed controller functions by predicting the states (position and velocity) of the buoy over a finite time (e.g. $5s$). Then the controller uses the predictions to find a control force that makes the system behave optimally for the next $5$ seconds. A requirement from the company is that the controller should find the control force based on how the buoy is predicted to move in 3 Degrees Of Freedom (DOF). Further, the controller should be able to operate in real-time. To meet the company’s requirements, the following is done. A linear 3ODF model of the system is derived. This is used to predict the states of the buoy in the controller. An MPC algorithm is constructed. In this, the linear model and constraints of the system are included. Then, a simulation environment is built. This is including a non-linear model of OHT’s system. The performance of the controller is tested in the simulation environment. Real-time implementation is an important aspect of the controller. The computational time required by the controller is measured in the simulations. The results imply that the controller stands a chance of being real-time implementable. However, make sure that it can be run in real-time it should be tested on the control unit that OHT plans to use in their system. A linear model of the system is used in the controller to predict the future states o the buoy. It is important that the predictions are accurate for the controller to control the system in an optimal way. Hence, the validity of the linear model is investigated. The controller is managing to predict some states better than others. However, the controller is doing a fine job with controlling the system in terms of generated power. Thus the linear model is considered to be valid for the application. An advantage with controllers based on MPC is the simplicity of tuning the controller. Changes of settings in the controller have a predictable effect on the results. For the settings found in this thesis, the system is performing fine in terms of power generation. However, more work is needed to find more optimal settings.

With the ongoing trend in moving the upper levels of the automation hierarchy to the cloud, there has been investigation into supplying industrial automation as a cloud based service. There are many practical considerations which pose limitations on the feasibility of the idea. This research investigates some of the requirements which would be needed to implement a platform which would facilitate competition between different controllers which would compete to control a process in real-time. This work considers only the issues relating to implementation of the philosophy from a control theoretic perspective, issues relating to hardware/communications infrastructure and cyber security are beyond the scope of this work. A platform is formulated and all the relevant control requirements of the system are discussed. It is found that in order for such a platform to determine the behaviour of a controller, it would need to simulate the controller on a model of the process over an extended period of time. This would require a measure of the disturbance to be available, or at least an estimate thereof. This therefore increases the complexity of the platform. The practicality of implementing such a platform is discussed in terms of system identification and model/controller maintenance. A model of the surge tank from SibanyeStillwater’s Platinum bulk tailings treatment (BTT) plant, the aim of which is to keep the density of the tank outflow constant while maintaining a steady tank level, was derived, linearised and an input-output controllability analysis performed on the model. Six controllers were developed for the process, including four conventional feedback controllers (decentralised PI, inverse, modified inverse and H¥) and two Model Predictive Controllers (MPC) (one linear and another nonlinear). It was shown that both the inverse based and H¥ controllers fail to control the tank level to set-point in the event of an unmeasured disturbance. The competing concept was successfully illustrated on this process with the linear MPC controller being the most often selected controller, and the overall performance of the plant substantially improved by having access to more advanced control techniques, which is facilitated by the proposed platform. A first appendix presents an investigation into a previously proposed switching philosophy [15] in terms of its ability to determine the best controller, as well as the stability of the switching scheme. It is found that this philosophy cannot provide an accurate measure of controller performance owing to the use of one step ahead predictions to analyse controller behaviour. Owing to this, the philosophy can select an unstable controller when there is a stable, well tuned controller competing to control the process. A second appendix shows that there are cases where overall system performance can be improved through the use of the proposed platform. In the presence of constraints on the rate of change of the inputs, a more aggressive controller is shown to be selected so long as the disturbance or reference changes do not cause the controller to violate these input constraints. This means that switching back to a less aggressive controller is necessary in the event that the controller attempts to violate these constraints. This is demonstrated on a simple first order plant as well as the surge tank process. Overall it is concluded that, while there are practical issues surrounding plant and system identification and model/controller maintenance, it would be possible to implement such a platform which would allow a given plant access to advanced process control solutions without the need for procuring the services of a large vendor. / Dissertation (MEng)--University of Pretoria, 2020. / Electrical, Electronic and Computer Engineering / MEng / Unrestricted