SearcharxivSearch

arXiv subjects

Erlend A. Basso

Publications and source records attributed to Erlend A. Basso.

2 recordsLinked to original sources

Equivalence of Left- and Right-Invariant Extended Kalman Filters on Matrix Lie Groups

This paper derives the extended Kalman filter (EKF) for continuous-time systems on matrix Lie groups observed through discrete-time measurements. By modeling the system noise on the Lie algebra and adopting a Stratonovich interpretation for the stochastic differential equation (SDE), we ensure that solutions remain on the manifold. The derivation of the filter follows classical EKF principles, naturally integrating a necessary full-order covariance reset post-measurement update. A key contribution is proving that this full-order covariance reset guarantees that the Lie-group-valued state estimate is invariant to whether a left- or right-invariant error definition is used in the EKF. Monte Carlo simulations of the aided inertial navigation problem validate the invariance property and confirm its absence when employing reduced-order covariance resets.

eess.SY

Task-Priority Control of Redundant Robotic Systems using Control Lyapunov and Control Barrier Function based Quadratic Programs

This paper presents a novel task-priority control framework for redundant robotic systems based on a hierarchy of control Lyapunov function (CLF) and control barrier function (CBF) based quadratic programs (QPs). The proposed method guarantees strict priority among different groups of tasks such as safety-related, operational and optimization tasks. Moreover, a soft priority measure in the form of penalty parameters can be employed to prioritize tasks at the same priority level. As opposed to kinematic control schemes, the proposed framework is a holistic approach to control of redundant robotic systems, which solves the redundancy resolution, dynamic control and control allocation problems simultaneously. Numerical simulations of a hyper-redundant articulated intervention autonomous underwater vehicle (AIAUV) is presented to validate the proposed framework.

eess.SY