Lie brackets and real analyticity in control theory
We give the definitions of exact and approximate controllability for linear and nonlinear Schrödinger equations, review fundamental criteria for controllability and revisit a classical “No-go” result for evolution equations due to Ball, Marsden and Slemrod. In Section 2 we prove corresponding results on non-controllability for the linear Schrödinger equation and distributed additive control, and we show that the Hartree equation of quantum chemistry with bilinear control is not controllable...
For linear control systems with coefficients determined by a dynamical system null controllability is discussed. If uniform local null controllability holds, and if the Lyapounov exponents of the homogeneous equation are all non-positive, then the system is globally null controllable for almost all paths of the dynamical system. Even if some Lyapounov exponents are positive, an irreducibility assumption implies that, for a dense set of paths, the system is globally null controllable.
We consider a 1-D tank containing an inviscid incompressible irrotational fluid. The tank is subject to the control which consists of horizontal moves. We assume that the motion of the fluid is well-described by the Saint–Venant equations (also called the shallow water equations). We prove the local controllability of this nonlinear control system around any steady state. As a corollary we get that one can move from any steady state to any other steady state.
We consider a 1-D tank containing an inviscid incompressible irrotational fluid. The tank is subject to the control which consists of horizontal moves. We assume that the motion of the fluid is well-described by the Saint–Venant equations (also called the shallow water equations). We prove the local controllability of this nonlinear control system around any steady state. As a corollary we get that one can move from any steady state to any other steady state.
In this paper we deal with the local exact controllability of the Navier-Stokes system with nonlinear Navier-slip boundary conditions and distributed controls supported in small sets. In a first step, we prove a Carleman inequality for the linearized Navier-Stokes system, which leads to null controllability of this system at any time T>0. Then, fixed point arguments lead to the deduction of a local result concerning the exact controllability to the trajectories of the Navier-Stokes system.
We are interested by the three-dimensional coupling between an incompressible fluid and a rigid body. The fluid is modeled by the Navier-Stokes equations, while the solid satisfies the Newton's laws. In the main result of the paper we prove that, with the help of a distributed control, we can drive the fluid and structure velocities to zero and the solid to a reference position provided that the initial velocities are small enough and the initial position of the structure is close to the reference...
In this paper, we prove a controllability result for a fluid-structure interaction problem. In dimension two, a rigid structure moves into an incompressible fluid governed by Navier-Stokes equations. The control acts on a fixed subset of the fluid domain. We prove that, for small initial data, this system is null controllable, that is, for a given , the system can be driven at rest and the structure to its reference configuration at time . To show this result, we first consider a linearized system....
In this paper, we prove a controllability result for a fluid-structure interaction problem. In dimension two, a rigid structure moves into an incompressible fluid governed by Navier-Stokes equations. The control acts on a fixed subset of the fluid domain. We prove that, for small initial data, this system is null controllable, that is, for a given T > 0, the system can be driven at rest and the structure to its reference configuration at time T. To show this result, we first consider a linearized system....
In the present paper, we study the problem of small-time local attainability (STLA) of a closed set. For doing this, we introduce a new concept of variations of the reachable set well adapted to a given closed set and prove a new attainability result for a general dynamical system. This provide our main result for nonlinear control systems. Some applications to linear and polynomial systems are discussed and STLA necessary and sufficient conditions are obtained when the considered set is a hyperplane....
In the present paper, we study the problem of small-time local attainability (STLA) of a closed set. For doing this, we introduce a new concept of variations of the reachable set well adapted to a given closed set and prove a new attainability result for a general dynamical system. This provide our main result for nonlinear control systems. Some applications to linear and polynomial systems are discussed and STLA necessary and sufficient conditions are obtained when the considered set...