<p>Model Predictive Control (MPC) is traditionally designed assuming no model mismatch and tuned to provide acceptable behavior when mismatch occurs. This thesis extends the MPC design to account for explicit mismatch in the control and optimization of a wide range of uncertain dynamic systems with feedback, such as in process control and supply chain optimization.</p> <p>The major contribution of the thesis is the development of a new MPC method for robust performance, which offers a general framework to optimize the uncertain system behavior in the closed-loop subject to hard bounds on manipulated variables and soft bounds on controlled variables. This framework includes the explicit handling of correlated, time-varying or time-invariant, parametric uncertainty appearing externally (in demands and disturbances) and internally (in plant/model mismatch) to the control system. In addition, the uncertainty in state estimation is accounted for in the controller.</p> <p> For efficient and reliable real-time solution, the bilevel stochastic optimization formulation of the robust MPC method is approximated by a limited number of (convex) Second Order Cone Programming (SOCP) problems with an industry-proven heuristic and the classical chance-constrained programming technique. A closed-loop uncertainty characterization method is also developed which improves real-time tractability by performing intensive calculations off-line.</p> <p>The new robust MPC method is extended for process control problems by integrating a robust steady-state optimization method addressing closed-loop uncertainty. In addition, the objective function for trajectory optimization can be formulated as nominal or expected dynamic performance. Finally, the method is formulated in deviation variables to correctly estimate time-invariant uncertainty.</p> <p>The new robust MPC method is also tailored for supply chain optimization, which is demonstrated through a typical industrial supply chain optimization problem. The robust MPC optimizes scenario-specific safety stock levels while satisfying customer demands for time-varying systems with uncertainty in demand, manufacturing and transportation. Complexity analysis and computational study results demonstrate that the robust MPC solution times increase with system scale moderately, and the method does not suffer from the curse of dimensionality.</p> / Thesis / Doctor of Philosophy (PhD)

<p> This thesis studies critical zones of automated vehicles. The goal is for the automated vehicle to complete a car-following or lane change maneuver without collision. For instance, the automated vehicle should be able to indicate its interest in changing lanes and plan how the maneuver will occur by using model predictive control theory, in addition to the autonomous vehicle toolbox in Matlab. A test bench (that includes a scenario creator, motion logic and planner, sensors, and radars) is created and used to calculate the parameters of a critical zone. After a trajectory has been planned, the automated vehicle then attempts the car following or lane change while constantly ensuring its safety to continue on this path. If at any point, the lead vehicle brakes or a trailing vehicle accelerates, the automated vehicle makes the decision to either brake, accelerate, or abandon the lane change. </p>

This dissertation deals with some computational and analytic challenges for dynamic process operations using first-principles models. For processes with significant spatial variations, spatially distributed first-principles models can provide accurate physical descriptions, which are crucial for offline dynamic simulation and optimization. However, the large amount of time required to solve these detailed models limits their use for online applications such as nonlinear model predictive control (NMPC). To cope with the computational challenge, we develop computationally efficient and accurate dynamic reduced order models which are tractable for NMPC using temporal and spatial model reduction techniques. Then we introduce an input and state blocking strategy for NMPC to further enhance computational efficiency. To improve the overall economic performance of process systems, one promising solution is to use economic NMPC which directly optimizes the economic performance based on first-principles dynamic models. However, complex process models bring challenges for the analysis and design of stable economic NMPC controllers. To solve this issue, we develop a simple and less conservative regularization strategy with focuses on a reduced set of states to design stable economic NMPC controllers. In this thesis, we study the operation problems of a solid sorbent-based CO2 capture system with bubbling fluidized bed (BFB) reactors as key components, which are described by a large-scale nonlinear system of partial-differential algebraic equations. By integrating dynamic reduced models and blocking strategy, the computational cost of NMPC can be reduced by an order of magnitude, with almost no compromise in control performance. In addition, a sensitivity based fast NMPC algorithm is utilized to enable the online control of the BFB reactor. For economic NMPC study, compared with full space regularization, the reduced regularization strategy is simpler to implement and lead to less conservative regularization weights. We analyze the stability properties of the reduced regularization strategy and demonstrate its performance in the economic NMPC case study for the CO2 capture system.

The thesis has been conducted at Bosch Thermoteknik AB and its aim is to develop a Model Predictive Control (MPC) controller for a ground source heat pump which minimizes the power consumption while being able to keep the inside air temperature and Domestic Hot Water (DHW) temperature within certain comfortintervals. First a model of the system is derived, since the system consists of both continuous and binary states a hybrid model is used. The MPC controller utilizes the model to predict the future states of the system, and by formulating an optimizationproblem an optimal control is achieved. The MPC controller is evaluated and compared to a conventional controller using simulations. After some tuning the MPC controller is capable of maintaining the inside air and DHW temperature at their reference levels without oscillating too much. The MPC controller’s general performance is quite similar to the conventional controller, but with a power consumption which is 1-3 % lower. A simulation using an inside air temperature reference which is lowered during the night is also conducted, it achieved a power consumption which was 7.5 % lower compared to a conventional controller.

Increased safety and productivity are driving factors for the trend in the mining industry where equipment and machines increasingly get automated. An example is the load-haul-dump vehicle, which is a machine that is used for transport of ore in underground mines. The cyclic load-haul-dump process is well suited for automation and automated loaders are commercially available today. Recent advances in autonomous driving have raised questions if there are efficiency gains that can be made by improving the path following algorithms that are used in the control. The aim of this thesis is to investigate the usage of model predictive control for path following for center-articulated mining vehicles. Two path following nonlinear model predictive controllers are designed and implemented. One controller is based on an error dynamics model, formulated as a regulation problem and implemented with the open source NMPC-library GRAMPC. The second controller is based on a kinematic model, formulated as a reference tracking NMPC problem and implemented using the embedded-MPC software tool FORCESPRO. The controllers are simulated on the same hardware that is used in real load-haul-dump vehicles, in a simulation environment provided by Epiroc Rock Drills AB. The results from the simulations show that both controllers can successfully follow a path, with a similar level of path error and less aggressive control actions compared to the current path following controller. The implemented controllers perform the control computations within a range of milliseconds on the embedded hardware, which is fast enough for real-time operation of the load-haul-dump vehicle.

The objective of this thesis is to understand the interactions between the computational mechanisms, described by algorithms and software, and the physical world, described by differential equations, in the context of networked systems. Such systems can be denoted as cyber-physical nodes connected over a network. In this work, the power grid is used as a guiding example and a rich source of problems which can be generalized to networked cyber-physical systems. We address specific problems that arise in cyber-physical networks due to the presence of a computational network and a physical network as well as provide directions for future research.

Designing high performance control of rotorcraft unmanned aerial vehicle (UAV) requires a mathematical model that describes the dynamics of the vehicle. The model is derived from first principle modelling, such as rigid-body dynamics, actuator dynamics and etc. It is found that simplified decoupled model of RUAV has slightly better data fitting compared with the complex model for helicopter attitude dynamics in hover or near hover flight condition. In addition, the simplified modelling approach has made the analysis of system dynamics easy. System identification method is applied to identify the unknown intrinsic parameters in the nominal model, where manual piloted flight experiment is carried out and input-output data about a nominal operating region is recorded for parameters identification process. Integral-based parameter identification algorithm is then used to identify model parameters that give the best matching between the simulation and measured output response. The results obtained show that the dominant dynamics is captured. The advantages of using integral-based method include the fast computation time, insensitive to initial parameter value and fast convergence rate in comparison with other contemporary system identification methods such as prediction error method (PEM), maximum likelihood method, equation error method and output error method. Besides, the integral-based parameter identification method can be readily extended to tackle slow time-varying model parameters and fast varying disturbances. The model prediction is found to be improved significantly when the iterative integral-based parameter identification is employed and thus further validates the minimal modelling approach. From the literature review, many control schemes have been designed and validated in simulation. However, few of them has really been implemented in real flight as well as under windy and severe conditions, where unpredictable large system parameters variations and unexpected disturbances are present. Therefore, the emphasis on this part will be on the control design that would have satisfactory reference sequence tracking or regulation capability in the presence of unmodelled dynamics and external disturbances. Generalised Predictive Controller (GPC) is particularly considered as the helicopter attitude dynamics control due to its insensitivity with respect to model mismatch and its capability to address the control problem of nominal model with deadtime. The robustness analysis shows that the robustness of the basic GPC is significantly improved using the Smith Predictor (SP) in place of optimal predictor in basic GPC. The effectiveness of the proposed robust GPC was well proven with the control of helicopter heading on the test rig in terms of the reference sequence tracking performance and the input disturbance rejection capability. The second motivation is the investigation of adaptive GPC from the perspective of performance improvements for the robust GPC. The promising experimental results prove the feasibility of the adaptive GPC controller, and especially evident when the underlying robust GPC is tuned with low robustness and legitimates the use of simplified model. Another approach of robust model predictive control is considered where disturbance is identified in real‐time using an iterative integral‐based method.

The work in this thesis focuses on the development of a Stochastic Model Predictive Control (SMPC) algorithm for linear systems with additive and multiplicative stochastic uncertainty subjected to linear input/state constraints. Constraints can be in the form of hard constraints, which must be satisfied at all times, or soft constraints, which can be violated up to a pre-defined limit on the frequency of violation or the expected number of violations in a given period. When constraints are included in the SMPC algorithm, the difficulty arising from stochastic model parameters manifests itself in the online optimization in two ways. Namely, the difficulty lies in predicting the probability distribution of future states and imposing constraints on closed loop responses through constraints on predictions. This problem is overcome through the introduction of layered tubes around a centre trajectory. These tubes are optimized online in order to produce a systematic and less conservative approach of handling constraints. The layered tubes centered around a nominal trajectory achieve soft constraint satisfaction through the imposition of constraints on the probabilities of one-step-ahead transition of the predicted state between the layered tubes and constraints on the probability of one-step-ahead constraint violations. An application in the field of Sustainable Development policy is used as an example. With some adaptation, the algorithm is extended the case where the uncertainty is not identically and independently distributed. Also, by including linearization errors, it is extended to non-linear systems with additive uncertainty.

A novel continuous low-thrust fuel-efficient model predictive control strategy for multi-satellite formations flying in low earth orbit is presented. State prediction relies on a full nonlinear relative motion model, based on quasi-nonsingular relative orbital elements, including earth oblateness effects and, through state augmentation, differential drag. The optimal control problem is specically designed to incorporate latest theoretical results concerning maneuver optimality in the state-space, yielding to a sensible total delta-V reduction, while assuring feasibility and stability though imposition of a Lyapunov constraint. The controller is particularly suitable for networked architectures since it exploits the predictive strategy and the dynamics knowledge to provide robustness against feedback losses and delays. The Networked MPC is validated through real missions simulation scenarios using a high-fidelity orbital propagator which accounts for high-order geopotential, solar radiation pressure, atmospheric drag and third-body effects.

Robots have been a revolutionizing force in manufacturing in the 20th and 21st century but have proven too dangerous around humans to be used in many other fields including medicine. We describe a new control algorithm for robots developed by the Brigham Young University Robotics and Dynamics and Robotics Laboratory that has shown potential to make robots less dangerous to humans and suitable to work in more applications. We analyze the computational complexity of this algorithm and find that it could be a feasible control for even the most complicated robots. We also show conditions for a system which guarantee local stability for this control algorithm.