Related papers: Geometric Reachability for Attitude Control System…
This paper proposes an algorithm capable of driving a system to follow a piecewise linear trajectory without prior knowledge of the system dynamics. Motivated by a critical failure scenario in which a system can experience an abrupt change…
We study optimization over Riemannian embedded submanifolds, where the objective function is relatively smooth in the ambient Euclidean space. Such problems have broad applications but are still largely unexplored. We introduce two…
The problem of recovering the configuration of points from their partial pairwise distances, referred to as the Euclidean Distance Matrix Completion (EDMC) problem, arises in a broad range of applications, including sensor network…
We present a method of computing backward reachable sets for nonlinear discrete-time control systems possessing continuous symmetries. The starting point is a dynamic game formulation of reachability analysis where control inputs aim to…
Neural Networks (NNs) can provide major empirical performance improvements for robotic systems, but they also introduce challenges in formally analyzing those systems' safety properties. In particular, this work focuses on estimating the…
This paper develops a new approach to small time local attainability of smooth manifolds of any dimension, possibly with boundary and to prove H\"older continuity of the minimum time function. We give explicit pointwise conditions of any…
Reinforcement learning (RL) for reachability specifications is fundamental in sequential decision-making, yet theoretical guarantees remain less explored. A recent work achieves asymptotic convergence to optimal policies. However, this…
This work proposes a quaternion-based sliding variable that describes exponentially convergent error dynamics for any forward complete desired attitude trajectory. The proposed sliding variable directly operates on the non-Euclidean space…
We consider the problem of distributed attitude estimation of multi-agent systems, evolving on $SO(3)$, relying on individual angular velocity and relative attitude measurements. The interaction graph topology is assumed to be an undirected…
The aim of this paper is to give some existence results of optimal control of robotic systems with a Riemannian geometric view, and derive a formulation of the PMP using the intrinsic geometry of the configuration space. Applying this…
Determining the reachable set for a given nonlinear control system is crucial for system control and planning. However, computing such a set is impossible if the system's dynamics are not fully known. This paper is motivated by a scenario…
In this paper, we study the well-posedness and approximate controllability of a class of network systems having delays and controls at the boundary conditions. The particularity of this work is that the network system is defined on infinite…
We propose a novel Branch-and-Bound method for reachability analysis of neural networks in both open-loop and closed-loop settings. Our idea is to first compute accurate bounds on the Lipschitz constant of the neural network in certain…
This work presents the first application of the state-of-the-art Koenig-D'Amico reachable set theory solver to cislunar, chaotic relative motion in the Circular-Restricted Three-Body Problem (CR3BP). The relative motion dynamics of two…
This paper over-approximates the reachable sets of a continuous-time uncertain system using the sensitivity of its trajectories with respect to initial conditions and uncertain parameters. We first prove the equivalence between an existing…
A global model is presented that can be used to study attitude maneuvers of a rigid spacecraft in a circular orbit about a large central body. The model includes gravity gradient effects that arise from the non-uniform gravity field and…
Hamilton-Jacobi (HJ) reachability analysis has been developed over the past decades into a widely-applicable tool for determining goal satisfaction and safety verification in nonlinear systems. While HJ reachability can be formulated very…
This paper studies the attitude control of a satellite in three-axis by thrusters. The mathematical model of attitude dynamics and kinematics of the satellite is represented as a switched system with sub-systems. Each sub-system is defined…
This paper presents four types of tracking control systems for the attitude dynamics of a rigid body. First, a smooth control system is constructed to track a given desired attitude trajectory, while guaranteeing almost semi-global…
This paper addresses the trajectory-tracking problem for a class of electromechanical systems. To this end, the dynamics of the plants are modeled in the so-called port-Hamiltonian framework. Then, the notion of contraction is exploited to…