<p>This thesis consists of four independent papers concerningthe control of mobile robots in the context of obstacleavoidance and formation keeping.</p><p>The first paper describes a new theoreticallyv erifiableapproach to obstacle avoidance. It merges the ideas of twoprevious methods, with complementaryprop erties, byusing acombined control Lyapunov function (CLF) and model predictivecontrol (MPC) framework.</p><p>The second paper investigates the problem of moving a fixedformation of vehicles through a partiallykno wn environmentwith obstacles. Using an input to state (ISS) formulation theconcept of configuration space obstacles is generalized toleader follower formations. This generalization then makes itpossible to convert the problem into a standard single vehicleobstacle avoidance problem, such as the one considered in thefirst paper. The properties of goal convergence and safetyth uscarries over to the formation obstacle avoidance case.</p><p>In the third paper, coordination along trajectories of anonhomogenuos set of vehicles is considered. Byusing a controlLyapunov function approach, properties such as boundedformation error and finite completion time is shown.</p><p>Finally, the fourth paper applies a generalized version ofthe control in the third paper to translate,rotate and expanda formation. It is furthermore shown how a partial decouplingof formation keeping and formation mission can be achieved. Theapproach is then applied to a scenario of underwater vehiclesclimbing gradients in search for specific thermal/biologicalregions of interest. The sensor data fusion problem fordifferent formation configurations is investigated and anoptimal formation geometryis proposed.</p><p><b>Keywords:</b>Mobile Robots, Robot Control, ObstacleAvoidance, Multirobot System, Formation Control, NavigationFunction, Lyapunov Function, Model Predictive Control, RecedingHorizon Control, Gradient Climbing, Gradient Estimation.</p>

Combined heat and power (CHP) is a technology that decreases total fuel consumption and related greenhouse gas emissions by producing both electricity and useful thermal energy from a single energy source. In the industrial and commercial sectors, a typical CHP site relies upon the electricity distribution network for significant periods, i.e., for purchasing power from the grid during periods of high demand or when off-peak electricity tariffs are available. On the other hand, in some cases, a CHP plant is allowed to sell surplus power to the grid during on-peak hours when electricity prices are highest while all operating constraints and local demands are satisfied. Therefore, if the plant is connected with the external grid and allowed to participate in open energy markets in the future, it could yield significant economic benefits by selling/buying power depending on market conditions. This is achieved by solving the power system generation scheduling problem using mathematical programming. In this work, we present the application of mixed-integer nonlinear programming (MINLP) approach for scheduling of a CHP plant in the day-ahead wholesale energy markets. This work employs first principles models to describe the nonlinear dynamics of a CHP plant and its individual components (gas and steam turbines, heat recovery steam generators, and auxiliary boilers). The MINLP framework includes practical constraints such as minimum/maximum power output and steam flow restrictions, minimum up/down times, start-up and shut-down procedures, and fuel limits. We provide case studies involving the Hal C. Weaver power plant complex at the University of Texas at Austin to demonstrate this methodology. The results show that the optimized operating strategies can yield substantial net incomes from electricity sales and purchases. This work also highlights the application of a nonlinear model predictive control scheme to a heavy-duty gas turbine power plant for frequency and temperature control. This scheme is compared to a classical PID/logic based control scheme and is found to provide superior output responses with smaller settling times and less oscillatory behavior in response to disturbances in electric loads. / text

We consider the solution of nonlinear optimal control problems subject to stochastic perturbations with incomplete observations. In particular, we generalize results obtained by Ito and Kunisch in [8] where they consider a receding horizon control (RHC) technique based on linearizing the problem on small intervals. The linear-quadratic optimal control problem for the resulting time-invariant (LTI) problem is then solved using the linear quadratic Gaussian (LQG) design. Here, we allow linearization about an instationary reference trajectory and thus obtain a linear time-varying (LTV) problem on each time horizon. Additionally, we apply a model predictive control (MPC) scheme which can be seen as a generalization of RHC and we allow covariance matrices of the noise processes not equal to the identity. We illustrate the MPC/LQG approach for a three dimensional reaction-diffusion system. In particular, we discuss the benefits of time-varying linearizations over time-invariant ones.

Dans ce travail sont presentees quelques approches pour la synthese de controleurs robustes avec information partielle sur l'etat (retour de sortie) dans le cas de systemes a temps discret. Dans le cadre de commande predictive, la synthese decoule de la minimisation a chaque instant d'echantillonnage, d'une borne superieure d'un cout quadratique evalue sur un horizon temporel infini. Le probleme d'optimisation qui inclut des contraintes sur l'etat et la commande est formule comme un probleme de programmation semi definie a base d'inegalites matricielles lineaires. Deux voies generales sont poursuivies: l'une basee sur le concept d'ellipsoide invariant et synthese de compensateur dynamique de retour de sortie, l'autre basee sur une formulation etendue permettant la resolution d'un probleme de retour d'etat equivalent a celui du retour de sortie.

The goal of this dissertation is to evaluate the effectiveness of model predictive control (MPC) for a magnetically suspended flywheel energy storage uninterruptible power supply (FlyUPS). The reason this research topic was selected was to determine if an advanced control technique such as MPC could perform better than a classical control approach such as decentralised Proportional-plus-Differential (PD) control. Based on a literature study of the FlyUPS system and the MPC strategies available, two MPC strategies were used to design two possible MPC controllers were designed for the FlyUPS, namely a classical MPC algorithm that incorporates optimisation techniques and the MPC algorithm used in the MATLAB® MPC toolbox™. In order to take the restrictions of the system into consideration, the model used to derive the controllers was reduced to an order of ten according to the Hankel singular value decomposition of the model. Simulation results indicated that the first controller based on a classical MPC algorithm and optimisation techniques was not verified as a viable control strategy to be implemented on the physical FlyUPS system due to difficulties obtaining the desired response. The second controller derived using the MATLAB® MPC toolbox™ was verified to be a viable control strategy for the FlyUPS by delivering good performance in simulation. The verified MPC controller was then implemented on the FlyUPS. This implementation was then analysed in order to validate that the controller operates as expected through a comparison of the simulation and implementation results. Further analysis was then done by comparing the performance of MPC with decentralised PD control in order to determine the advantages and limitations of using MPC on the FlyUPS. The advantages indicated by the evaluation include the simplicity of the design of the controller that follows directly from the specifications of the system and the dynamics of the system, and the good performance of the controller within the parameters of the controller design. The limitations identified during this evaluation include the high computational load that requires a relatively long execution time, and the inability of the MPC controller to adapt to unmodelled system dynamics. Based on this evaluation MPC can be seen as a viable control strategy for the FlyUPS, however more research is needed to optimise the MPC approach to yield significant advantages over other control techniques such as decentralised PD control. / Thesis (MIng (Computer and Electronic Engineering))--North-West University, Potchefstroom Campus, 2013

A cyber-security problem is a conflict-resolution scenario that typically consists of a security system and at least two decision makers (e.g. attacker and defender) that can each have competing objectives. In this thesis, we are interested in cyber-security problems where one decision maker has superior or better information. Game theory is a well-established mathematical tool that can be used to analyze such problems and will be our tool of choice. In particular, we will formulate cyber-security problems as stochastic games with asymmetric information, where game-theoretic methods can then be applied to the problems to derive optimal policies for each decision maker. A severe limitation of considering optimal policies is that these policies are computationally prohibitive. We address the complexity issues by introducing methods, based on the ideas of model predictive control, to compute suboptimal polices. Specifically, we first prove that the methods generate suboptimal policies that have tight performance bounds. We then show that the suboptimal polices can be computed by solving a linear program online, and the complexity of the linear program remains constant with respect to the game length. Finally, we demonstrate how the suboptimal policy methods can be applied to cyber-security problems to reduce the computational complexity of forecasting cyber-attacks.

A novel electromechanical brake (EMB) based on the eddy current principle is proposed for application in electrical vehicles. The proposed solution is a feasible replacement for the current conventional hydraulic brake (CHB) systems. Unlike CHBs eddy current brakes (ECBs) use eddy currents and their interaction with an externally applied magnetic field to generate braking torque. Due to their pure electrically controllable and contact free nature, ECBs have multiple advantages over the current CHB systems, such as faster response, reduced weight and number of components, ease of implementing various controllers (e.g., anti-lock braking), and reduced noise levels. However, the torque generated by a typical ECB at low speeds is insufficient to effectively and completely stop a moving vehicle. Therefore, an ECB is commonly used as an assistive brake to the CHB system in heavy vehicles, i.e. trains and trucks In order to overcome this shortcoming, the use of AC magnetic fields is proposed to realize a stand-alone ECB system in which sufficient braking torque can be generated at low speeds. To this end, eddy currents are modeled analytically using the governing Maxwell’s equations with the consideration of time varying field application. The analytical model was validated using finite element analysis. Results show that the braking torque increases with the application of a time varying field. Various forms of time varying fields have been studied. It was found that the frequency-modulated applied field in triangular waveform results in the highest braking torque. Next, the design was optimized to maximize the braking torque and an optimum configuration was obtained using multiple pole projection areas (PPAs). Optimization results show that the braking torque significantly increases with the introduction of additional PPAs to the configuration, and the braking torque generation for an optimum four-PPA ECB configuration exceeds the braking requirements for current passenger vehicles. For control purposes, a dynamic model for a novel stand-alone ECB system using AC fields for automotive applications has been successfully designed and evaluated. Also, a model-based predictive controller has been developed for the optimum ECB configuration. Finally an experimental test-bed has been designed for experimentation of both DC and AC field application on ECB. / Graduate

The energy crisis together with greater environmental awareness, has increased interest in the construction of low energy buildings. Fabric thermal storage systems provide a promising approach for reducing building energy use and cost, and consequently, the emission of environmental pollutants. Hollow core ventilated slab systems are a form of fabric thermal storage system that, through the coupling of the ventilation air with the mass of the slab, are effective in utilizing the building fabric as a thermal store. However, the benefit of such systems can only be realized through the effective control of the thermal storage. This thesis investigates an optimum control strategy for the hollow core ventilated slab systems, that reduces the energy cost of the system without prejudicing the building occupants thermal comfort. The controller uses the predicted ambient temperature and solar radiation, together with a model of the building, to predict the energy costs of the system and the thermal comfort conditions in the occupied space. The optimum control strategy is identified by exercising the model with a numerical optimization method, such that the energy costs are minimized without violating the building occupant's thermal comfort. The thesis describes the use of an Auto Regressive Moving Average model to predict the ambient conditions for the next 24 hours. A building dynamic lumped parameter thermal network model, is also described, together with its validation. The implementation of a Genetic Algorithm search method for optimizing the control strategy is described, and its performance in finding an optimum solution analysed. The characteristics of the optimum schedule of control setpoints are investigated for each season, from which a simplified time-stage control strategy is derived. The effects of weather prediction errors on the optimum control strategy are investigated and the performance of the optimum controller is analysed and compared to a conventional rule-based control strategy. The on-line implementation of the optimal predictive controller would require the accurate estimation of parameters for modelling the building, which could form part of future work.

This thesis consists of four independent papers concerningthe control of mobile robots in the context of obstacleavoidance and formation keeping. The first paper describes a new theoreticallyv erifiableapproach to obstacle avoidance. It merges the ideas of twoprevious methods, with complementaryprop erties, byusing acombined control Lyapunov function (CLF) and model predictivecontrol (MPC) framework. The second paper investigates the problem of moving a fixedformation of vehicles through a partiallykno wn environmentwith obstacles. Using an input to state (ISS) formulation theconcept of configuration space obstacles is generalized toleader follower formations. This generalization then makes itpossible to convert the problem into a standard single vehicleobstacle avoidance problem, such as the one considered in thefirst paper. The properties of goal convergence and safetyth uscarries over to the formation obstacle avoidance case. In the third paper, coordination along trajectories of anonhomogenuos set of vehicles is considered. Byusing a controlLyapunov function approach, properties such as boundedformation error and finite completion time is shown. Finally, the fourth paper applies a generalized version ofthe control in the third paper to translate,rotate and expanda formation. It is furthermore shown how a partial decouplingof formation keeping and formation mission can be achieved. Theapproach is then applied to a scenario of underwater vehiclesclimbing gradients in search for specific thermal/biologicalregions of interest. The sensor data fusion problem fordifferent formation configurations is investigated and anoptimal formation geometryis proposed. Keywords:Mobile Robots, Robot Control, ObstacleAvoidance, Multirobot System, Formation Control, NavigationFunction, Lyapunov Function, Model Predictive Control, RecedingHorizon Control, Gradient Climbing, Gradient Estimation. / QC 20111121

Speed-accuracy tradeoffs, velocity profiles, and physiological tremor are fundamental characteristics of human movement. The principles underlying these phenomena have long attracted major interest and controversy. Each is well established experimentally but as yet they have no common theoretical basis. It is proposed that these three phenomena occur as the direct consequence of a movement response planning system that acts as an intermittent optimal controller operating at discrete intervals of ~100 ms. The BUMP model of response planning describes such a system. It forms the kernel of adaptive model theory which defines, in computational terms, a basic unit of motor production or BUMP. Each BUMP consists of three processes: (i) analysing sensory information, (ii) planning a desired optimal response, and (iii) executing that response. These processes operate in parallel across successive sequential BUMPs. The response planning process requires a discrete time interval in which to generate a minimum acceleration trajectory of variable duration, or horizon, to connect the actual response with the predicted future state of the target and compensate for executional error. BUMP model simulation studies show that intermittent adaptive optimal control employing two extremes of variable horizon predictive control reproduces almost exactly findings from several authoritative human experiments. On the one extreme, simulating spatially-constrained movements, a receding horizon strategy results in a logarithmic speed-accuracy tradeoff and accompanying asymmetrical velocity profiles. On the other extreme, simulating temporally-constrained movements, a fixed horizon strategy results in a linear speed-accuracy tradeoff and accompanying symmetrical velocity profiles. Furthermore, simulating ramp movements, a receding horizon strategy closely reproduces experimental observations of 10 Hz physiological tremor. A 100 ms planning interval yields waveforms and power spectra equivalent to those of joint-angle, angular velocity and electromyogram signals recorded for several speeds, directions, and skill levels of finger movement. While other models of response planning account for one or other set of experimentally observed features of speed-accuracy tradeoffs, velocity profiles, and physiological tremor, none accounts for all three. The BUMP model succeeds in explaining these disparate movement phenomena within a single framework, strengthening this approach as the foundation for a unified theory of motor control and planning.