Interval observers for continuous-time linear systems

International audienceWe consider continuous-time linear systems with additive disturbances and discrete-time measurements. First, we construct an observer, which converges to the state trajectory of the linear system when the maximum time interval between two consecutive measurements is sufficiently small and there are no disturbances. Second, we construct interval observers allowing to determine, for any solution, a set that is guaranteed to contain the actual state of the system when bounded disturbances are present

New Fixed Time and Fast Converging Reduced Order Observers

International audienceFor nonlinear continuous-time systems with continuous measurements of the output, we provide new reduced order observers that converge in finite time. The convergence time is independent of the initial state. For cases where the measurements are discrete, we provide asymptotically converging observers, whose rate of convergence is proportional to the negative of the logarithm of the size of the sampling interval. Our observers are based on the observability Gramian

On Design of Interval Observers with Sampled Measurement

International audienceNew design of interval observers for continuous-time systems with discrete-time measurements is proposed. For this purpose new conditions of positivity for linear systems with sampled feedbacks are obtained. A sampled-data stabilizing control is synthesized based on provided interval estimates. Efficiency of the obtained solution is demonstrated on examples

Observer synthesis under time-varying sampling for Lipschitz nonlinear systems

International audienceIn this work, the problem of observation of continuous-time nonlinear Lipschitz systems under time-varying discrete measurements is considered. This class of systems naturally occurs when continuous processes are observed through digital sensors and information is sent via a network to a computer for state estimation. Since the network introduces variations in the sampling time, the observer must be designed so that it takes them into account. Here impulsive observers, which make instantaneous correction when information is received, are investigated. Moreover, we consider time-varying observer gains adapting to the varying sampling interval. In order to deal with both continuous-time and discrete-time dynamics, a new hybrid model is used to state the problem and establish the convergence of the proposed observer. First, generic conditions are provided using a hybrid Lyapunov function. Then, a restriction of the generic Lyapunov function is used to establish tractable conditions that allows the analysis and synthesis of an impulsive gain

Hybrid Attitude Control and Estimation On SO(3)

This thesis presents a general framework for hybrid attitude control and estimation design on the Special Orthogonal group SO(3). First, the attitude stabilization problem on SO(3) is considered. It is shown that, using a min-switch hybrid control strategy designed from a family of potential functions on SO(3), global exponential stabilization on SO(3) can be achieved when this family of potential functions satisfies certain properties. Then, a systematic methodology to construct these potential functions is developed. The proposed hybrid control technique is applied to the attitude tracking problem for rigid body systems. A smoothing mechanism is proposed to filter out the discrete behaviour of the hybrid switching mechanism leading to control torques that are continuous. Next, the problem of attitude estimation from continuous body-frame vector measurements of known inertial directions is considered. Two hybrid attitude and gyro bias observers designed directly on SO(3) are proposed. The first observer uses a set of innovation terms and a switching mechanism that selects the appropriate innovation term. The second observer uses a fixed innovation term and allows the attitude state to be reset (experience discrete transition or jump) to an adequately chosen value on SO(3). Both hybrid observers guarantee global exponential stability of the zero estimation errors. Finally, in the case where the body-frame vector measurements are intermittent, an event-triggered attitude estimation scheme on SO(3) is proposed. The observer consists in integrating the continuous angular velocity during the interval of time where the vector measurements are not available, and updating the attitude state upon the arrival of the vector measurements. Both cases of synchronous and asynchronous vector measurements with possible irregular sampling periods are considered. Moreover, some modifications to the intermittent observer are developed to handle different practical issues such as discrete-time implementation, noise filtering and gyro bias compensation

Rigid Body Motion Estimation based on the Lagrange-d'Alembert Principle

Stable estimation of rigid body pose and velocities from noisy measurements, without any knowledge of the dynamics model, is treated using the Lagrange-d'Alembert principle from variational mechanics. With body-fixed optical and inertial sensor measurements, a Lagrangian is obtained as the difference between a kinetic energy-like term that is quadratic in velocity estimation error and the sum of two artificial potential functions; one obtained from a generalization of Wahba's function for attitude estimation and another which is quadratic in the position estimate error. An additional dissipation term that is linear in the velocity estimation error is introduced, and the Lagrange-d'Alembert principle is applied to the Lagrangian with this dissipation. This estimation scheme is discretized using discrete variational mechanics. The presented pose estimator requires optical measurements of at least three inertially fixed landmarks or beacons in order to estimate instantaneous pose. The discrete estimation scheme can also estimate velocities from such optical measurements. In the presence of bounded measurement noise in the vector measurements, numerical simulations show that the estimated states converge to a bounded neighborhood of the actual states.Comment: My earlier submitted manuscript (arXiv:1508.07671), is an extended version of this work, containing detailed proofs and more elaborated numerical simulations, currently under review in Automatica. This paper will be cited in the extended journal version (arXiv:1508.07671) upon publicatio