arXiv subjects

Bowen Yi

Publications and source records attributed to Bowen Yi.

At least 37 records · Page 2Linked to original sources

arXiv2023

On the equivalence of contraction and Koopman approaches for nonlinear stability and control

In this paper we prove new connections between two frameworks for analysis and control of nonlinear systems: the Koopman operator framework and contraction analysis. Each method, in different ways, provides exact and global analyses of nonlinear systems by way of linear systems theory. The main results of this paper show equivalence between contraction and Koopman approaches for a wide class of stability analysis and control design problems. In particular: stability or stablizability in the Koopman framework implies the existence of a contraction metric (resp. control contraction metric) for the nonlinear system. Further in certain cases the converse holds: contraction implies the existence of a set of observables with which stability can be verified via the Koopman framework. We provide results for the cases of autonomous and time-varying systems, as well as orbital stability of limit cycles. Furthermore, the converse claims are based on a novel relation between the Koopman method and construction of a Kazantzis-Kravaris-Luenberger observer. We also provide a byproduct of the main results, that is, a new method to learn contraction metrics from trajectory data via linear system identification.

eess.SY↗

arXiv2023

On IMU preintegration: A nonlinear observer viewpoint and its application

The inertial measurement unit (IMU) preintegration approach nowadays is widely used in various robotic applications. In this article, we revisit the preintegration theory and propose a novel interpretation to understand it from a nonlinear observer perspective, specifically the parameter estimation-based observer (PEBO). We demonstrate that the preintegration approach can be viewed as recursive implementation of PEBO in moving horizons, and that the two approaches are equivalent in the case of perfect measurements. We then discuss how these findings can be used to tackle practical challenges in estimation problems. As byproducts, our results lead to a novel hybrid sampled-data observer design and an approach to address statistical optimality for PEBO in presence of noise.

eess.SY↗

arXiv2023

PEBO-SLAM: Observer design for visual inertial SLAM with convergence guarantees

This paper introduces a new linear parameterization to the problem of visual inertial simultaneous localization and mapping (VI-SLAM) -- without any approximation -- for the case only using information from a single monocular camera and an inertial measurement unit. In this problem set, the system state evolves on the nonlinear manifold $SE(3)\times \mathbb{R}^{3n}$, on which we design dynamic extensions carefully to generate invariant foliations, such that the problem can be reformulated into online \emph{constant parameter} identification, then interestingly with linear regression models obtained. It demonstrates that VI-SLAM can be translated into a linear least squares problem, in the deterministic sense, \emph{globally} and \emph{exactly}. Based on this observation, we propose a novel SLAM observer, following the recently established parameter estimation-based observer (PEBO) methodology. A notable merit is that the proposed observer enjoys almost global asymptotic stability, requiring neither persistency of excitation nor uniform complete observability, which, however, are widely adopted in most existing works with provable stability but can hardly be assured in many practical scenarios.

eess.SY↗

arXiv2023

Stability Analysis of Trajectories on Manifolds with Applications to Observer and Controller Design

This paper examines the local exponential stability (LES) of trajectories for nonlinear systems on Riemannian manifolds. We present necessary and sufficient conditions for LES of a trajectory on a Riemannian manifold by analyzing the complete lift of the system along the given trajectory. These conditions are coordinate-free which reveal fundamental relationships between exponential stability and incremental stability in a local sense. We then apply these results to design tracking controllers and observers for Euler-Lagrangian systems on manifolds; a notable advantage of our design is that it visibly reveals the effect of curvature on system dynamics and hence suggests compensation terms in the controller and observer. Additionally, we revisit some well-known intrinsic observer problems using our proposed method, which largely simplifies the analysis compared to existing results.

math.OC↗

arXiv2022

Immersion and invariance orbital stabilization of underactuated mechanical systems with collocated pre-feedback

In this note we study the generation of attractive oscillations of a class of mechanical systems with underactuation one. The proposed design consists of two terms, i.e., a partial linearizing state feedback, and an immersion and invariance orbital stabilization controller. The first step is adopted to simplify analysis and design, however, bringing an additional difficulty that the model loses its Euler-Lagrange structure after the collocated pre-feedback. To address this, we propose a constructive solution to the orbital stabilization problem via a smooth controller in an analytic form, and the model class identified in the paper is characterized via some easily apriori verifiable assumptions on the inertia matrix and the potential energy function.

math.OC↗

arXiv2022

A high performance globally exponentially stable sensorless observer for the IPMSM: Theoretical and experimental results

In a recent paper [18] the authors proposed the first solution to the problem of designing a {\em globally exponentially stable} (GES) flux observer for the interior permanent magnet synchronous motor. However, the establishment of the stability proof relies on the assumption that the adaptation gain is sufficiently {\em small} -- a condition that may degrade the quality of the transient behavior. In this paper we propose a new GES flux observer that overcomes this limitation ensuring a high performance behavior. The design relies on the use of a novel theoretical tool -- the generation of a {\em ``virtual" invariant manifold} -- that allows the use of the more advanced Kreisselmeier's regression extension estimator, instead of a simple gradient descent one. We illustrate its superior transient behavior via extensive simulations and {\em experiments}.

eess.SY↗

arXiv2022

Attitude estimation from vector measurements: Necessary and sufficient conditions and convergent observer design

The paper addresses the problem of attitude estimation for rigid bodies using (possibly time-varying) vector measurements, for which we provide a necessary and sufficient condition of distinguishability. Such a condition is shown to be strictly weaker than those previously used for attitude observer design. Thereafter, we show that even for the single vector case the resulting condition is sufficient to design almost globally convergent attitude observers, and two explicit designs are obtained. To overcome the weak excitation issue, the first design employs to make full use of historical information, whereas the second scheme dynamically generates a virtual reference vector, which remains non-collinear to the given vector measurement. Simulation results illustrate the accurate estimation despite noisy measurements.

eess.SY↗

arXiv2022

Globally convergent visual-feature range estimation with biased inertial measurements

The design of a globally convergent position observer for feature points from visual information is a challenging problem, especially for the case with only inertial measurements and without assumptions of uniform observability, which remained open for a long time. We give a solution to the problem in this paper assuming that only the bearing of a feature point, and biased linear acceleration and rotational velocity of a robot -- all in the body-fixed frame -- are available. Further, in contrast to existing related results, we do not need the value of the gravitational constant either. The proposed approach builds upon the parameter estimation-based observer recently developed in (Ortega et al., Syst. Control Lett., vol.85, 2015) and its extension to matrix Lie groups in our previous work. Conditions on the robot trajectory under which the observer converges are given, and these are strictly weaker than the standard persistency of excitation and uniform complete observability conditions. Finally, as an illustration, we apply the proposed design to the visual inertial navigation problem.

eess.SY↗

arXiv2022

Generation of new exciting regressors for consistent on-line estimation of unknown constant parameters

The problem of parameter estimation from a standard vector linear regression equation in the absence of sufficient excitation in the regressor is addressed. The first step to solve the problem consists in transforming this equation into a set of scalar ones using the well-known dynamic regressor extension and mixing technique. Then a novel procedure to generate new scalar exciting regressors is proposed.} The superior performance of a classical gradient estimator using this new regressor, instead of the original one, is illustrated with comprehensive simulations.

stat.ME↗

arXiv2022

Conditions for Convergence of Dynamic Regressor Extension and Mixing Parameter Estimator Using LTI Filters

In this note we study the conditions for convergence of recently introduced dynamic regressor extension and mixing (DREM) parameter estimator when the extended regressor is generated using LTI filters. In particular, we are interested in relating these conditions with the ones required for convergence of the classical gradient (or least squares), namely the well-known persistent excitation (PE) requirement on the original regressor vector, $ϕ(t) \in \mathbb{R}^q$, with $q \in \mathbb{N}$ the number of unknown parameters. Moreover, we study the case when only interval excitation (IE) is available, under which DREM, concurrent and composite learning schemes ensure global convergence, being the convergence for DREM in finite time. Regarding PE we prove that, under some mild technical assumptions, if $ϕ(t)$ is PE then the scalar regressor of DREM, $Δ(t) \in \mathbb{R}$, is also PE, ensuring exponential convergence. Concerning IE we prove that if $ϕ(t)$ is IE then $Δ(t)$ is also IE. All these results are established in the almost sure sense, namely proving that the set of filter parameters for which the claims do not hold is of zero measure. The main technical tool used in our proof is inspired by a study of Luenberger observers for nonautonomous nonlinear systems recently reported in the literature.

eess.SY↗

arXiv2021

An almost globally convergent observer for visual SLAM without persistent excitation

In this paper we propose a novel observer to solve the problem of visual simultaneous localization and mapping (SLAM), only using the information from a single monocular camera and an inertial measurement unit (IMU). The system state evolves on the manifold $SE(3)\times \mathbb{R}^{3n}$, on which we design dynamic extensions carefully in order to generate an invariant foliation, such that the problem is reformulated into online \emph{constant parameter} identification. Then, following the recently introduced parameter estimation-based observer (PEBO) and the dynamic regressor extension and mixing (DREM) procedure, we provide a new simple solution. A notable merit is that the proposed observer guarantees almost global asymptotic stability requiring neither persistency of excitation nor uniform complete observability, which, however, are widely adopted in most existing works with guaranteed stability.

cs.RO↗

arXiv2021

Learning Stable Koopman Embeddings

In this paper, we present a new data-driven method for learning stable models of nonlinear systems. Our model lifts the original state space to a higher-dimensional linear manifold using Koopman embeddings. Interestingly, we prove that every discrete-time nonlinear contracting model can be learnt in our framework. Another significant merit of the proposed approach is that it allows for unconstrained optimization over the Koopman embedding and operator jointly while enforcing stability of the model, via a direct parameterization of stable linear systems, greatly simplifying the computations involved. We validate our method on a simulated system and analyze the advantages of our parameterization compared to alternatives.

cs.LG↗

arXiv2021

Composite Adaptive Control for Anti-Unwinding Attitude Maneuvers: An Exponential Stability Result Without Persistent Excitation

This paper provides an exponential stability result for the adaptive anti-unwinding attitude tracking control problem of a rigid body with uncertain but constant inertia parameters, without requiring the satisfaction of persistent excitation (PE) condition. Specifically, a composite immersion and invariance (I&I) adaptive controller is derived by integrating a prediction-error-driven learning law into the dynamically scaled I&I adaptive control framework, wherein we modify the scaling factor so that the algorithm design does not involve any dynamic gains. To avoid the unwinding problem, a barrier function is introduced as the attitude error function, along with the tactful establishment of two crucial algebra properties for exponential stability analysis. The regressor filtering method is adopted in combination with the dynamic regressor extension and mixing (DREM) procedure to acquire the prediction error using only easily obtainable signals. In particular, aiding by a constructive liner time-varying filter, the scalar regressor of DREM is extended to generate a new exciting counterpart. In this way, the derived controller is shown to permit closed-loop exponential stability without PE, in the sense that both output-tracking and parameter estimation errors exponentially converge to zero. Further, the composite learning law is augmented with a power term to achieve synchronized finite/fixed-time parameter convergence. Numerical simulations are performed to verify the theoretical findings.

eess.SY↗

arXiv2021

Identifiability Implies Robust, Globally Exponentially Convergent On-line Parameter Estimation: Application to Model Reference Adaptive Control

In this paper we propose a new parameter estimator that ensures global exponential convergence of linear regression models requiring only the necessary assumption of identifiability of the regression equation,which we show is equivalent to interval excitation of the regressor vector. Continuous and discrete-time versions of the estimators are given. An extension to--separable and monotonic--non-linear parameterizations is also given. The estimators are shown to be robust to additive measurement noise and--not necessarily slow--parameter variations. Moreover, a version of the continuous-time estimator that rejects sinusoidal disturbances with unknown internal model is given. The estimator is shown to be applicable to the classical model reference adaptive control problem relaxing the conspicuous assumption of known sign of the high-frequency gain. Simulation results that illustrate the performance of the estimator are given.

eess.SY↗

arXiv2021

Reduced-Order Nonlinear Observers via Contraction Analysis and Convex Optimization

In this paper, we propose a new approach to design globally convergent reduced-order observers for nonlinear control systems via contraction analysis and convex optimization. Despite the fact that contraction is a concept naturally suitable for state estimation, the existing solutions are either local or relatively conservative when applying to physical systems. To address this, we show that this problem can be translated into an off-line search for a coordinate transformation after which the dynamics is (transversely) contracting. The obtained sufficient condition consists of some easily verifiable differential inequalities, which, on one hand, identify a very general class of "detectable" nonlinear systems, and on the other hand, can be expressed as computationally efficient convex optimization, making the design procedure more systematic. Connections with some well-established approaches and concepts are also clarified in the paper. Finally, we illustrate the proposed method with several numerical and physical examples, including polynomial, mechanical, electromechanical and biochemical systems.

math.OC↗

arXiv2020

On necessary conditions of tracking control for nonlinear systems via contraction analysis

In this paper we address the problem of tracking control of nonlinear systems via contraction analysis. The necessary conditions of the systems which can achieve universal asymptotic tracking are studied under several different cases. We show the links to the well developed control contraction metric, as well as its invariance under dynamic extension. In terms of these conditions, we identify a differentially detectable output, based on which a simple differential controller for trajectory tracking is designed via damping injection. As illustration we apply to electrostatic microactuators.

eess.SY↗

arXiv2020

Smooth, Time-invariant Regulation of Nonholonomic Systems via Energy Pumping-and-Damping

In this paper we propose an energy pumping-and-damping technique to regulate nonholonomic systems described by kinematic models. The controller design follows the widely popular interconnection and damping assignment passivity-based methodology, with the free matrices partially structured. Two asymptotic regulation objectives are considered: drive to zero the state or drive the systems total energy to a desired constant value. In both cases, the control laws are smooth, time-invariant, state-feedbacks. For the nonholonomic integrator we give an almost global solution for both problems, with the objectives ensured for all system initial conditions starting outside a set that has zero Lebesgue measure and is nowhere dense. For the general case of higher-order nonholonomic systems in chained form, a local stability result is given. Simulation results comparing the performance of the proposed controller with other existing designs are also provided.

eess.SY↗

arXiv2020

A New Signal Injection-based Method for Estimation of Position in Interior Permanent Magnet Synchronous Motors

Several heuristic procedures to estimate the rotor position of permanent magnet synchronous motors (PMSM) via signal injection have been reported in the literature. Using averaging theory, a framework to analyse such schemes has been recently proposed. However, to the best of our knowledge, no theoretical analysis of the performance of the conventional linear time invariant filtering methods, which are widely used as standard industrial practice, has been reported in the literature. The objective of this note is to propose a new method that, on one hand, is amenable to a rigorous theoretical analysis and, on the other hand, ensures an improved accuracy in the position estimation. An additional advantage of the new method is that it relies on the use of linear operators, implementable with simple computations. The effectiveness of the proposed scheme is assessed by experiments on an interior PMSM platform driven by a 521 V DC bus with 5-kHz PWM.

eess.SY↗