A hybrid approach to modelling,control and state estimation of mechanical systems with backlash

Control of mechanical systems with backlash is a topic well studied by many control practitioners. This interest has been motivated by the fact that backlash in mechanical systems can cause severe performance degradation and lead to instability of the control system. Furthermore, high impact-forces in backlash-systems can lead to a lower durability of the components and to strokes and peaks in the output. In this paper a mechanical benchmark system is presented to provide facilities for testing the identification and control of systems with backlash. For controller design a hybrid model of the system was derived and used in a model predictive control (MPC) scheme. Observer-based state-estimation was used to recover unmeasured states, particularly the backlash angle. Explicit solutions of a tracking controller were computed to control the mechanical benchmark system in real-time. Simulation as well as experimental results are presented to show the applicability of this hybrid control approach.     

Model Predictive Control oriented experiment design for system identification: A graph theoretical approach

We present a new approach to Model Predictive Control (MPC) oriented experiment design for the identification of systems operating in closed-loop. The method considers the design of an experiment by minimizing the experimental cost, subject to probabilistic bounds on the input and output signals due to physical limitations of actuators, and quality constraints on the identified model. The excitation is done by intentionally adding a disturbance to the loop. We then design the external excitation to achieve the minimum experimental effort while we are also taking care of the tracking performance of MPC. The stability of the closed-loop system is guaranteed by employing robust MPC during the experiment. The problem is then defined as an optimization problem. However, the aforementioned constraints result in a non-convex optimization which is relaxed by using results from graph theory. The proposed technique is evaluated through a numerical example showing that it is an attractive alternative for closed-loop experiment design.     

Hybrid Fuzzy Modelling for Model Predictive Control

Model predictive control (MPC) has become an important area of research and is also an approach that has been successfully used in many industrial applications. In order to implement a MPC algorithm, a model of the process we are dealing with is needed. Due to the complex hybrid and nonlinear nature of many industrial processes, obtaining a suitable model is often a difficult task. In this paper a hybrid fuzzy modelling approach with a compact formulation is introduced. The hybrid system hierarchy is explained and the Takagi–Sugeno fuzzy formulation for the hybrid fuzzy modelling purposes is presented. An efficient method for identifying the hybrid fuzzy model is also proposed. A MPC algorithm suitable for systems with discrete inputs is treated. The benefits of the MPC algorithm employing the hybrid fuzzy model are verified on a batch-reactor simulation example: a comparison between the proposed modern intelligent (fuzzy) approach and a classic (linear) approach was made. It was established that the MPC algorithm employing the proposed hybrid fuzzy model clearly outperforms the approach where a hybrid linear model is used, which justifies the usability of the hybrid fuzzy model. The hybrid fuzzy formulation introduces a powerful model that can faithfully represent hybrid and nonlinear dynamics of systems met in industrial practice, therefore, this approach demonstrates a significant advantage for MPC resulting in a better control performance.     

Output feedback model predictive control for LPV systems based on quasi-min–max algorithm

This paper proposes a robust output feedback model predictive control (MPC) scheme for linear parameter varying (LPV) systems based on a quasi-min–max algorithm. This approach involves an off-line design of a robust state observer for LPV systems using linear matrix inequality (LMI) and an on-line robust output feedback MPC algorithm using the estimated state. The proposed MPC method for LPV systems is applicable for a variety of systems with constraints and guarantees the robust stability of the output feedback systems. A numerical example for an LPV system subject to input constraints is given to demonstrate its effectiveness.     

Control of ball mill grinding circuit using model predictive control scheme

Ball mill grinding circuits are essentially multivariable systems with high interaction among process variables. Traditionally grinding circuits are controlled by detuned multi-loop PI controllers that minimize the effect of interaction among the control loops. Detuned controllers generally become sluggish and a close control of the circuit is not possible. Model Predictive Controllers (MPC) can handle such highly interacting multivariable systems efficiently due to its coordinated approach. Moreover, MPC schemes can handle input and output constraints more explicitly and operation of the circuits close to their optimum operating conditions is possible. Control studies on a laboratory ball mill grinding circuit are carried out by simulation with detuned multi-loop PI controllers, unconstrained and constrained model predictive controllers and their performances are compared.     

Integration of real-time optimization and model predictive control

This paper proposes a controller design approach that integrates RTO and MPC for the control of constrained uncertain nonlinear systems. Assuming that the economic function is a known function of constrained system’s states, parameterized by unknown parameters and time-varying, the controller design objective is to simultaneously identify and regulate the system to the optimal operating point. The approach relies on a novel set-based parameter estimation routine and a robust model predictive controller that takes into the effect of parameter estimation errors. A simulation example is used to demonstrate the effectiveness of the design technique.     

Model predictive control of a DC–DC converter for battery emulation

A battery emulator is used instead of a real traction battery to supply an electric motor inverter on a test bed for hybrid and electric powertrains under deterministic conditions. The use of virtual battery models eliminates the need for expensive battery prototypes. Virtual battery properties such as chemistry, state of charge or state of health can be changed instantly. However, the control of a battery emulator is a challenging problem. Very fast reference tracking is required for battery impedance emulation but motor inverters act as constant power loads that have a negative influence on the tracking performance and can even lead to instability. In this paper an MPC strategy is proposed for solving this problem. Scheduling of local controllers is utilized in order to handle the nonlinear and destabilizing load. Furthermore, a fast algorithm is presented that allows real-time MPC subject to input and output constraints. Experimental results obtained with a battery emulator supplying an electric drive inverter demonstrate the performance of the stabilizing controller.     

Online adaptive utilization control for real-time embedded multiprocessor systems

Many embedded systems have stringent real-time constraints. An effective technique for meeting real-time constraints is to keep the processor utilization on each node at or below the schedulable utilization bound, even though each task’s actual execution time may have large uncertainties and deviate a lot from its estimated value. Recently, researchers have proposed solutions based on Model Predictive Control (MPC) for the utilization control problem. Although these approaches can handle a limited range of execution time estimation errors, the system may suffer performance deterioration or even become unstable with large estimation errors. In this paper, we present two online adaptive optimal control techniques, one is based on Recursive Least Squares (RLS) based model identification plus Linear Quadratic (LQ) optimal controller; the other one is based on Adaptive Critic Design (ACD). Simulation experiments demonstrate both the LQ optimal controller and ACD-based controller have better performance than the MPC-based controller and the ACD-based controller has the smallest aggregate tracking errors.     

Uniting bounded control and MPC for stabilization of constrained linear systems

In this work, a hybrid control scheme, uniting bounded control with model predictive control (MPC), is proposed for the stabilization of linear time-invariant systems with input constraints. The scheme is predicated upon the idea of switching between a model predictive controller, that minimizes a given performance objective subject to constraints, and a bounded controller, for which the region of constrained closed-loop stability is explicitly characterized. Switching laws, implemented by a logic-based supervisor that constantly monitors the plant, are derived to orchestrate the transition between the two controllers in a way that safeguards against any possible instability or infeasibility under MPC, reconciles the stability and optimality properties of both controllers, and guarantees asymptotic closed-loop stability for all initial conditions within the stability region of the bounded controller. The hybrid control scheme is shown to provide, irrespective of the chosen MPC formulation, a safety net for the practical implementation of MPC, for open-loop unstable plants, by providing a priori knowledge, through off-line computations, of a large set of initial conditions for which closed-loop stability is guaranteed. The implementation of the proposed approach is illustrated, through numerical simulations, for an exponentially unstable linear system.     

On the finite time performance of model predictive control

This paper addresses the finite time performance of model predictive control (MPC) for linear-time-invariant (LTI) systems without constraints. The performance of MPC is compared with that of finite horizon optimal control to find out how well model predictive control can perform relative to the optimal performance with the same or different horizons. By exploring the properties of the Riccati difference equation (RDE), an upper and a lower bound of the ratio between the finite time performance of MPC and finite horizon optimal cost are obtained. It is possible to extend the obtained results to more complicated systems such as nonlinear dynamic systems with constraints with appropriate generalizations. Simulation example supports our results.     

Convergence in economic model predictive control with average constraints

In this paper, we thoroughly investigate various aspects of economic model predictive control with average constraints, i.e., constraints on average values of state and input variables. In particular, we first show that a certain time-varying output constraint has to be included into the MPC problem formulation in order to ensure fulfillment of these average constraints. Optimizing a general (possibly economic) performance criterion may result in a non-converging behavior of the corresponding closed-loop system. While such a behavior might be acceptable in some cases, it may be undesirable for other types of applications. Hence as a second contribution, we provide a Lyapunov-like analysis to conclude that indeed asymptotic convergence to the optimal steady-state follows if the system satisfies a certain dissipativity condition. Finally, for the case that this dissipativity property is not satisfied but still a convergent behavior of the closed-loop is required, we examine two different methods how convergence can be enforced within an economic MPC setup by imposing additional average constraints on the system. In the first method, an additional average constraint is defined which results in the system being dissipative, while the second consists of imposing an additional even zero-moment average constraint. We illustrate our results with various examples.     

Path-oriented bounded reachability analysis of composed linear hybrid systems

The existing techniques for reachability analysis of linear hybrid systems do not scale well to the problem size of practical interest. The performance of existing techniques is even worse for reachability analysis of a composition of several linear hybrid automata. In this paper, we present an efficient path-oriented approach to bounded reachability analysis of composed systems modeled by linear hybrid automata with synchronization events. It is suitable for analyzing systems with many components by selecting critical paths, while this task was quite insurmountable before because of the state explosion problem. This group of paths will be transformed to a group of linear constraints, which can be solved by a linear programming solver efficiently. This approach of symbolic execution of paths allows design engineers to check important paths, and accordingly increase the faith in the correctness of the system. This approach is implemented into a prototype tool Bounded reAchability CHecker (BACH). The experimental data show that both the path length and the number of participant automata in a system checked using BACH can scale up greatly to satisfy practical requirements.     

Model based approach to closed loop control of 1-D engine simulation models

1-D engine simulation models are widely used for the analysis and verification of air-path design concepts to assess performance and therefore determine suitable hardware. The transient response is a key driver in the selection process which in most cases requires closed loop control of the model to ensure operation within prescribed physical limits and tracking of reference signals. Since the controller effects the system performance a systematic procedure which achieves close-to-optimal performance is desired, if the full potential of a given hardware configuration is to be properly assessed. For this purpose a particular implementation of Model Predictive Control (MPC) based on a corresponding Mean Value Engine Model (MVEM) is reported here. The MVEM is linearised on-line at each operating point to allow for the formulation of quadratic programming (QP) problems, which are solved as the part of the proposed MPC algorithm. The MPC output is used to control a 1-D engine model. The closed loop performance of such a system is benchmarked against the solution of a related optimal control problem (OCP). The system is also tested for operation at high altitude conditions to demonstrate the ability of the controller to respect specified physical constraints. As an example this study is focused on the transient response of a light-duty automotive Diesel engine. For the cases examined the proposed controller design gives a more systematic procedure than other ad hoc approaches that require considerable tuning effort.     

一种基于H∞理论的鲁棒预测控制方法

融合H∞控制的鲁棒概念和预测控制的滚动优化原理,提出了一种全新的约束动态对 策预测控制方法.对有状态和控制约束的不确定线性系统,证明了闭环系统的鲁棒稳定性并给 出了鲁棒性条件.该方法同时具有H∞控制和预测控制的优点:鲁棒性和显式处理约束的能力.     

A data‐driven bilinear predictive controller design based on subspace method

In this paper, a new data‐driven model predictive control (MPC), based on bilinear subspace identification, is considered. The system's nonlinear behavior is described with a bilinear subspace predictor structure in an MPC framework. Thus, the MPC formulation results in a fixed structure objective function with constraints regardless of the underlying nonlinearity. For unconstrained systems, the identified subspace predictor matrices can be directly used as controller parameters. Therefore, we design optimization algorithms that exploit this feature. The open‐loop optimization problem of MPC that is nonlinear in nature is solved with series quadratic programming (SQP) without any approximations. The computational efficiency already demonstrated with the current formulation presents further opportunities to enable online control of nonlinear systems. These improvements and close integration of modeling and control also eliminate the intermediate design step, which provides a means for data‐driven controller design in generalized predictive controller (GPC) framework. Finally, the proposed control approach is illustrated with a verification study of a nonlinear continuously stirred tank reactor (CSTR) system. Copyright © 2011 John Wiley and Sons Asia Pte Ltd and Chinese Automatic Control Society     

Fuzzy cost-profit tradeoff model for locating a vehicle inspection station considering regional constraints

Facility location allocation （FLA） is one of the important issues in the logistics and transportation fields. In practice, since customer demands, allocations, and even locations of customers and facilities are usually changing, the FLA problem features uncertainty. To account for this uncertainty, some researchers have addressed the fuzzy profit and cost issues of FLA. However, a decision-maker needs to reach a specific profit, minimizing the cost to target customers. To handle this issue it is essential to propose an effective fuzzy cost-profit tradeoff approach of FLA. Moreover, some regional constraints can greatly influence FLA. By taking a vehicle inspection station as a typical automotive service enterprise example, and combined with the credibility measure of fuzzy set theory, this work presents new fuzzy cost-profit tradeoff FLA models with regional constraints. A hybrid algorithm integrating fuzzy simulation and genetic algorithms （GA） is proposed to solve the proposed models. Some numerical examples are given to illustrate the proposed models and the effectiveness of the proposed algorithm.     

Stochastic model predictive control for probabilistically constrained Markovian jump linear systems with additive disturbance

Model predictive control (MPC) for Markovian jump linear systems with probabilistic constraints has received much attention in recent years. However, in existing results, the disturbance is usually assumed with infinite support, which is not considered reasonable in real applications. Thus, by considering random additive disturbance with finite support, this paper is devoted to a systematic approach to stochastic MPC for Markovian jump linear systems with probabilistic constraints. The adopted MPC law is parameterized by a mode‐dependent feedback control law superimposed with a perturbation generated by a dynamic controller. Probabilistic constraints can be guaranteed by confining the augmented system state to a maximal admissible set. Then, the MPC algorithm is given in the form of linearly constrained quadratic programming problems by optimizing the infinite sum of derivation of the stage cost from its steady‐state value. The proposed algorithm is proved to be recursively feasible and to guarantee constraints satisfaction, and the closed‐loop long‐run average cost is not more than that of the unconstrained closed‐loop system with static feedback. Finally, when adopting the optimal feedback gains in the predictive control law, the resulting MPC algorithm has been proved to converge in the mean square sense to the optimal control. A numerical example is given to verify the efficiency of the proposed results.     

Robust hybrid predictive control of nonlinear systems

In this work, we consider nonlinear systems with input constraints and uncertain variables, and develop a robust hybrid predictive control structure that provides a safety net for the implementation of any model predictive control (MPC) formulation, designed with or without taking uncertainty into account. The key idea is to use a Lyapunov-based bounded robust controller, for which an explicit characterization of the region of robust closed-loop stability can be obtained, to provide a stability region within which any available MPC formulation can be implemented. This is achieved by devising a set of switching laws that orchestrate switching between MPC and the bounded robust controller in a way that exploits the performance of MPC whenever possible, while using the bounded controller as a fall-back controller that can be switched in at any time to maintain robust closed-loop stability in the event that the predictive controller fails to yield a control move (due, e.g., to computational difficulties in the optimization or infeasibility) or leads to instability (due, e.g., to inappropriate penalties and/or horizon length in the objective function). The implementation and efficacy of the robust hybrid predictive control structure are demonstrated through simulations using a chemical process example.