This work presents a novel algorithm for impulsive optimal control of linear time-varying systems with the inclusion of input magnitude constraints. Impulsive optimal control problems, where the optimal input solution is a sum of delta functions, are typically formulated as an optimization over a normed function space subject to integral equality constraints and can be efficiently solved for linear time-varying systems in their dual formulation. In this dual setting, the problem takes the form of a semi-infinite program which is readily solvable in online scenarios for constructing maneuver plans. This work augments the approach with the inclusion of magnitude constraints on the input over time windows of interest, which is shown to preserve the impulsive nature of the optimal solution and enable efficient solution procedures via semi-infinite programming. The resulting algorithm is demonstrated on the highly relevant problem of relative motion control of spacecraft in Low Earth Orbit (LEO).
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 motion of spacecraft. Specially, the feasibility problem of the position norm constraints is considered in this paper. Under assumptions, it is proved that if a position vector be reachable, then the reach time and the corresponding time of impulses are unique. The trajectory boundedness of the spacecraft between adjacent impulses are analyzed using the Gerschgor…
This paper shows how to find lower bounds on, and sometimes solve globally, a large class of nonlinear optimal control problems with impulsive controls using semi-definite programming (SDP). This is done by relaxing an optimal control problem into a measure differential problem. The manipulation of the measures by their moments reduces the problem to a convergent series of standard linear matrix inequality (LMI) relaxations. After providing numerous academic examples, we apply the method to the impulsive rendezvous of two orbiting spacecrafts. As the method provides lower bounds on the global …
The paper develops a Model Predictive Controller for constrained control of spacecraft attitude with reaction wheel actuators. The controller exploits a special formulation of the cost with the reference governor like term, a low complexity addition of integral action to guarantee offset-free tracking of attitude set points, and an online optimization algorithm for the solution of the Quadratic Programming problem which is tailored to run in fixed-point arithmetic. Simulations on a nonlinear spacecraft model demonstrate that the MPC controller achieves good tracking performance while satisfyin…
The paper considers the application of feedback control to orbital transfer maneuvers subject to constraints on the spacecraft thrust and on avoiding the collision with the primary body. Incremental reference governor (IRG) strategies are developed to complement the nominal Lyapunov controller, derived based on Gauss Variational Equations, and enforce the constraints. Simulation results are reported that demonstrate the successful constrained orbital transfer maneuvers with the proposed approach. A Lyapunov function based IRG and a prediction-based IRG are compared. While both implementations …
We consider the constrained optimal control problem for the gradual-impulsive CTMDP model with the performance criteria being the expected total undiscounted costs (from the running cost and the cost from each time an impulse being applied). The discounted model is covered as a special case. We justify fully a reduction method, and close an open issue in the previous literature. The reduction method induces an equivalent but simpler standard CTMDP model with gradual control only, based on which, we establish effectively, under rather natural conditions, a linear programming approach for solvin…
In this paper we consider an impulsive extension of an optimal control problem with unbounded controls, subject to endpoint and state constraints. We show that the existence of an extended-sense minimizer that is a normal extremal for a constrained Maximum Principle ensures that there is no gap between the infima of the original problem and of its extension. Furthermore, we translate such relation into verifiable sufficient conditions for normality in the form of constraint and endpoint qualifications. Links between existence of an infimum gap and normality in impulsive control have previously…
Spacecraft relative motion planning is concerned with the design and execution of maneuvers relative to a nominal target. These types of maneuvers are frequently utilized in missions such as rendezvous and docking, satellite inspection and formation flight where exclusion zones representing spacecraft or other obstacles must be avoided. The presence of these exclusion zones leads to non-linear and non-convex constraints which must be satisfied. In this paper, a novel approach to spacecraft relative motion planning with obstacle avoidance and thrust constraints is developed. This approach is ba…
In inland fisheries, transporting fishery resource individuals from a habitat to spatially apart habitat(s) has recently been considered for fisheries stock management in the natural environment. However, its mathematical optimization, especially finding when and how much of the population should be transported, is still a fundamental unresolved issue. We propose a new impulse control framework to tackle this issue based on a simple but new stochastic growth model of individual fishes. The novel growth model governing individuals' body weights uses a Wright-Fisher model as a latent driver to r…
This paper introduces the notion of an Input Constrained Control Barrier Function (ICCBF), as a method to synthesize safety-critical controllers for non-linear control affine systems with input constraints. The method identifies a subset of the safe set of states, and constructs a controller to render the subset forward invariant. The feedback controller is represented as the solution to a quadratic program, which can be solved efficiently for real-time implementation. Furthermore, we show that ICCBFs are a generalization of Higher Order Control Barrier Functions, and thus are applicable to sy…
This paper presents a time-constrained model predictive control strategy for the 6 degree-of-freedom (6DOF) autonomous rendezvous and docking problem between a controllable "deputy" spacecraft and an uncontrollable "chief" spacecraft. The control strategy accounts for computational time constraints due to limited onboard processing speed. The translational dynamics model is derived from the Clohessy-Wiltshire equations and the angular dynamics are modeled on gas jet actuation about the deputy's center of mass. Simulation results are shown to achieve the docking configuration under computationa…
Diffusion Policies for Generative Modeling of Spacecraft Trajectories
Jet Propulsion Laboratory, California Institute of Technology（加州理工学院喷气推进实验室）；NASA Jet Propulsion Laboratory, California Institute of Technology（美国国家航空航天局加州理工学院喷气推进实验室）
This paper is concerned with the constrained approximate null controllability of heat equation coupled by a real matrix $P$, where the controls are impulsive and periodically acted into the system through a series of real matrices $\{Q_k\}_{k=1}^\hbar$. The conclusions are given in two cases. In the case that the controls act globally into the system, we prove that the system is global constrained approximate null controllable under a spectral condition of $P$ together with a rank condition of $P$ and $\{Q_k\}_{k=1}^\hbar$; While in the case that the controls act locally into the system, we pr…
Aalto University（阿尔托大学）；Semnan University（塞姆南大学）；University of Melbourne（墨尔本大学）；Georgia State University（佐治亚州立大学）；University of Cyprus（塞浦路斯大学）
Motivated by recent development in networking and parallel data-processing, we consider a distributed and localized finite-sum (or fixed-sum) allocation technique to solve resource-constrained convex optimization problems over multi-agent networks (MANs). Such networks include (smart) agents representing an intelligent entity capable of communication, processing, and decision-making. In particular, we consider problems subject to practical nonlinear constraints on the dynamics of the agents in terms of their communications and actuation capabilities (referred to as the node dynamics), e.g., ne…
Optimization of low-thrust trajectories that involve a larger number of orbit revolutions is considered a challenging problem. This paper describes a high-precision symplectic method and optimization techniques to solve the minimum-energy low-thrust multi-revolution orbit transfer problem. First, the optimal orbit transfer problem is posed as a constrained nonlinear optimal control problem. Then, the constrained nonlinear optimal control problem is converted into an equivalent linear quadratic form near a reference solution. The reference solution is updated iteratively by solving a sequence o…
This paper presents a convex approach to the optimization of a cooperative rendezvous, that is, the problem of two distant spacecraft that simultaneously operate to get closer. Convex programming guarantees convergence towards the optimal solution in a limited, short, time by using highly efficient numerical algorithms. A combination of lossless and successive convexification techniques is adopted to handle the nonconvexities of the original problem. Specifically, a convenient change of variables and a constraint relaxation are performed, while a successive linearization of the equations of mo…
California Institute of Technology（加州理工学院）；Jet Propulsion Laboratory（喷气推进实验室）
We present gPC-SCP: Generalized Polynomial Chaos-based Sequential Convex Programming to compute a sub-optimal solution for a continuous-time chance-constrained stochastic nonlinear optimal control (SNOC) problem. The approach enables motion planning for robotic systems under uncertainty. The gPC-SCP method involves two steps. The first step is to derive a surrogate problem of \emph{deterministic} nonlinear optimal control (DNOC) with convex constraints by using gPC expansion and the distributionally-robust convex subset of the chance constraints. The second step is to solve the DNOC problem us…
The purpose of this paper is to close the remaining gaps in the understanding of the role that the constrained generalized continuous algebraic Riccati equation plays in singular linear-quadratic (LQ) optimal control. Indeed, in spite of the vast literature on LQ problems, it is only in a recent paper that a sufficient condition for the existence of a non-impulsive optimal control has for the first time connected this equation with the singular LQ optimal control problem. In this paper, we establish four equivalent conditions providing a complete picture that connects the singular LQ problem w…
Learning Safety-Guaranteed, Non-Greedy Control Barrier Functions Using Reinforcement Learning
University of Illinois Urbana-Champaign（伊利诺伊大学厄巴纳-香槟分校）；Australian Centre for Robotics, The University of Sydney（悉尼大学澳大利亚机器人中心）；University of Auckland（奥克兰大学）
