Log-linear Dynamic Inversion Control with Provable Safety Guarantees in Lie Groups
In this paper, we use the derivative of the exponential map to derive the exact evolution of the logarithm of the tracking error for mixed-invariant systems, a class of systems capable of describing rigid body tracking problems in Lie groups. Additionally, we design a log-linear dynamic inversion-based control law to remove the nonlinearities due to spatial curvature and enhance the robustness of the controller. We apply Linear Matrix Inequalities (LMIs) to bound the tracking error given a bounded disturbance amplified by the distortion matrix and leverage the tracking error bound to create flow pipes. To demonstrate the usefulness of our method, we show its application with Urban Air Mobility (UAM) scenarios using a simplified kinematic aircraft model and polynomial-based path planning methods.
Code (0)
등록된 구현이 없습니다.
Similar Papers 제목 키워드 기반
Safe Reinforcement Learning via Recovery-based Shielding with Gaussian Process Dynamics Models
Reinforcement learning (RL) is a powerful framework for optimal decision-making and control but often lacks provable guarantees for safety-critical applications. In this paper, we introduce a novel recovery-based shieldi…
Reinforcement LearningContinuous ControlApplication of Log-Linear Dynamic Inversion Control to a Multi-rotor
This paper presents an approach that employs log-linearization in Lie group theory and the Newton-Euler equations to derive exact linear error dynamics for a multi-rotor model, and applies this model with a novel log-lin…
Control Barrier Functionals: Safety-critical Control for Time Delay Systems
This work presents a theoretical framework for the safety-critical control of time delay systems. The theory of control barrier functions, that provides formal safety guarantees for delay-free systems, is extended to sys…
Sample-efficient Safe Learning for Online Nonlinear Control with Control Barrier Functions
Reinforcement Learning (RL) and continuous nonlinear control have been successfully deployed in multiple domains of complicated sequential decision-making tasks. However, given the exploration nature of the learning proc…
Decision MakingReinforcement Learning (RL)Safe ExplorationSequential Decision MakingFORMULA: FORmation MPC with neUral barrier Learning for safety Assurance
Multi-robot systems (MRS) are essential for large-scale applications such as disaster response, material transport, and warehouse logistics, yet ensuring robust, safety-aware formation control in cluttered and dynamic en…