SearcharxivSearch

arXiv subjects

Micah K. Condie

Publications and source records attributed to Micah K. Condie.

2 recordsLinked to original sources

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

Log-linear Dynamic Inversion for Thrusting Spacecraft on SE2(3)

We demonstrate that the error dynamics of a thrusting spacecraft are nearly group affine on the $SE_2(3)$ Lie group, and the nonlinearity can be bounded, or removed with the application of a dynamic inversion control law. A numerical example validates the results by showing agreement between the error predicted by the log-dynamics and the error obtained from classical integration of trajectories using Newtonian dynamics. The result clarifies how thrusting spacecraft dynamics fit within the invariant systems framework.

eess.SY