At the quantum level, feedback-loops have to take into account measurement back-action. We present here the structure of the Markovian models including such back-action and sketch two stabilization methods: measurement-based feedback where an open quantum system is stabilized by a classical controller; coherent or autonomous feedback where a quantum system is stabilized by a quantum controller with decoherence (reservoir engineering). We begin to explain these models and methods for the photon box experiments realized in the group of Serge Haroche (Nobel Prize 2012). We present then these models and methods for general open quantum systems.
In this note we study the generation of attractive oscillations of a class of mechanical systems with underactuation one. The proposed design consists of two terms, i.e., a partial linearizing state feedback, and an immersion and invariance orbital stabilization controller. The first step is adopted to simplify analysis and design, however, bringing an additional difficulty that the model loses its Euler-Lagrange structure after the collocated pre-feedback. To address this, we propose a constructive solution to the orbital stabilization problem via a smooth controller in an analytic form, and …
This paper studies the boundary output feedback stabilization of general 1-D reaction-diffusion PDEs in the presence of a state delay in the reaction term. The control input applies through a Robin boundary condition while the system output is selected as a either Dirichlet or Neumann boundary trace. The control strategy takes the form of a finite-dimensional observer-based controller with feedback and observer gains that are computed in order to dominate the state delayed term. For any arbitrarily given value of the state delay, we show the exponential stability of the resulting closed-loop s…
This paper addresses the topic of global output feedback stabilization of semilinear reaction-diffusion PDEs. The semilinearity is assumed to be confined into a sector condition. We consider two different types of actuation configurations, namely: bounded control operator and right Robin boundary control. The measurement is selected as a left Dirichlet trace. The control strategy is finite dimensional and is designed based on a linear version of the plant. We derive a set of sufficient conditions ensuring the global exponential stabilization of the semilinear reaction-diffusion PDE. These cond…
This paper discusses the boundary feedback stabilization of a reaction-diffusion equation with Robin boundary conditions and in the presence of a time-varying state-delay. The proposed control design strategy is based on a finite-dimensional truncated model obtained via a spectral decomposition. By an adequate selection of the number of modes of the original infinite-dimensional system, we show that the design performed on the finite-dimensional truncated model achieves the exponential stabilization of the original infinite-dimensional system. In the presence of distributed disturbances, we sh…
This paper is concerned with the output feedback stabilization of a reaction-diffusion equation by means of bounded control inputs in the presence of saturations. Using a finite-dimensional controller composed of an observer coupled with a finite-dimensional state-feedback, we derive a set of conditions ensuring the stability of the closed-loop plant while estimating the associated domain of attraction in the presence of saturations. This set of conditions is shown to be always feasible for an order of the observer selected large enough. The stability analysis relies on Lyapunov functionals al…
For nonlinear affine in the control systems, a Lie algebraic sufficient condition for sampled-data feedback semi-global stabilization is established. We use this result, in order to derive sufficient conditions for sampled-data feedback stabilization for a couple of three-dimensional systems.
In the present work, sufficient conditions for global stabilization of nonlinear uncertain systems by means of discrete-delay static output feedback are presented. Illustrating examples show the efficiency of the proposed control strategy.
This paper generalizes the results in [30] concerning feedback stabilization of target states for N-level quantum angular momentum systems undergoing quantum non-demolition measurements (QND) in absence of the knowledge about initial states and parameters. Here we consider multiple measurement operators and study the stabilization toward a chosen target subspace which is a common eigenspace of measurement operators. Under the QND conditions, we show that this analysis provides necessary tools to ensure feedback stabilization based on a simplified filter whose state is a N-dimensional vector. A…
Sufficient conditions are established for sampled-data feedback global asymptotic stabilization for nonlinear autonomous systems. One of our main results is an extension of the well known Artstein-Sontag theorem on feedback stabilization concerning affine in the control systems. A second aim of the present work is to provide sufficient conditions for sampled-data feedback asymptotic stabilization for two interconnected nonlinear systems. Lie algebraic sufficient conditions are derived for the case of affine in the control interconnected systems without drift terms.
Output feedback stabilization of control systems is a crucial issue in engineering. Most of these systems are not uniformly observable, which proves to be a difficulty to move from state feedback stabilization to dynamic output feedback stabilization. In this paper, we present a methodology to overcome this challenge in the case of dissipative systems by requiring only target detectability. These systems appear in many physical systems and we provide various examples and applications of the result.
This paper is concerned with the local output feedback stabilization of a nonlinear Kuramoto-Sivashinsky equation. The control is located at the boundary of the domain while the measurement is selected as a Neumann trace. This choice of system output requires the study of the system trajectories in $H^2$-norm. Moreover, the choice of the actuation/sensing scheme is discussed and adapted in function of the parameters of the plant in order to avoid the possible loss of controllability/observability property of certain eigenvalues of the underlying operator. This leads in certain cases to a multi…
This paper addresses the boundary output feedback stabilization of general 1-D reaction-diffusion PDEs with delayed boundary measurement. The output takes the form of a either Dirichlet or Neumann trace. The output delay can be arbitrarily large. The control strategy is composed of a finite-dimensional observer that is used to observe a delayed version of the first modes of the PDE and a predictor component which is employed to obtain the control input to be applied at current time. For any given value of the output delay, we assess the stability of the resulting closed-loop system provided th…
This paper is concerned with the stabilization of parallel-flow heat exchangers equation with boundary control and arbitrarily delayed observation. The observer and predictor-based method, developed by [B.Z. Guo, K.Y. Yang, Automatica, 2009, 45(6): 1468-1475], is used to stabilize equation. The exponentially stabilization of such system by estimated state feedback control law is proved.
In this paper, we study the boundary feedback stabilization of a quasilinear hyperbolic system with partially dissipative structure. Thanks to this structure, we construct a suitable Lyapunov function which leads to the exponential stability to the equilibrium of the $H^2$ solution. As an application, we also obtain the feedback stabilization for the Saint-Venant-Exner model under physical boundary conditions.
Feedback stabilization of switched systems under arbitrary switching: A convex characterization
Aeronautics Institute of Technology (ITA)（巴西空军理工学院）；Politecnico di Torino（都灵理工大学）；Université Paris-Saclay, CNRS, CentraleSupélec, Laboratoire des Signaux et Systèmes（巴黎萨克雷大学、法国国家科学研究中心、中央苏佩莱克学院、信号与系统实验室）
For a general time-varying system, we prove that existence of an "Output Robust Control Lyapunov Function" implies existence of continuous time-varying feedback stabilizer, which guarantees output asymptotic stability with respect to the resulting closed-loop system. The main results of the present work constitute generalizations of a well-known result towards feedback stabilization due to J. M. Coron and L. Rosier concerning stabilization of autonomous systems by means of time-varying periodic feedback.
The paper is concerned with patchy vector fields, a class of discontinuous, piecewise smooth vector fields that were introduced in AB to study feedback stabilization problems. We prove the stability of the corresponding solution set w.r.t. a wide class of impulsive perturbations. These results yield the robusteness of patchy feedback controls in the presence of measurement errors and external disturbances.
In this paper, we discuss the feedback stabilization of bilinear systems under weak observation properties. In this case, the uniform stability is not guaranteed. Thus we provide an explicit weak decay rate for all regular initial data. Applications to Schrödinger and wave equations are provided.
In this paper, we study the output feedback stabilization for a scalar conservation law with a nonlocal velocity, that models a highly re-entrant manufacturing system as encountered in semi-conductor production. By spectral analysis, we obtain a complete result on the exponential stabilization for the linearized control system. Moreover, by using a Lyapunov function approach, we also prove the exponential stabilization results for the nonlinear control system in certain cases.
It is well known from the seminal Brockett's theorem that the openness property of the mapping on the right-hand side of a given nonlinear ODE control system is a necessary condition for the existence of locally asymptotically stabilizing continuous stationary feedback laws. However, this condition fails to be sufficient for such a feedback stabilization. In this paper we develop an approach of variational analysis to continuous feedback stabilization of nonlinear control systems with replacing openness by the linear openness property, which has been well understood and characterized in variat…
We solve the feedback stabilization problem for a tank, with friction, containing a liquid modeled by the viscous Saint-Venant system of Partial Differential Equations. A spill-free exponential stabilization is achieved, with robustness to the wall friction forces. A Control Lyapunov Functional (CLF) methodology with two different Lyapunov functionals is employed. These functionals determine specific parameterized sets which approximate the state space. The feedback law is designed based only on one of the two functionals (which is the CLF) while the other functional is used for the derivation…
In this paper we consider scalar conservation laws with a convex flux. Given a stationnary shock, we provide a feedback law acting at one boundary point such that this solution is now asymptotically stable in L 1-norm in the class of entropy solution.
In this paper, we study the stabilization problem for a food extrusion process in the isothermal case. The model expresses the mass conservation in the extruder chamber and consists of a hyperbolic Partial Differential Equation (PDE) and a nonlinear Ordinary Differential Equation (ODE) whose dynamics describes the evolution of a moving interface. By using a Lyapunov approach, we obtain the exponential stabilization for the closed-loop system under natural feedback controls through indirect measurements.
We construct a patchy feedback for a general control system on $\R^n$ which realizes practical stabilization to a target set $Σ$, when the dynamics is constrained to a given set of states $S$. The main result is that $S$--constrained asymptotically controllability to $Σ$ implies the existence of a discontinuous practically stabilizing feedback. Such a feedback can be constructed in "patchy" form, a particular class of piecewise smooth controls which ensure the existence of local Carathéodory solutions to any Cauchy problem of the control system and which enjoy good robustness properties with r…
We consider an interlinked production model consisting of conservation laws (PDE) coupled to ordinary differential equations (ODE). Our focus is the analysis of control laws for the coupled system and corresponding stabilization questions of equilibrium dynamics in the presence of disturbances. These investigations are carried out using an appropriate Lyapunov function on the theoretical and numerical level. The discrete $L^2-$stabilization technique allows to derive a mixed feedback law that is able to ensure exponential stability also in bottleneck situations. All results are accompanied by …
Dirty derivatives are routinely used in industrial settings, particularly in the implementation of the derivative term in PID control, and are especially appealing due to their noise-attenuation and model-free characteristics. In this paper, we provide a Lyapunov-based proof for the stability of linear time-invariant control systems in controller canonical form when utilizing dirty derivatives in place of observers for the purpose of output feedback. This is, to the best of the authors' knowledge, the first time that stability proofs are provided for the use of dirty derivatives in lieu of der…
We are interested in the control of forming processes for nonlinear material models. To develop an online control we derive a novel feedback law and prove a stabilization result. The derivation of the feedback control law is based on a Laypunov analysis of the time-dependent viscoplastic material models. The derivation uses the structure of the underlying partial differential equation for the design of the feedback control. Analytically, exponential decay of the time evolution of perturbations to desired stress--strain states is shown. We test the new control law numerically by coupling it to …
It is shown that an oblique projection based feedback control is able to stabilize the state of the Kuramoto-Sivashinsky equation, evolving in rectangular domains, to a given time-dependent trajectory. The number of actuators is finite and consists of a finite number of indicator functions supported in small subdomains. Simulations are presented, in the one-dimensional case, showing the stabilizing performance of the feedback control.
An oblique projections based feedback stabilizability result in the literature is extended to a larger class of reaction-convection terms. A discussion is presented including a comparison between explicit oblique projections base feedback controls and Riccati based feedback controls. Advantages and limitations of each type of feedback are addressed as well as their finite-elements implementation. Results of numerical simulations are presented comparing their stabilizing performances for the case of time-periodic dynamics. It is shown that the solution of the periodic Riccati based feedback can…
In this paper, we consider N-level quantum angular momentum systems interacting with electromagnetic fields undergoing continuous-time measurements. We suppose unawareness of the initial state and physical parameters, entailing the introduction of an additional state representing the estimated quantum state. The evolution of the quantum state and its estimation is described by a coupled stochastic master equation. Here, we study the asymptotic behavior of such a system in presence of a feedback controller. We provide sufficient conditions on the feedback controller and on the estimated paramet…
A learning approach for optimal feedback gains for nonlinear continuous time control systems is proposed and analysed. The goal is to establish a rigorous framework for computing approximating optimal feedback gains using neural networks. The approach rests on two main ingredients. First, an optimal control formulation involving an ensemble of trajectories with 'control' variables given by the feedback gain functions. Second, an approximation to the feedback functions via realizations of neural networks. Based on universal approximation properties we prove the existence and convergence of opti…
We use the backstepping method to study the stabilization of a 1-D linear transport equation on the interval (0, L), by controlling the scalar amplitude of a piecewise regular function of the space variable in the source term. We prove that if the system is controllable in a periodic Sobolev space of order greater than 1, then the system can be stabilized exponentially in that space and, for any given decay rate, we give an explicit feedback law that achieves that decay rate.
The aim of this work is to design an explicit finite dimensional boundary feedback controller of sampled-data form for locally exponentially stabilizing the equilibrium solutions to semilinear parabolic equations. The feedback controller is expressed in terms of the eigenfunctions corresponding to unstable eigenvalues of the linearized equation. This stabilizing procedure is applicable for any sampling rate, not necessary to be small enough, and it tends to the continuous-times version when the sampling period tends to zero.
We propose to explore switching methods in order to recover some properties of Kalmanlike observers for output feedback stabilization of state-affine systems that may present observability singularities. The self-tuning gain matrix in Kalman-like observers tend to be singular in the case of non-uniformly observable systems. We show in the case of state-affine systems with observable target that it can be prevented by dynamically monitoring observability of the system, and switching the control when it becomes critical.
We construct a robust stabilizing feedback law for the viscous Saint-Venant system of Partial Differential Equations (PDEs) with surface tension and without wall friction. The Saint-Venant system describes the movement of a tank which contains a viscous liquid. We assume constant contact angles between the liquid and the walls of the tank and we achieve a spill-free exponential stabilization with robustness to surface tension by using a Control Lyapunov Functional (CLF). The proposed CLF provides a parameterized family of sets which approximate the state space from the interior. Based on the C…
