相关论文: Hamilton--Jacobi Reachability for Spacecraft Colli…

A hybrid system is a system whose dynamics is given by a mixture of both continuous and discrete transitions. In particular, these systems can be utilised to describe the dynamics of a mechanical system with impacts. Based on the approach…

This paper investigates the application of zonotope-based reachability analysis to low-thrust spacecraft in both two-body and cislunar environments. Reachable sets are generated under two-body and circular restricted three-body (CR3BP)…

Reachability analysis aims at identifying states reachable by a system within a given time horizon. This task is known to be computationally expensive for linear hybrid systems. Reachability analysis works by iteratively applying continuous…

In applications such as autonomous landing and navigation, it is often desirable to steer toward a target while retaining the ability to divert to at least $r$ (out of $p$) alternative sites if conditions change. In this work, we formalize…

Action anticipation, intent prediction, and proactive behavior are all desirable characteristics for autonomous driving policies in interactive scenarios. Paramount, however, is ensuring safety on the road --- a key challenge in doing so is…

A multiplayer reach-avoid game is a differential game between an attacking team with NA attackers and a defending team with ND defenders playing on a compact domain with obstacles. The attacking team aims to send M of the NA attackers to…

We address finding the semi-global solutions to optimal feedback control and the Hamilton--Jacobi--Bellman (HJB) equation. Using the solution of an HJB equation, a feedback optimal control law can be implemented in real-time with minimum…

This paper presents the design of a state-feedback control law for spacecraft rendezvous, formulated using the Hill-Clohessy-Wiltshire equations. The proposed method introduces an impulsive control strategy to regulate thruster operations.…

This paper deals with the impulsive formation control of spacecraft in the presence of constraints on the position vector and time. Determining a set of path constraints can increase the safety and reliability in an impulsive relative…

With the increasing interest in proximity and docking operations, there is a growing interest in spacecraft relative motion control. This paper extends a previously proposed constrained relative motion approach based on chained positively…

In this paper, we consider the controlled rigid spacecraft with an internal rotor as a regular point reducible regular controlled Hamiltonian (RCH) system. In the cases of coincident and non-coincident centers of buoyancy and gravity, we…

Verifying the correct behavior of robots in contact tasks is challenging due to model uncertainties associated with contacts. Standard methods for testing often fall short since all (uncountable many) solutions cannot be obtained. Instead,…

We give a meaning to the Hamilton--Jacobi equation arising from mean-field spin glass models in the viscosity sense, and establish the corresponding well-posedness. Originally defined on the set of monotone probability measures, these…

The purpose of this paper is to describe the numerical solution of the Hamilton-Jacobi-Bellman (HJB) for an optimal control problem for quantum spin systems. This HJB equation is a first order nonlinear partial differential equation defined…

Approaching a tumbling target safely is a critical challenge in space debris removal missions utilizing robotic manipulators onboard servicing satellites. In this work, we propose a trajectory planning method based on nonlinear optimization…

In this paper we develope, in a geometric framework, a Hamilton-Jacobi Theory for general dynamical systems. Such a theory contains the classical theory for Hamiltonian systems on a cotangent bundle and recent developments in the framework…

This paper presents a strategy for control of a spacecraft docking with a non-maneuvering target in the presence of safety constraints and bounded disturbances. The presence of disturbances prevents convergence to a unique docking state, so…

Cislunar space is becoming a critical domain for future lunar and interplanetary missions, yet its remoteness, sparse infrastructure, and unstable dynamics create single points of failure. Adversaries in cislunar orbits can exploit these…

This paper is devoted to developing a unified framework for stochastic growth models with environmental risk, in which rare but catastrophic shocks interact with capital accumulation and pollution. The analysis is based upon a general…

The number of space objects will grow several times in a few years due to the planned launches of constellations of thousands microsatellites. It leads to a significant increase in the threat of satellite collisions. Spacecraft must…