BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Karine Beauchard

Karine Beauchard appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.APmath.OC

Catalog footprint

What is connected

12works
2topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

12 published item(s)

preprint2024arXiv

A unified approach of obstructions to small-time local controllability for scalar-input systems

We present a unified approach for determining and proving obstructions to small-time local controllability of scalar-input control systems. Our approach views obstructions to controllability as resulting from interpolation inequalities between the functionals associated with the formal Lie brackets of the system. Using this approach, we give compact unified proofs of all known necessary conditions, we prove a conjecture of 1986 due to Kawski, and we derive entirely new obstructions. Our work doubles the number of previously-known necessary conditions, all established in the 1980s. In particular, for the third quadratic bracket, we derive a new necessary condition which is complementary to the Agrachev-Gamkrelidze sufficient ones. We rely on a recent Magnus-type representation formula for the state, a new Hall basis of the free Lie algebra over two generators, an appropriate use of Sussmann's infinite product to compute the Magnus expansion, and Gagliardo-Nirenberg interpolation inequalities.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

Null-controllability of linear parabolic-transport systems

Over the past two decades, the controllability of several examples of parabolic-hyperbolic systems has been investigated. The present article is the beginning of an attempt to find a unified framework that encompasses and generalizes the previous results. We consider constant coefficients heat-transport systems with coupling of order zero and one, with a locally distributed control in the source term, posed on the one dimensional torus. We prove the null-controllability, in optimal time (the one expected because of the transport component) when there is as much controls as equations. When the control acts only on the transport (resp. parabolic) component, we prove an algebraic necessary and sufficient condition, on the coupling term, for the null controllability. The whole study relies on a careful spectral analysis, based on perturbation theory. The negative controllability result in small time is proved on solutions localized on high hyperbolic frequencies, that solve a pure transport equation up to a compact term. The proof of the positive result in large time relies on a spectral decomposition into low, and asymptotically parabolic or hyperbolic frequencies.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Minimal time for the bilinear control of Schrödinger equations

We consider a quantum particle in a potential V (x) (x in R^N) subject to a (spatially homogeneous) time-dependent electric field E(t), which plays the role of the control. Under generic assumptions on V, this system is approximately controllable on the L2(R^N;C)-sphere, in su ffiently large times T, as proved by Boscain, Caponigro, Chambrion and Sigalotti. In the present article, we show that this approximate controllability result is false in small time. As a consequence, the result by Boscain et al. is, in some sense, optimal with respect to the control time T.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Inertial-sensor bias estimation from brightness/depth images and based on SO(3)-invariant integro/partial-differential equations on the unit sphere

Constant biases associated to measured linear and angular velocities of a moving object can be estimated from measurements of a static scene by embedded brightness and depth sensors. We propose here a Lyapunov-based observer taking advantage of the SO(3)-invariance of the partial differential equations satisfied by the measured brightness and depth fields. The resulting asymptotic observer is governed by a non-linear integro/partial differential system where the two independent scalar variables indexing the pixels live on the unit sphere of the 3D Euclidian space. The observer design and analysis are strongly simplified by coordinate-free differential calculus on the unit sphere equipped with its natural Riemannian structure. The observer convergence is investigated under C^1 regularity assumptions on the object motion and its scene. It relies on Ascoli-Arzela theorem and pre-compactness of the observer trajectories. It is proved that the estimated biases converge towards the true ones, if and only if, the scene admits no cylindrical symmetry. The observer design can be adapted to realistic sensors where brightness and depth data are only available on a subset of the unit sphere. Preliminary simulations with synthetic brightness and depth images (corrupted by noise around 10%) indicate that such Lyapunov-based observers should be robust and convergent for much weaker regularity assumptions.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Inverse source problem and null controllability for multidimensional parabolic operators of Grushin type

The approach to Lipschitz stability for uniformly parabolic equations introduced by Imanuvilov and Yamamoto in 1998, based on Carleman estimates, seems hard to apply to the case of Grushin-type operators of interest to this paper. Indeed, such estimates are still missing for parabolic operators degenerating in the interior of the space domain. Nevertheless, we are able to prove Lipschitz stability results for inverse source problems for such operators, with locally distributed measurements in arbitrary space dimension. For this purpose, we follow a mixed strategy which combines the appraoch due to Lebeau and Robbiano, relying on Fourier decomposition, with Carleman inequalities for heat equations with nonsmooth coefficients (solved by the Fourier modes). As a corollary, we obtain a direct proof of the observability of multidimensional Grushin-type parabolic equations, with locally distributed observations, which is equivalent to null controllability with locally distributed controls.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Local controllability of 1D Schrödinger equations with bilinear control and minimal time

We consider a linear Schrödinger equation, on a bounded interval, with bilinear control. Beauchard and Laurent proved that, under an appropriate non degeneracy assumption, this system is controllable, locally around the ground state, in arbitrary time. Coron proved that a positive minimal time is required for this controllability, on a particular degenerate example. In this article, we propose a general context for the local controllability to hold in large time, but not in small time. The existence of a positive minimal time is closely related to the behaviour of the second order term, in the power series expansion of the solution.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Local exact controllability of a 1D Bose-Einstein condensate in a time-varying box

We consider a one-dimensional Bose-Einstein condensate in a infinite square-well (box) potential. This is a nonlinear control system in which the state is the wave function of the Bose Einstein condensate and the control is the length of the box. We prove that local exact controllability around the ground state (associated with a fixed length of the box) holds generically with respect to the chemical potential μ; i.e. up to an at most countable set of μ-values. The proof relies on the linearization principle and the inverse mapping theorem, as well as ideas from analytic perturbation theory.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Stabilization of an arbitrary profile for an ensemble of half-spin systems

We consider the feedback stabilization of a variable profile for an ensemble of non interacting half spins described by the Bloch equations. We propose an explicit feedback law that stabilizes asymptotically the system around a given arbitrary target profile. The convergence proof is done when the target profile is entirely in the south hemisphere or in the north hemisphere of the Bloch sphere. The convergence holds for initial conditions in a H^1 neighborhood of this target profile. This convergence is shown for the weak H^1 topology. The proof relies on an adaptation of the LaSalle invariance principle to infinite dimensional systems. Numerical simulations illustrate the efficiency of these feedback laws, even for initial conditions far from the target profile.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Local controllability of 1D linear and nonlinear Schrödinger equations with bilinear control

We consider a linear Schrödinger equation, on a bounded interval, with bilinear control, that represents a quantum particle in an electric field (the control). We prove the controllability of this system, in any positive time, locally around the ground state. Similar results were proved for particular models (by the first author and with J.M. Coron), in non optimal spaces, in long time and the proof relied on the Nash-Moser implicit function theorem in order to deal with an a priori loss of regularity. In this article, the model is more general, the spaces are optimal, there is no restriction on the time and the proof relies on the classical inverse mapping theorem. A hidden regularizing effect is emphasized, showing there is actually no loss of regularity. Then, the same strategy is applied to nonlinear Schrödinger equations and nonlinear wave equations, showing that the method works for a wide range of bilinear control systems.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Semi-global weak stabilization of bilinear Schrödinger equations

We consider a linear Schrödinger equation, on a bounded domain, with bilinear control, representing a quantum particle in an electric field (the control). Recently, Nersesyan proposed explicit feedback laws and proved the existence of a sequence of times $(t_n)_{n \in \mathbb{N}}$ for which the values of the solution of the closed loop system converge weakly in $H^2$ to the ground state. Here, we prove the convergence of the whole solution, as $t \rightarrow + \infty$. The proof relies on control Lyapunov functions and an adaptation of the LaSalle invariance principle to PDEs.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Stabilization for an ensemble of half-spin systems

Feedback stabilization of an ensemble of non interacting half spins described by Bloch equations is considered. This system may be seen as a prototype for infinite dimensional systems with continuous spectrum. We propose an explicit feedback law that stabilizes asymptotically the system around a uniform state of spin +1/2 or -1/2. The proof of the convergence is done locally around the equilibrium in the H^1 topology. This local convergence is shown to be a weak asymptotic convergence for the H^1 topology and thus a strong convergence for the C^0 topology. The proof relies on an adaptation of the LaSalle invariance principle to infinite dimensional systems. Numerical simulations illustrate the efficiency of these feedback laws, even for initial conditions far from the equilibrium

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

Controllability issues for continuous-spectrum systems and ensemble controllability of Bloch Equations

We study the controllability of the Bloch equation, for an ensemble of non interacting half-spins, in a static magnetic field, with dispersion in the Larmor frequency. This system may be seen as a prototype for infinite dimensional bilinear systems with continuous spectrum, whose controllability is not well understood. We provide several mathematical answers, with discrimination between approximate and exact controllability, and between finite time or infinite time controllability: this system is not exactly controllable in finite time $T$ with bounded controls in $L^2(0,T)$, but it is approximately controllable in $L^\infty$ in finite time with unbounded controls in $L^{\infty}_{loc}([0,+\infty))$. Moreover, we propose explicit controls realizing the asymptotic exact controllability to a uniform state of spin +1/2 or -1/2.

0 citations0 reviewsNo code linkedOpen access