Observer Design for Stochastic Nonlinear Systems via Contraction-Based Incremental Stability

Abstract

This paper presents a new design approach to nonlinear observers for Itï¿oe stochastic nonlinear systems with guaranteed stability. A stochastic contraction lemma is presented which is used to analyze incremental stability of the observer. A bound on the mean-squared distance between the trajectories of original dynamics and the observer dynamics is obtained as a function of the contraction rate and maximum noise intensity. The observer design is based on a non-unique state-dependent coefficient (SDC) form, which parametrizes the nonlinearity in an extended linear form. The observer gain synthesis algorithm, called linear matrix inequality statedependent algebraic Riccati equation (LMI-SDARE), is presented. The LMI-SDARE uses a convex combination of multiple SDC parametrizations. An optimization problem with statedependent linear matrix inequality (SDLMI) constraints is formulated to select the coefficients of the convex combination for maximizing the convergence rate and robustness against disturbances. Two variations of LMI-SDARE algorithm are also proposed. One of them named convex state-dependent Riccati equation (CSDRE) uses a chosen convex combination of multiple SDC matrices; and the other named Fixed-SDARE uses constant SDC matrices that are pre-computed by using conservative bounds of the system states while using constant coefficients of the convex combination pre-computed by a convex LMI optimization problem. A connection between contraction analysis and L2 gain of the nonlinear system is established in the presence of noise and disturbances. Results of simulation show superiority of the LMI-SDARE algorithm to the extended Kalman filter (EKF) and state-dependent differential Riccati equation (SDDRE) filter.

A Survey on Aerial Swarm Robotics

“…Many types of model uncertainty can be cast into a bounded perturbation term, including constant unknown time delays [27], [72] and errors arising from heterogeneous dynamics [27], [63]. Recently, incremental stability has been extended to synchronization stability of multiple Itō stochastic nonlinear differential equations [38], [74] with unbounded stochastic disturbances.…”

A Nonlinear Dynamics-Based Estimator for Functional Electrical Stimulation: Preliminary Results From Lower-Leg Extension Experiments

“…In order to extend the SDC estimator for real time applications, i.e. without the encoder, methods in [25], [29] can be used in future studies. Errors during parameter estimation procedure may lead to error in the estimation.…”

“…The estimators were simulated on a three link dynamic gait model [27]. The method’s theoretical development, stability, and its convergence for stochastic nonlinear systems is given in [28], [29]. …”

Vision‐based Localization and Robot‐centric Mapping in Riverine Environments

“…In Fallon, Papadopoulos, Leonard, & Patrikalakis (), a surface‐craft equipped with an acoustic modem is used to support localization of autonomous underwater vehicles. A departure from point‐feature based SLAM is reported using higher‐level features represented by Bzier curves as stereo vision primitives (Rao, Chung, & Hutchinson, ) or tracking the image moments of region features (Dani, Panahandeh, Chung, & Hutchinson, ) with a new stochastic nonlinear estimator (Dani, Chung, & Hutchinson, ).…”