Locally optimal controllers and globally inverse optimal controllers

In this paper we consider the problem of global asymptotic stabilization with prescribed local behavior. We show that this problem can be formulated in terms of control Lyapunov functions. Moreover, we show that if the local control law has been synthesized employing a LQ approach, then the associated Lyapunov function can be seen as the value function of an optimal problem with some specific local properties. We illustrate these results on two specific classes of systems: backstepping and feedforward systems. Finally, we show how this framework can be employed when considering the orbital transfer problem

System analysis, modelling and control with polytopic linear models

This research investigates the suitability of Polytopic Linear Models (PLMs) for the analysis, modelling and control of a class of nonlinear dynamical systems. The PLM structure is introduced as an approximate and alternative description of nonlinear dynamical systems for the benefit of system analysis and controller design. The model structure possesses three properties that we would like to exploit. Firstly, a PLM is build upon a number of linear models, each one of which describes the system locally within a so-called operating regime. If these models are combined in an appropriate way, that is by taking operating point dependent convex combinations of parameter values that belong to the different linear models, then a PLM will result. Consequently, the parameter values of a PLM vary within a polytope, and the vertices of this polytope are the parameter values that belong to the different linear models. A PLM owes its name to this feature. Accordingly, a PLM can be interpreted on the basis of a regime decomposition. Secondly, since a PLM is based on several linear models, it is possible to describe the nonlinear system more globally compared to only a single linear model. Thirdly, it is demonstrated that, under the appropriate conditions, nonlinear systems can be approximated arbitrary close by a PLM, parametrized with a finite number of parameters. There will be given an upper bound for the number of required parameters, that is sufficient to achieve the prescribed desired accuracy of the approximation. An important motivation for considering PLMs rests on its structural similarities with linear models. Linear systems are well understood, and the accompanying system and control theory is well developed. Whether or not the control related system properties such as stability, controllability etcetera, are fulfilled, can be demonstrated by means of (often relatively simple) mathematical manipulations on the linear system’s parameterization. Controller design can often be automated and founded on the parameterization and the control objective. Think of control laws based on stability, optimality and so on. For nonlinear systems this is only partly the case, and therefore further development of system and control theory is of major importance. In view of the similarities between a linear model and a PLM, the expectation exists that one can benefit from (results and concepts of) the well developed linear system and control theory. This hypothesis is partly confirmed by the results of this study. Under the appropriate conditions, and through a simple analysis of the parametrization of a PLM, it is possible to establish from a control perspective relevant system properties. One of these properties is stability. Under the appropriate conditions stability of the PLM implies stability of the system. Moreover, a few easy to check conditions are derived concerning the notion of controllability and observability. It has to be noticed however, that these conditions apply to a class of PLMs of which the structure is further restricted. The determination of system properties from a PLM is done with the intention to derive a suitable model, and in particular to design a model based controller. This study describes several constructive methods that aim at building a PLM representation of the real system. On the basis of a PLM several control laws are formulated. The main objective of these control laws is to stabilize the system in a desired operating point. A few computerized stabilizing control designs, that additionally aim at optimality or robustness, are the outcome of this research. The entire route of representing a system with an approximate PLM, subsequently analyzing the PLM, and finally controlling the system by a PLM based control design is illustrated by means of several examples. These examples include experimental as well as simulation studies, and nonlinear dynamic (mechanical) systems are the subject of research

On the Construction of Safe Controllable Regions for Affine Systems with Applications to Robotics

This paper studies the problem of constructing in-block controllable (IBC) regions for affine systems. That is, we are concerned with constructing regions in the state space of affine systems such that all the states in the interior of the region are mutually accessible through the region's interior by applying uniformly bounded inputs. We first show that existing results for checking in-block controllability on given polytopic regions cannot be easily extended to address the question of constructing IBC regions. We then explore the geometry of the problem to provide a computationally efficient algorithm for constructing IBC regions. We also prove the soundness of the algorithm. We then use the proposed algorithm to construct safe speed profiles for different robotic systems, including fully-actuated robots, ground robots modeled as unicycles with acceleration limits, and unmanned aerial vehicles (UAVs). Finally, we present several experimental results on UAVs to verify the effectiveness of the proposed algorithm. For instance, we use the proposed algorithm for real-time collision avoidance for UAVs.Comment: 17 pages, 18 figures, under review for publication in Automatic

A receding horizon generalization of pointwise min-norm controllers

Control Lyapunov functions (CLFs) are used in conjunction with receding horizon control to develop a new class of receding horizon control schemes. In the process, strong connections between the seemingly disparate approaches are revealed, leading to a unified picture that ties together the notions of pointwise min-norm, receding horizon, and optimal control. This framework is used to develop a CLF based receding horizon scheme, of which a special case provides an appropriate extension of Sontag's formula. The scheme is first presented as an idealized continuous-time receding horizon control law. The issue of implementation under discrete-time sampling is then discussed as a modification. These schemes are shown to possess a number of desirable theoretical and implementation properties. An example is provided, demonstrating their application to a nonlinear control problem. Finally, stronger connections to both optimal and pointwise min-norm control are proved

Composite control Lyapunov functions for robust stabilization of constrained uncertain dynamical systems

This work presents innovative scientific results on the robust stabilization of constrained uncertain dynamical systems via Lyapunov-based state feedback control. Given two control Lyapunov functions, a novel class of smooth composite control Lyapunov functions is presented. This class, which is based on the R-functions theory, is universal for the stabilizability of linear differential inclusions and has the following property. Once a desired controlled invariant set is fixed, the shape of the inner level sets can be made arbitrary close to any given ones, in a smooth and non-homothetic way. This procedure is an example of ``merging'' two control Lyapunov functions. In general, a merging function consists in a control Lyapunov function whose gradient is a continuous combination of the gradients of the two parents control Lyapunov functions. The problem of merging two control Lyapunov functions, for instance a global control Lyapunov function with a large controlled domain of attraction and a local one with a guaranteed local performance, is considered important for several control applications. The main reason is that when simultaneously concerning constraints, robustness and optimality, a single Lyapunov function is usually suitable for just one of these goals, but ineffective for the others. For nonlinear control-affine systems, both equations and inclusions, some equivalence properties are shown between the control-sharing property, namely the existence of a single control law which makes simultaneously negative the Lyapunov derivatives of the two given control Lyapunov functions, and the existence of merging control Lyapunov functions. Even for linear systems, the control-sharing property does not always hold, with the remarkable exception of planar systems. For the class of linear differential inclusions, linear programs and linear matrix inequalities conditions are given for the the control-sharing property to hold. The proposed Lyapunov-based control laws are illustrated and simulated on benchmark case studies, with positive numerical results

A Hamilton-Jacobi setup for the static output feedback stabilization of nonlinear systems

Published versio