Nondeterministic hybrid dynamical systems

This thesis is concerned with the analysis, control and identification of hybrid dynamical systems. The main focus is on a particular class of hybrid systems consisting of linear subsystems. The discrete dynamic, i.e., the change between subsystems, is unknown or nondeterministic and cannot be influenced, i.e. controlled, directly. However changes in the discrete dynamic can be detected immediately, such that the current dynamic (subsystem) is known. In order to motivate the study of hybrid systems and show the merits of hybrid control theory, an example is given. It is shown that real world systems like Anti Locking Brakes (ABS) are naturally modelled by such a class of linear hybrids systems. It is shown that purely continuous feedback is not suitable since it cannot achieve maximum braking performance. A hybrid control strategy, which overcomes this problem, is presented. For this class of linear hybrid system with unknown discrete dynamic, a framework for robust control is established. The analysis methodology developed gives a robustness radius such that the stability under parameter variations can be analysed. The controller synthesis procedure is illustrated in a practical example where the control for an active suspension of a car is designed. Optimal control for this class of hybrid system is introduced. It is shows how a control law is obtained which minimises a quadratic performance index. The synthesis procedure is stated in terms of a convex optimisation problem using linear matrix inequalities (LMI). The solution of the LMI not only returns the controller but also the performance bound. Since the proposed controller structures require knowledge of the continuous state, an observer design is proposed. It is shown that the estimation error converges quadratically while minimising the covariance of the estimation error. This is similar to the Kalman filter for discrete or continuous time systems. Further, we show that the synthesis of the observer can be cast into an LMI, which conveniently solves the synthesis problem

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

Stability analysis and controller synthesis for a class of piecewise smooth systems

This thesis deals with the analysis and synthesis of piecewise smooth (PWS) systems. In general, PWS systems are nonsmooth systems, which means their vector fields are discontinuous functions of the state vector. Dynamic behavior of nonsmooth systems is richer than smooth systems. For example, there are phenomena such as sliding modes that occur only in nonsmooth systems. In this thesis, a Lyapunov stability theorem is proved to provide the theoretical framework for the stability analysis of PWS systems. Piecewise affine (PWA) and piecewise polynomial (PWP) systems are then introduced as important subclasses of PWS systems. The objective of this thesis is to propose efficient computational controller synthesis methods for PWA and PWP systems. Three synthesis methods are presented in this thesis. The first method extends linear controllers for uncertain nonlinear systems to PWA controllers. The result is a PWA controller that maintains the performance of the linear controller while extending its region of convergence. However, the synthesis problem for the first method is formulated as a set of bilinear matrix inequalities (BMIs), which are not easy to solve. Two controller synthesis methods are then presented to formulate PWA and PWP controller synthesis as convex problems, which are numerically tractable. Finally, to address practical implementation issues, a time-delay approach to stability analysis of sampled-data PWA systems is presented. The proposed method calculates the maximum sampling time for a sampled-data PWA system consisting of a continuous-time plant and a discrete-time emulation of a continuous-time PWA state feedback controller

Energy-aware MPC co-design for DC-DC converters

In this paper, we propose an integrated controller design methodology for the implementation of an energy-aware explicit model predictive control (MPC) algorithms, illustrat- ing the method on a DC-DC converter model. The power consumption of control algorithms is becoming increasingly important for low-power embedded systems, especially where complex digital control techniques, like MPC, are used. For DC-DC converters, digital control provides better regulation, but also higher energy consumption compared to standard analog methods. To overcome the limitation in energy efficiency, instead of addressing the problem by implementing sub-optimal MPC schemes, the closed-loop performance and the control algorithm power consumption are minimized in a joint cost function, allowing us to keep the controller power efficiency closer to an analog approach while maintaining closed-loop op- timality. A case study for an implementation in reconfigurable hardware shows how a designer can optimally trade closed-loop performance with hardware implementation performance