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.
We study the distributed Linear Quadratic Gaussian (LQG) control problem in discrete-time and finite-horizon, where the controller depends linearly on the history of the outputs and it is required to lie in a given subspace, e.g. to possess a certain sparsity pattern. It is well-known that this problem can be solved with convex programming within the Youla domain if and only if a condition known as Quadratic Invariance (QI) holds. In this paper, we first show that given QI sparsity constraints, one can directly descend the gradient of the cost function within the domain of output-feedback cont…
Combining a backstepping controller with a local stabilizer
Escola Politénica da Universidade de São Paulo（圣保罗大学政治工程学院）；Politecnico di Torino（都灵理工大学）；Université de Lyon（里昂大学）；Université Lyon 1（里昂第一大学）；CNRS, UMR 5007, LAGEP（法国国家科学研究中心，联合研究单位5007，实验室）；Gipsa-lab（吉普萨实验室）
We address the problem of designing optimal linear time-invariant (LTI) sparse controllers for LTI systems, which corresponds to minimizing a norm of the closed-loop system subject to sparsity constraints on the controller structure. This problem is NP-hard in general and motivates the development of tractable approximations. We characterize a class of convex restrictions based on a new notion of Sparsity Invariance (SI). The underlying idea of SI is to design sparsity patterns for transfer matrices Y(s) and X(s) such that any corresponding controller K(s)=Y(s)X(s)^-1 exhibits the desired spar…
This paper investigates the distributed optimal output consensus problem of second-order uncertain nonlinear multi-agent systems over weight-unbalanced directed networks. Under the standard assumption that local cost functions are strongly convex with globally Lipschitz gradients, a novel distributed dynamic state feedback controller is developed such that the outputs of all the agents reach the optimal solution to minimize the global cost function which is the sum of all the local cost functions. The controller design is based on a two-layer strategy, where a distributed optimal coordinator a…
We study the evolution of locally optimal decentralized controllers with the damping of the control system. Empirically it is shown that even for instances with an exponential number of connected components, damping merges all local solutions to the one global solution. We characterize the evolution of locally optimal solutions with the notion of hemi-continuity and further derive asymptotic properties of the objective function and of the locally optimal controllers as the damping becomes large. Especially, we prove that with enough damping, there is no spurious locally optimal controller with…
We consider the efficient minimization of a nonlinear, strictly convex functional with $\ell_1$-penalty term. Such minimization problems appear in a wide range of applications like Tikhonov regularization of (non)linear inverse problems with sparsity constraints. In (2015 Inverse Problems (31) 025005), a globalized Bouligand-semismooth Newton method was presented for $\ell_1$-Tikhonov regularization of linear inverse problems. Nevertheless, a technical assumption on the accumulation point of the sequence of iterates was necessary to prove global convergence. Here, we generalize this method to …
In this paper we consider the distributed linear quadratic control problem for networks of agents with single integrator dynamics. We first establish a general formulation of the distributed LQ problem and show that the optimal control gain depends on global information on the network. Thus, the optimal protocol can only be computed in a centralized fashion. In order to overcome this drawback, we propose the design of protocols that are computed in a decentralized way. We will write the global cost functional as a sum of local cost functionals, each associated with one of the agents. In order …
A spherical robot consists of an externally spherical rigid body rolling on a two-dimensional surface, actuated by an auxiliary mechanism. For a class of actuation mechanisms, we derive a controller for the geometric center of the sphere to asymptotically track any sufficiently smooth reference trajectory, with robustness to bounded, constant uncertainties in the inertial properties of the sphere and actuation mechanism, and to constant disturbance forces including, for example, from constant inclination of the rolling surface. The sphere and actuator are modeled as distinct systems, coupled b…
In this paper, we present a global state feedback tracking controller for underactuated surface marine vessels. This controller is based on saturated control inputs and, under an assumption on the reference trajectory, the closed-loop system is globally asymptotically stable (GAS). It has been designed using a 3 Degree of Freedom benchmark vessel model used in marine engineering. The main feature of our controller is the boundedness of the control inputs, which is an essential consideration in real life. In absence of velocity measurements, the controller works and remains stable with observer…
Since the classical proportional-integral-derivative (PID) controller is the most widely and successfully used ones in industrial processes, it is of vital importance to investigate theoretically the rationale of this ubiquitous controller in dealing with nonlinearity and uncertainty. Recently, we have investigated the capability of the classical PID control for second order nonlinear uncertain systems and provided some analytic design methods for the choices of PID parameters, where the system is assumed to be in the canonical form of cascade integrators. In this paper, we will consider the n…
Given a nonstationary trajectory of the Navier-Stokes system, a finite-dimensional feedback boundary controller stabilizing locally the system to the given trajectory is derived. Moreover the controller is supported in a given open subset of the boundary of the domain containing the fluid. In a first step a controller is derived that stabilizes the linear Oseen-Stokes system "around the given trajectory" to zero; for that a corollary of a suitable truncated boundary observability inequality, the regularizing property for the system, and some standard techniques of the optimal control theory ar…
This paper is about the nonlinear local error feedback regulator problem. The plant is a nonlinear finite-dimensional system with a single control input and a single output and it is locally exponentially stable around the origin. The plant is driven, via a separate disturbance input, by a Lyapunov stable exosystem whose states are nonwandering. The reference signal that the plant output must track is a nonlinear function of the exosystem state. The local error feedback regulator problem is to design a dynamic feedback controller, with the tracking error as its input, such that (i) the closed-…
Robust global stabilization of nonlinear systems by observer-based feedback controllers is a challenging task. This article investigates the problem of designing observer-based stabilizing controllers for incrementally quadratic nonlinear systems with external disturbances. The nonlinearities considered in the system model satisfy the incremental quadratic constraints, which are characterized by incremental multiplier matrices and encompass many common nonlinearities. The simultaneous search for the observer and the controller gain matrices is formulated as a feasibility problem of linear matr…
In this paper we present a method for designing a linear time invariant (LTI) state-feedback controller to monotonically track a constant step reference at any desired rate of convergence for any arbitrarily assigned initial condition. Necessary and sufficient constructive conditions are given to deliver a monotonic step response from all initial conditions. This method is developed for multi-input multi-output (MIMO) systems, and can be applied to square and non-square systems, strictly proper and bi-proper systems, and, importantly, also minimum and non-minimum phase systems. The control met…
In this paper, we have studied the control problem of target-point based path following for car-type vehicles. This special path following task arises from the needs of vision based guidance systems, where a given target-point located ahead of the vehicle, in the visual range of the camera, must follow a specified path. A solution to this problem is developed through a non linear transformation of the path following problem into a reference trajectory tracking problem, by modeling the target point as a virtual vehicle. Bounded feedback laws must be then used on the real vehicle's angular accel…
We propose a provably stabilizing and tractable approach for control of constrained linear systems under intermittent observations and unreliable transmissions of control commands. A smart sensor equipped with a Kalman filter is employed for the estimation of the states from incomplete and corrupt measurements, and an estimator at the controller side optimally feeds the intermittently received sensor data to the controller. The remote controller iteratively solves constrained stochastic optimal control problems and transmits the control commands according to a carefully designed transmission p…
The conceptually new approach based on the logarithmic norm to design of robust adaptive state-feedback controller for linear time-varying (LTV) systems under system's modeling uncertainty and nonlinear external disturbance is proposed. This controller, consisting of two independent parts - adaptive and robust ones - globally asymptotically stabilizes every LTV system regardless how large the disturbance is.
Inspired by online learning, data-dependent regret has recently been proposed as a criterion for controller design. In the regret-optimal control paradigm, causal controllers are designed to minimize regret against a hypothetical optimal noncausal controller, which selects the globally cost-minimizing sequence of control actions given noncausal access to the disturbance sequence. We extend regret-optimal control to the more challenging measurement-feedback setting, where the online controller must compete against the optimal noncausal controller without directly observing the state or the driv…
The problems of nonlinearity and high dimension have so far prevented a complete solution of the control of turbulent flow. Addressing the problem of nonlinearity, we propose a flow control strategy which ensures that the energy of any perturbation to the target profile decays monotonically. The controller's estimate of the flow state is similarly guaranteed to converge to the true value. We present a one-time off-line synthesis procedure, which generalises to accommodate more restrictive actuation and sensing arrangements, with conditions for existence for the controller given in this case. T…
We study the \emph{Proximal Alternating Predictor-Corrector} (PAPC) algorithm introduced recently by Drori, Sabach and Teboulle to solve nonsmooth structured convex-concave saddle point problems consisting of the sum of a smooth convex function, a finite collection of nonsmooth convex functions and bilinear terms. We introduce the notion of pointwise quadratic supportability, which is a relaxation of a standard strong convexity assumption and allows us to show that the primal sequence is R-linearly convergent to an optimal solution and the primal-dual sequence is globally Q-linearly convergent…
