Manufacturing systems considered as time domain control systems : receding horizon control and observers

This thesis considers manufacturing systems and model-based controller design, as well as their combinations. The objective of a manufacturing system is to create products from a selected group of raw materials and semifinished goods. In the field of manufacturing systems control is an important issue appearing at various operation levels. At the level of fabrication, for example, control is necessary in order to assure properly working production processes such that products are being fabricated in the desired way. At a higher level in the hierarchy of manufacturing system control, the product streams through the system are controlled in order to satisfy, for example, customer demands in an optimal way. Here, the definition of optimal can be interpreted in various ways, such as "with the least possible costs in terms of money" or "in the shortest possible time". In this research, the attention is focussed on this higher hierarchy level of manufacturing system control. In the literature, many heuristic methods have been developed for the control of a manufacturing system. Nowadays, some heuristicmethods are still being used in combination with operator experience for management of resources and planning of production. However, as the complexity of the manufacturing systems increases rapidly, the (simple) heuristic methods and operator experience will at some point become incapable of finding an optimal control strategy. In this dissertation the potential of consideringmanufacturing system control from a control systems point of view is investigated. The ultimate goal of the research is to eventually obtain a more constructive way to address controller design for manufacturing systems. One control strategy from control systems theory, on which is in particularly focused in this research, is a model-based receding horizon control strategy, known in literature as Model Predictive Control (MPC). Since in manufacturing systems a lot of physical system constraints are involved, like for example finite machine process capacities, finite product storage capacities, finite product arrival rates, etc., the capability for a manufacturing control strategy to handle those constraints is a necessity. One of the key features of model predictive control is the capability of handling constraints in the controller design. This is one of the major motivations to investigate the model predictive control principle as a control strategy for manufacturing systems. Other issues that are important and that the model predictive control design methodology can handle is to enforce optimality, to introduce feedback, and the capability of allowing for mixed continuous and discrete model structures. The later are typically encountered when models of manufacturing systems are derived. The main results that are obtained in this dissertation and that are relevant in the context of manufacturing systems control, but are certainly also relevant beyond this field are: • One has developed an robust computationally friendly nonlinear model predictive control algorithm that can handle model structures with mixed continuous and discrete dynamics. The algorithm can be designed for additive disturbance rejection purposes; • Robustness (with respect to measurement noise) results that are in particulary of interest in the field of nonlinear model predictive control are obtained; • An asymptotically stabilizing output based nonlinear model predictive control scheme for a class of nonlinear discrete-time systems is developed. Results that are relevant in the context of manufacturing systems control are: • It is illustrated howthe aforementioned developed robust computationally friendly nonlinear model predictive control algorithm can be employed to solve a large scale manufacturing control problem in an efficient decentralized manner; • The relation between the so-called event domain modeling approaches for a class of discrete-eventmanufacturing systems to time domainmodels is derived. This results enables one to solve seemingly untractable time domain formulated optimal control problems for a class of manufacturing systems in a tractable manner; • An observer theory for a class of discrete-event manufacturing systems is developed

Towards parallelizable sampling-based Nonlinear Model Predictive Control

This paper proposes a new sampling-based nonlinear model predictive control (MPC) algorithm, with a bound on complexity quadratic in the prediction horizon N and linear in the number of samples. The idea of the proposed algorithm is to use the sequence of predicted inputs from the previous time step as a warm start, and to iteratively update this sequence by changing its elements one by one, starting from the last predicted input and ending with the first predicted input. This strategy, which resembles the dynamic programming principle, allows for parallelization up to a certain level and yields a suboptimal nonlinear MPC algorithm with guaranteed recursive feasibility, stability and improved cost function at every iteration, which is suitable for real-time implementation. The complexity of the algorithm per each time step in the prediction horizon depends only on the horizon, the number of samples and parallel threads, and it is independent of the measured system state. Comparisons with the fmincon nonlinear optimization solver on benchmark examples indicate that as the simulation time progresses, the proposed algorithm converges rapidly to the "optimal" solution, even when using a small number of samples.Comment: 9 pages, 9 pictures, submitted to IFAC World Congress 201

Model predictive control techniques for hybrid systems

This paper describes the main issues encountered when applying model predictive control to hybrid processes. Hybrid model predictive control (HMPC) is a research field non-fully developed with many open challenges. The paper describes some of the techniques proposed by the research community to overcome the main problems encountered. Issues related to the stability and the solution of the optimization problem are also discussed. The paper ends by describing the results of a benchmark exercise in which several HMPC schemes were applied to a solar air conditioning plant.Ministerio de Eduación y Ciencia DPI2007-66718-C04-01Ministerio de Eduación y Ciencia DPI2008-0581

On the computation of invariant sets for constrained nonlinear systems: An interval arithmetic approach

This paper deals with the computation of control invariant sets for constrained nonlinear systems. The proposed approach is based on the computation of an inner approximation of the one step set, that is, the set of states that can be steered to a given target set by an admissible control action. Based on this procedure, control invariant sets can be computed by recursion. We present a method for the computation of the one-step set using interval arithmetic. The proposed specialized branch and bound algorithm provides an inner approximation with a given bound of the error; this makes it possible to achieve a trade off between accuracy of the computed set and computational burden. Furthermore an algorithm to approximate the one step set by an inner bounded polyhedron is also presented; this allows us to relax the complexity of the obtained set, and to make easier the recursion and storage of the sets.Ministerio de Ciencia y Tecnología DPI2004-07444-c04-01Ministerio de Ciencia y Tecnología DPI2003-04375-c03-01Ministerio de Ciencia y Tecnología DPI2003-07146-c02-0