Searcharxiv⌕ Search

arXiv subjects

Abigaile Woodbury

Publications and source records attributed to Abigaile Woodbury.

2 recordsLinked to original sources

Two-impulse Rendezvous Planning about Thrusting Spacecraft on $\mathrm{SE}_2(3)$

The classical Hill--Clohessy--Wiltshire equations assume an unforced Keplerian reference trajectory, an assumption that is violated by missions requiring continuous thrust. We address this limitation with a relative motion framework on the $\mathrm{SE}_2(3)$ Lie group that encodes position, velocity, and attitude in a unified geometric state. For computational tractability we linearize both the gravity mismatch and the body-frame control mismatch between the two vehicles, deriving tight analytic upper bounds on the neglected higher-order terms in each case. Under circular coasting Keplerian assumptions the framework recovers the Hill--Clohessy--Wiltshire equations exactly, establishing classical rendezvous theory as a special case rather than an independent linearization. For thrusting reference trajectories the state transition matrix acquires off-diagonal attitude--translation coupling blocks absent from classical formulations, and absorbing the control mismatch re-centers the linearization at the mean of the two vehicles' inputs. A two-impulse rendezvous planner derived directly from the state transition matrix accounts for both effects. Numerical simulations confirm recovery of the classical equations to machine precision, demonstrate successful rendezvous about a thrusting reference where classical planners fail, and validate the gravity and control mismatch linearization bounds throughout the transfer.

eess.SY↗

Rumoca: Modelica as a Universal Algebraic Frontend via a Rust-Native Compiler

Modelica is a well established cyber-physical modeling language, but many modern engineering workflows, such as optimization, differentiable simulation, scientific machine learning, and system analysis, make use of other environments such as CasADi, JAX, and Julia. Existing infrastructure for Modelica toolchains does not target these languages directly, meaning models must typically be rewritten, or lose important information in the interface. This paper presents Rumoca, a Rust-native Modelica compiler that turns Modelica into a universal algebraic frontend for a variety of tools. Rumoca is organized as a sequence of explicit phase boundaries from parsing through Differential-Algebraic Equation (DAE) construction and template-driven code generation, with a native Rust simulation backend that also supports real-time, software-in-the-loop execution. We report quantitative coverage of the Modelica Standard Library across pipeline phases, together with compile-time and simulation-time benchmarks against an open-source reference. The full compiler ships as a VS Code extension and runs in the browser via WebAssembly, enabling zero-install playgrounds and self-contained HTML simulators. End-to-end case studies demonstrate realtime software-in-the-loop control of a quadrotor model and deployment of a single Modelica source across multiple algebraic backends.

cs.PL↗