arXiv subjects

Pierre Rouchon

Publications and source records attributed to Pierre Rouchon.

101 records · Page 6Linked to original sources

arXiv2010

A Separation Principle on Lie Groups

For linear time-invariant systems, a separation principle holds: stable observer and stable state feedback can be designed for the time-invariant system, and the combined observer and feedback will be stable. For non-linear systems, a local separation principle holds around steady-states, as the linearized system is time-invariant. This paper addresses the issue of a non-linear separation principle on Lie groups. For invariant systems on Lie groups, we prove there exists a large set of (time-varying) trajectories around which the linearized observer-controler system is time-invariant, as soon as a symmetry-preserving observer is used. Thus a separation principle holds around those trajectories. The theory is illustrated by a mobile robot example, and the developed ideas are then extended to a class of Lagrangian mechanical systems on Lie groups described by Euler-Poincare equations.

math.OC↗

arXiv2010

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

math.OC↗

arXiv2010

Consensus in non-commutative spaces

Convergence analysis of consensus algorithms is revisited in the light of the Hilbert distance. Tsitsiklis Lyapunov function is shown to be the Hilbert distance to consensus in log coordinates. Birkhoff theorem, which proves contraction of the Hilbert metric for any positive homogeneous monotone map, provides an early yet general convergence result for consensus algorithms. Because Birkhoff theorem holds in arbitrary cones, we extend consensus algorithms to the cone of positive definite matrices. The proposed generalization finds applications in the convergence analysis of quantum stochastic maps, which are a generalization of stochastic maps to non-commutative probability spaces.

math.OC↗

arXiv2009

Real-time synchronization feedbacks for single-atom frequency standards

Simple feedback loops, inspired from extremum-seeking, are proposed to lock a probe-frequency to the transition frequency of a single quantum system following quantum Monte-Carlo trajectories. Two specific quantum systems are addressed, a 2-level one and a 3-level one that appears in coherence population trapping and optical pumping. For both systems, the feedback algorithm is shown to be convergent in the following sense: the probe frequency converges in average towards the system-transition one and its standard deviation can be made arbitrarily small. Closed-loop simulations illustrate robustness versus jump-detection efficiency and modeling errors.

math-ph↗

arXiv2009

Euler-Lagrange models with complex currents of three-phase electrical machines and observability issues

A new Lagrangian formulation with complex currents is developed and yields a direct and simple method for modeling three-phase permanent-magnet and induction machines. The Lagrangian is the sum a mechanical one and of a magnetic one. This magnetic Lagrangian is expressed in terms of rotor angle, complex stator and rotor currents. A complexification procedure widely used in quantum electrodynamic is applied here in order to derive the Euler-Lagrange equations with complex stator and rotor currents. Such complexification process avoids the usual separation into real and imaginary parts and simplifies notably the calculations. Via simple modifications of such magnetic Lagrangians we derive new dynamical models describing permanent-magnet machines with both saturation and saliency, and induction machines with both magnetic saturation and space harmonics. For each model we also provide its Hamiltonian thus its magnetic energy. This energy is also expressed with complex currents and can be directly used in Lyapunov and/or passivity based control. Further, we briefly investigate the observability of this class of Euler-Lagrange models, in the so-called sensorless case when the measured output is the stator current and the load torque is constant but unknown. For all the dynamical models obtained via such variational principles, we prove that their linear tangent systems are unobservable around a one-dimensional family of steady-states attached to the same constant stator voltage and current. This negative result explains why sensorless control of three-phase electrical machines around zero stator frequency remains yet a difficult control problem.

math.OC↗

arXiv2009

Feedback generation of quantum Fock states by discrete QND measures

A feedback scheme for preparation of photon number states in a microwave cavity is proposed. Quantum Non Demolition (QND) measurement of the cavity field provides information on its actual state. The control consists in injecting into the cavity mode a microwave pulse adjusted to maximize the population of the desired target photon number. In the ideal case (perfect cavity and measures), we present the feedback scheme and its detailed convergence proof through stochastic Lyapunov techniques based on super-martingales and other probabilistic arguments. Quantum Monte-Carlo simulations performed with experimental parameters illustrate convergence and robustness of such feedback scheme.

quant-ph↗

arXiv2009

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.

math.OC↗

arXiv2009

Parameter estimation of a 3-level quantum system with a single population measurement

An observer-based Hamiltonian identification algorithm for quantum systems has been proposed recently by Bonnabel et al. The later paper provided a method to estimate the dipole moment matrix of a quantum system requiring the measurement of the populations on all states, which could be experimentally difficult to achieve. We propose here an extension to a 3-level quantum system, having access to the population of the ground state only. By more adapted choice of the control field, we will show that a continuous measurement of this observable, alone, is enough to identify the field coupling parameters (dipole moment).

quant-ph↗

arXiv2008

Operating an atom interferometer beyond its linear range

In this paper, we show that an atom interferometer inertial sensor, when associated to the auxiliary measurement of external vibrations, can be operated beyond its linear range and still keep a high acceleration sensitivity. We propose and compare two measurement procedures (fringe fitting and nonlinear lock) that can be used to extract the mean phase of the interferometer when the interferometer phase fluctuations exceed $2π$. Despite operating in the urban environment of inner Paris without any vibration isolation, the use of a low noise seismometer for the measurement of ground vibrations allows our atom gravimeter to reach at night a sensitivity as good as $5.5\times10^{-8}$g at 1 s. Robustness of the measurement to large vibration noise is also demonstrated by the ability of our gravimeter to operate during an earthquake with excellent sensitivity. Our high repetition rate allows for recovering the true low frequency seismic vibrations, ensuring proper averaging. Such techniques open new perspectives for applications in other fields, such as navigation and geophysics.

physics.atom-ph↗

arXiv2008

Singular perturbations and Lindblad-Kossakowski differential equations

We consider an ensemble of quantum systems whose average evolution is described by a density matrix, solution of a Lindblad-Kossakowski differential equation. We focus on the special case where the decoherence is only due to a highly unstable excited state and where the spontaneously emitted photons are measured by a photo-detector. We propose a systematic method to eliminate the fast and asymptotically stable dynamics associated to the excited state in order to obtain another differential equation for the slow part. We show that this slow differential equation is still of Lindblad-Kossakowski type, that the decoherence terms and the measured output depend explicitly on the amplitudes of quasi-resonant applied field, i.e., the control. Beside a rigorous proof of the slow/fast (adiabatic) reduction based on singular perturbation theory, we also provide a physical interpretation of the result in the context of coherence population trapping via dark states and decoherence-free subspaces. Numerical simulations illustrate the accuracy of the proposed approximation for a 5-level systems.

math-ph↗

arXiv2007

Observer-based Hamiltonian identification for quantum systems

An observer-based Hamiltonian identification algorithm for quantum systems is proposed. For the 2-level case an exponential convergence result based on averaging arguments and some relevant transformations is provided. The convergence for multi-level cases is discussed using some heuristic arguments and the relevance of the method is tested via simulations. Finally, the robustness issue with respect to non-negligible uncertainties and experimental noises is also addressed on simulations.

math-ph↗