Showing 1–30 of 30 results for author: Yi, B

Control contraction metrics on Lie groups

Authors: Dongjun Wu, Bowen Yi, Ian R. Manchester

Abstract: In this paper, we extend the control contraction metrics (CCM) approach, which was originally proposed for the universal tracking control of nonlinear systems, to those that evolves on Lie groups. Our idea is to view the manifold as a constrained set that is embedded in Euclidean space, and then propose the sufficient conditions for the existence of a CCM and the associated controller design. Nota… ▽ More In this paper, we extend the control contraction metrics (CCM) approach, which was originally proposed for the universal tracking control of nonlinear systems, to those that evolves on Lie groups. Our idea is to view the manifold as a constrained set that is embedded in Euclidean space, and then propose the sufficient conditions for the existence of a CCM and the associated controller design. Notably, we demonstrate that the search for CCM on Lie groups can be reformulated as convex conditions. The results extend the applicability of the CCM approach and provide a framework for analyzing the behavior of control systems with Lie group structures. △ Less

Submitted 22 March, 2024; originally announced March 2024.

Learning Stable Koopman Embeddings for Identification and Control

Authors: Fletcher Fan, Bowen Yi, David Rye, Guodong Shi, Ian R. Manchester

Abstract: This paper introduces new model parameterizations for learning discrete-time dynamical systems from data via the Koopman operator and studies their properties. Whereas most existing works on Koopman learning do not take into account the stability or stabilizability of the model -- two fundamental pieces of prior knowledge about a given system to be identified -- in this paper, we propose new class… ▽ More This paper introduces new model parameterizations for learning discrete-time dynamical systems from data via the Koopman operator and studies their properties. Whereas most existing works on Koopman learning do not take into account the stability or stabilizability of the model -- two fundamental pieces of prior knowledge about a given system to be identified -- in this paper, we propose new classes of Koopman models that have built-in guarantees of these properties. These guarantees are achieved through a novel {\em direct parameterization approach} that leads to {\em unconstrained} optimization problems over their parameter sets. {These results rely on the invertibility of the vector fields for autonomous systems and the generalized feedback linearizability (under smooth feedback), respectively.} To explore the representational flexibility of these model sets, we establish the theoretical connections between the stability of discrete-time Koopman embedding and contraction-based forms of nonlinear stability and stabilizability. The proposed approach is illustrated in applications to stable nonlinear system identification and imitation learning via stabilizable models. Simulation results empirically show that the proposed learning approaches outperform prior methods lacking stability guarantees. △ Less

Submitted 8 May, 2025; v1 submitted 16 January, 2024; originally announced January 2024.

Bias-Compensated State of Charge and State of Health Joint Estimation for Lithium Iron Phosphate Batteries

Authors: Baozhao Yi, Xinhao Du, Jiawei Zhang, Xiaogang Wu, Qiuhao Hu, Weiran Jiang, Xiaosong Hu, Ziyou Song

Abstract: Accurate estimation of the state of charge (SOC) and state of health (SOH) is crucial for the safe and reliable operation of batteries. Voltage measurement bias highly affects state estimation accuracy, especially in Lithium Iron Phosphate (LFP) batteries, which are susceptible due to their flat open-circuit voltage (OCV) curves. This work introduces a bias-compensated algorithm to reliably estima… ▽ More Accurate estimation of the state of charge (SOC) and state of health (SOH) is crucial for the safe and reliable operation of batteries. Voltage measurement bias highly affects state estimation accuracy, especially in Lithium Iron Phosphate (LFP) batteries, which are susceptible due to their flat open-circuit voltage (OCV) curves. This work introduces a bias-compensated algorithm to reliably estimate the SOC and SOH of LFP batteries under the influence of voltage measurement bias. Specifically, SOC and SOH are estimated using the Dual Extended Kalman Filter (DEKF) in the high-slope SOC range, where voltage measurement bias effects are weak. Besides, the voltage measurement biases estimated in the low-slope SOC regions are compensated in the following joint estimation of SOC and SOH to enhance the state estimation accuracy further. Experimental results indicate that the proposed algorithm significantly outperforms the traditional method, which does not consider biases under different temperatures and aging conditions. Additionally, the bias-compensated algorithm can achieve low estimation errors of below 1.5% for SOC and 2% for SOH, even with a 30mV voltage measurement bias. Finally, even if the voltage measurement biases change in operation, the proposed algorithm can remain robust and keep the estimated errors of states around 2%. △ Less

Submitted 12 March, 2024; v1 submitted 16 January, 2024; originally announced January 2024.

Comments: 9 pages and 8 figures

Modeling, control, and stiffness regulation of layer jamming-based continuum robots

Authors: Yeman Fan, Bowen Yi, Dikai Liu

Abstract: Continuum robots with variable compliance have gained significant attention due to their adaptability in unstructured environments. Among various stiffness modulation techniques, layer jamming (LJ) provides a simple yet effective approach for achieving tunable stiffness. However, most existing LJ-based continuum robot models rely on static or quasi-static approximations, lacking a rigorous control… ▽ More Continuum robots with variable compliance have gained significant attention due to their adaptability in unstructured environments. Among various stiffness modulation techniques, layer jamming (LJ) provides a simple yet effective approach for achieving tunable stiffness. However, most existing LJ-based continuum robot models rely on static or quasi-static approximations, lacking a rigorous control-oriented dynamical formulation. Consequently, they are unsuitable for real-time control tasks requiring simultaneous regulation of configuration and stiffness and fail to capture the full dynamic behavior of LJ-based continuum robots. To address this gap, this paper proposes a port-Hamiltonian formulation for LJ-based continuum robots, formally characterizing the two key phenomena -- shape locking and tunable stiffness -- within a unified energy-based framework. Based on this model, we develop a passivity-based control approach that enables decoupled regulation of stiffness and configuration with provable stability guarantees. We validate the proposed framework through comprehensive experiments on the OctRobot-I continuum robotic platform. The results demonstrate consistency between theoretical predictions and empirical data, highlighting the feasibility of our approach for real-world implementation. △ Less

Submitted 6 June, 2025; v1 submitted 8 September, 2023; originally announced September 2023.

On IMU preintegration: A nonlinear observer viewpoint and its application

Authors: Bowen Yi, Ian R. Manchester

Abstract: 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 im… ▽ More 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. △ Less

Submitted 9 July, 2023; originally announced July 2023.

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

Authors: Bowen Yi, Chi Jin, Lei Wang, Guodong Shi, Viorela Ila, Ian R. Manchester

Abstract: 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 ext… ▽ More 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. △ Less

Submitted 22 June, 2023; originally announced June 2023.

Simultaneous Position-and-Stiffness Control of Underactuated Antagonistic Tendon-Driven Continuum Robots

Authors: Bowen Yi, Yeman Fan, Dikai Liu, Jose Guadalupe Romero

Abstract: Continuum robots have gained widespread popularity due to their inherent compliance and flexibility, particularly their adjustable levels of stiffness for various application scenarios. Despite efforts to dynamic modeling and control synthesis over the past decade, few studies have incorporated stiffness regulation into their feedback control design; however, this is one of the initial motivations… ▽ More Continuum robots have gained widespread popularity due to their inherent compliance and flexibility, particularly their adjustable levels of stiffness for various application scenarios. Despite efforts to dynamic modeling and control synthesis over the past decade, few studies have incorporated stiffness regulation into their feedback control design; however, this is one of the initial motivations to develop continuum robots. This paper addresses the crucial challenge of controlling both the position and stiffness of underactuated continuum robots actuated by antagonistic tendons. We begin by presenting a rigid-link dynamical model that can analyze the open-loop stiffening of tendon-driven continuum robots. Based on this model, we propose a novel passivity-based position-and-stiffness controller that adheres to the non-negative tension constraint. Comprehensive experiments on our continuum robot validate the theoretical results and demonstrate the efficacy and precision of this approach. △ Less

Submitted 16 September, 2024; v1 submitted 6 June, 2023; originally announced June 2023.

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

Authors: Bowen Yi, Romeo Ortega, Jongwon Choi, Kwanghee Nam

Abstract: 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.… ▽ More 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}. △ Less

Submitted 1 October, 2022; originally announced October 2022.

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

Authors: Bowen Yi, Lei Wang, Ian R. Manchester

Abstract: 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 suffici… ▽ More 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. △ Less

Submitted 27 June, 2022; originally announced June 2022.

Globally convergent visual-feature range estimation with biased inertial measurements

Authors: Bowen Yi, Chi Jin, Ian R. Manchester

Abstract: 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… ▽ More 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. △ Less

Submitted 14 April, 2022; v1 submitted 22 December, 2021; originally announced December 2021.

Learning Stable Koopman Embeddings

Authors: Fletcher Fan, Bowen Yi, David Rye, Guodong Shi, Ian R. Manchester

Abstract: 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 unconstrain… ▽ More 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. △ Less

Submitted 13 October, 2021; originally announced October 2021.

Semi-Supervised Segmentation of Radiation-Induced Pulmonary Fibrosis from Lung CT Scans with Multi-Scale Guided Dense Attention

Authors: Guotai Wang, Shuwei Zhai, Giovanni Lasio, Baoshe Zhang, Byong Yi, Shifeng Chen, Thomas J. Macvittie, Dimitris Metaxas, Jinghao Zhou, Shaoting Zhang

Abstract: Computed Tomography (CT) plays an important role in monitoring radiation-induced Pulmonary Fibrosis (PF), where accurate segmentation of the PF lesions is highly desired for diagnosis and treatment follow-up. However, the task is challenged by ambiguous boundary, irregular shape, various position and size of the lesions, as well as the difficulty in acquiring a large set of annotated volumetric im… ▽ More Computed Tomography (CT) plays an important role in monitoring radiation-induced Pulmonary Fibrosis (PF), where accurate segmentation of the PF lesions is highly desired for diagnosis and treatment follow-up. However, the task is challenged by ambiguous boundary, irregular shape, various position and size of the lesions, as well as the difficulty in acquiring a large set of annotated volumetric images for training. To overcome these problems, we propose a novel convolutional neural network called PF-Net and incorporate it into a semi-supervised learning framework based on Iterative Confidence-based Refinement And Weighting of pseudo Labels (I-CRAWL). Our PF-Net combines 2D and 3D convolutions to deal with CT volumes with large inter-slice spacing, and uses multi-scale guided dense attention to segment complex PF lesions. For semi-supervised learning, our I-CRAWL employs pixel-level uncertainty-based confidence-aware refinement to improve the accuracy of pseudo labels of unannotated images, and uses image-level uncertainty for confidence-based image weighting to suppress low-quality pseudo labels in an iterative training process. Extensive experiments with CT scans of Rhesus Macaques with radiation-induced PF showed that: 1) PF-Net achieved higher segmentation accuracy than existing 2D, 3D and 2.5D neural networks, and 2) I-CRAWL outperformed state-of-the-art semi-supervised learning methods for the PF lesion segmentation task. Our method has a potential to improve the diagnosis of PF and clinical assessment of side effects of radiotherapy for lung cancers. △ Less

Submitted 28 September, 2021; originally announced September 2021.

Comments: 12 pages, 9 figures. Submitted to IEEE TMI

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

Authors: Jose Guadalupe Romero, Bowen Yi

Abstract: 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 it… ▽ More 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. △ Less

Submitted 28 October, 2022; v1 submitted 14 September, 2021; originally announced September 2021.

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

Authors: Xiaodong Shao, Qinglei Hu, Daochun Li, Yang Shi, Bowen Yi

Abstract: 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… ▽ More 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. △ Less

Submitted 22 August, 2021; originally announced August 2021.

Comments: 15 pages

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

Authors: Lei Wang, Romeo Ortega, Alexey Bobtsov, Jose Guadalupe Romero, Bowen Yi

Abstract: 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-li… ▽ More 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. △ Less

Submitted 18 August, 2021; originally announced August 2021.

An almost globally convergent observer for visual SLAM without persistent excitation

Authors: Bowen Yi, Chi Jin, Lei Wang, Guodong Shi, Ian R. Manchester

Abstract: 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 prob… ▽ More 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. △ Less

Submitted 21 December, 2021; v1 submitted 7 April, 2021; originally announced April 2021.

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

Authors: Alexey Bobtsov, Bowen Yi, Romeo Ortega, Alessandro Astolfi

Abstract: 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 pr… ▽ More 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. △ Less

Submitted 10 March, 2022; v1 submitted 5 April, 2021; originally announced April 2021.

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

Authors: Bowen Yi, Ian R. Manchester

Abstract: 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 st… ▽ More 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. △ Less

Submitted 21 September, 2023; v1 submitted 27 March, 2021; originally announced March 2021.

Reduced-Order Nonlinear Observers via Contraction Analysis and Convex Optimization

Authors: Bowen Yi, Ruigang Wang, Ian R. Manchester

Abstract: 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… ▽ More 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. △ Less

Submitted 16 August, 2021; v1 submitted 11 December, 2020; originally announced December 2020.

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

Authors: Bowen Yi, Ruigang Wang, Ian R. Manchester

Abstract: 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 di… ▽ More 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. △ Less

Submitted 15 November, 2020; v1 submitted 18 September, 2020; originally announced September 2020.

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

Authors: Bowen Yi, Romeo Ortega

Abstract: 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) re… ▽ More 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. △ Less

Submitted 6 February, 2022; v1 submitted 30 July, 2020; originally announced July 2020.

Path following of a class of underactuated mechanical systems via immersion and invariance-based orbital stabilization

Authors: Bowen Yi, Romeo Ortega, Ian R. Manchester, Houria Siguerdidjane

Abstract: This paper aims to provide a new problem formulation of path following for mechanical systems without time parameterization nor guidance laws, namely, we express the control objective as an orbital stabilization problem. It is shown that, it is possible to adapt the immersion and invariance technique to design static state-feedback controllers that solve the problem. In particular, we select the t… ▽ More This paper aims to provide a new problem formulation of path following for mechanical systems without time parameterization nor guidance laws, namely, we express the control objective as an orbital stabilization problem. It is shown that, it is possible to adapt the immersion and invariance technique to design static state-feedback controllers that solve the problem. In particular, we select the target dynamics adopting the recently introduced Mexican sombrero energy assignment method. To demonstrate the effectiveness of the proposed method we apply it to control underactuated marine surface vessels. △ Less

Submitted 28 January, 2020; originally announced January 2020.

A globally exponentially stable position observer for interior permanent magnet synchronous motors

Authors: Romeo Ortega, Bowen Yi, Slobodan Vukosavic, Kwanghee Nam, Jongwon Choi

Abstract: The design of a position observer for the interior permanent magnet synchronous motor is a challenging problem that, in spite of many research efforts, remained open for a long time. In this paper we present the first globally exponentially convergent solution to it, assuming that the saliency is not too large. As expected in all observer tasks, a persistency of excitation condition is imposed. Co… ▽ More The design of a position observer for the interior permanent magnet synchronous motor is a challenging problem that, in spite of many research efforts, remained open for a long time. In this paper we present the first globally exponentially convergent solution to it, assuming that the saliency is not too large. As expected in all observer tasks, a persistency of excitation condition is imposed. Conditions on the operation of the motor, under which it is verified, are given. In particular, it is shown that at rotor standstill---when the system is not observable---it is possible to inject a probing signal to enforce the persistent excitation condition. {The high performance of the proposed observer, in standstill and high speed regions, is verified by extensive series of test-runs on an experimental setup. △ Less

Submitted 26 February, 2020; v1 submitted 2 May, 2019; originally announced May 2019.

Orbital stabilization of nonlinear systems via Mexican sombrero energy shaping and pumping-and-damping injection

Authors: Bowen Yi, Romeo Ortega, Dongjun Wu, Weidong Zhang

Abstract: In this paper we show that a slight modification to the widely popular interconnection and damping assignment passivity-based control method---originally proposed for stabilization of equilibria of nonlinear systems---allows us to provide a solution to the more challenging orbital stabilization problem. Two different, though related, ways how this procedure can be applied are proposed. First, the… ▽ More In this paper we show that a slight modification to the widely popular interconnection and damping assignment passivity-based control method---originally proposed for stabilization of equilibria of nonlinear systems---allows us to provide a solution to the more challenging orbital stabilization problem. Two different, though related, ways how this procedure can be applied are proposed. First, the assignment of an energy function that has a minimum in a closed curve, i.e., with the shape of a Mexican sombrero. Second, the use of a damping matrix that changes "sign" according to the position of the state trajectory relative to the desired orbit, that is, pumping or dissipating energy. The proposed methodologies are illustrated with the example of the induction motor and prove that it yields the industry standard field oriented control. △ Less

Submitted 1 September, 2019; v1 submitted 10 March, 2019; originally announced March 2019.

Journal ref: Automatica, 2020

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

Authors: Bowen Yi, Slobodan N. Vukosavic, Romeo Ortega, Aleksandar M. Stankovic, Weidong Zhang

Abstract: 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, whic… ▽ More 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. △ Less

Submitted 16 March, 2020; v1 submitted 6 February, 2019; originally announced February 2019.

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

Authors: Bowen Yi, Romeo Ortega, Weidong Zhang

Abstract: 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 energ… ▽ More 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. △ Less

Submitted 9 May, 2020; v1 submitted 30 December, 2018; originally announced December 2018.

Orbital Stabilization of Nonlinear Systems via the Immersion and Invariance Technique

Authors: Romeo Ortega, Bowen Yi, Jose Guadalupe Romero, Alessandro Astolfi

Abstract: Immersion and Invariance is a technique for the design of stabilizing and adaptive controllers and state observers for nonlinear systems. In all these applications the problem considered is the stabilization of equilibrium points. Motivated by some modern applications we show that the technique can also be used to solve the problem of orbital stabilization, where the final objective is to generate… ▽ More Immersion and Invariance is a technique for the design of stabilizing and adaptive controllers and state observers for nonlinear systems. In all these applications the problem considered is the stabilization of equilibrium points. Motivated by some modern applications we show that the technique can also be used to solve the problem of orbital stabilization, where the final objective is to generate periodic solutions that are attractive. The feasibility of our result is illustrated with some classical mechanical engineering and electronics examples. △ Less

Submitted 1 December, 2019; v1 submitted 1 October, 2018; originally announced October 2018.

Journal ref: International Journal of Robust and Nonlinear Control, 2019

On Generation of Virtual Outputs via Signal Injection: Application to Observer Design for Electromechanical Systems

Authors: Bowen Yi, Romeo Ortega, Houria Siguerdidjane, Juan E. Machado, Weidong Zhang

Abstract: Probing signal injection is a well-established technique to extract additional information from a weakly (or non) observable dynamical system. Using averaging theory, a framework to analyse such schemes for general nonlinear systems has been recently proposed in [Combes et. al., 2016], where it is shown that the signal injection may be used to generate a new high frequency component of the systems… ▽ More Probing signal injection is a well-established technique to extract additional information from a weakly (or non) observable dynamical system. Using averaging theory, a framework to analyse such schemes for general nonlinear systems has been recently proposed in [Combes et. al., 2016], where it is shown that the signal injection may be used to generate a new high frequency component of the systems output that can be used for state observation or controller design. A key step for the success of this technique is the implementation of a filter to reconstruct this virtual output from the measurement of the overall systems output. The main contribution of this paper is to propose a new filter with guaranteed convergence properties that outperforms the classical designs. The method is applied to a general class of electromechanical systems, and its performance is assessed via simulations and experiments on the benchmark example of a 1-dof magnetic levitation system. △ Less

Submitted 18 November, 2019; v1 submitted 26 July, 2018; originally announced July 2018.

Journal ref: European Journal of Control, 2019

An Adaptive Observer for Sensorless Control of the Levitated Ball Using Signal Injection

Authors: Bowen Yi, Romeo Ortega, Houria Siguerdidjane, Weidong Zhang

Abstract: In this paper we address the problem of sensorless control of the 1-DOF magnetic levitation system. Assuming that only the current and the voltage are measurable, we design an adaptive state observer using the technique of signal injection. Our main contribution is to propose a new filter to identify the virtual output generated by the signal injection. It is shown that this filter, designed using… ▽ More In this paper we address the problem of sensorless control of the 1-DOF magnetic levitation system. Assuming that only the current and the voltage are measurable, we design an adaptive state observer using the technique of signal injection. Our main contribution is to propose a new filter to identify the virtual output generated by the signal injection. It is shown that this filter, designed using the dynamic regressor extension and mixing estimator, outperforms the classical one. Two additional features of the proposed observer are that (i) it does not require the knowledge of the electrical resistance, which is also estimated on-line and (ii) exponential convergence to a tunable residual set is guaranteed without excitation assumptions. The observer is then applied, in a certainty equivalent way, to a full state-feedback control law to obtain the sensorless controller, whose performance is assessed via simulations and experiments. △ Less

Submitted 26 July, 2018; v1 submitted 8 April, 2018; originally announced April 2018.

On State Observers for Nonlinear Systems: A New Design and a Unifying Framework

Authors: Bowen Yi, Romeo Ortega, Weidong Zhang

Abstract: In this paper we propose a new observer design technique for nonlinear systems. It combines the well-known Kazantzis-Kravaris-Luenberger observer and the recently introduced parameter estimation-based observer, which become special cases of it---extending the realm of applicability of both methods. A second contribution of the paper is the proof that these designs can be recast as particular cases… ▽ More In this paper we propose a new observer design technique for nonlinear systems. It combines the well-known Kazantzis-Kravaris-Luenberger observer and the recently introduced parameter estimation-based observer, which become special cases of it---extending the realm of applicability of both methods. A second contribution of the paper is the proof that these designs can be recast as particular cases of immersion and invariance observers---providing in this way a unified framework for their analysis and design. Simulation results of a physical system that illustrates the superior performance of the proposed observer compared to other existing observers are presented. △ Less

Submitted 11 July, 2018; v1 submitted 21 December, 2017; originally announced December 2017.

Journal ref: IEEE Transactions on Automatic Control, 2018