Source author record

Paulo Sergio Pereira da Silva

Paulo Sergio Pereira da Silva appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.OC quant-ph Robotics

Catalog footprint

What is connected

6works

3topics

4close collaborators

Actions

Connect this record

Open graph Browse works

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.

preprint2015arXiv

Stabilization of photon-number states via single-photon corrections: a first convergence analysis under an ideal set-up

This paper presents a first mathematical convergence analysis of a Fock states feedback stabilization scheme via single-photon corrections. This measurement-based feedback has been developed and experimentally tested in 2012 by the cavity quantum electrodynamics group of Serge Haroche and Jean-Michel Raimond. Here, we consider the infinite-dimensional Markov model corresponding to the ideal set-up where detection errors and feedback delays have been disregarded. In this ideal context, we show that any goal Fock state can be stabilized by a Lyapunov-based feedback for any initial quantum state belonging to the dense subset of finite rank density operators with support in a finite photon-number sub-space. Closed-loop simulations illustrate the performance of the feedback law.

preprint2014arXiv

A Flat Triangular Form for Nonlinear Systems with Two Inputs: Necessary and Sufficient Conditions

The present work establishes necessary and sufficient conditions for a nonlinear system with two inputs to be described by a specific triangular form. Except for some regularity conditions, such triangular form is flat. This may lead to the discovery of new flat systems. The proof relies on well-known results for driftless systems with two controls (the chained form) and on geometric tools from exterior differential systems. The paper also illustrates the application of its results on an academic example and on a reduced order model of an induction motor.

preprint2013arXiv

Quantum Gate Generation by T-Sampling Stabilization

This paper considers right-invariant and controllable driftless quantum systems with state X(t) evolving on the unitary group U(n) and m inputs. The T-sampling stabilization problem is introduced and solved: given any initial condition X(0) any goal state Xg find a feedback law such that X(jT) converges to Xg as the integer j tends to infinity. The purpose is to generate arbitrary quantum gates corresponding to Xg. This is achieved by the tracking of T-periodic reference trajectories that pass by Xg using the framework of Coron's Return Method. The T-periodic reference trajectories are generated by applying open-loop controls that are a sum of a finite number M of odd T-periodic function whose amplitudes are parameterized by a vector. The main result establishes that, for M big enough, X(jT) exponentially converges towards Xg for almost all fixed amplitude vectors, with explicit and completely constructive control laws. This paper also establishes a stochastic version of this deterministic control law. The key idea is to randomly choose a different amplitude vector at each sampling time jT, and keeping it fixed until the next sampling time (j+1)T. It is also shown that X(jT) exponentially converges towards Xg almost surely. Simulation results have indicated that the convergence speed may be significantly improved with such stochastic technique. This is illustrated in the generation of the C--NOT quantum logic gate on U(4).

preprint2013arXiv

Trajectory control of a bipedal walking robot with inertial disc

In this paper we exploit some interesting properties of a class of bipedal robots which have an inertial disc. One of this properties is the ability to control every position and speed except for the disc position. The proposed control is designed in two hierarchic levels. The first will drive the robot geometry, while the second will control the speed and also the angular momentum. The exponential stability of this approach is proved around some neighborhood of the nominal trajectory defining the geometry of the step. This control will not spend energy to adjust the disc position and neither to synchronize the trajectory with the time. The proposed control only takes action to correct the essential aspects of the walking gait. Computational simulations are presented for different conditions, serving as a empirical test for the neighborhood of attraction.

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.

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