Aug 2026· Zenodo (CERN European Organization for Nuclear Research)
Space Satellite Systems and ControlInertial Sensor and Navigation
Abstract
Autonomous Spacecraft Detumbling Under Severe Tip-Off The Problem Small satellite missions in Low Earth Orbit (LEO) face critical survival risks during post-launch separation or emergency safe-modes. In these phases, violent multi-axis tumbling rates (exceeding 90°/s) blind high-precision optical sensors and saturate mechanical reaction wheels. Spacecraft must rely exclusively on underactuated magnetic control and noisy MEMS gyroscopes. Current detumbling methodologies are either too heuristically blind (e.g., B-Dot) or computationally prohibitive (continuous non-linear control), often leading to topological filtering failures—such as quaternion manifold corruption—and exceeding the strict thermal and latency limits of bare-metal nanosatellite microcontrollers. The Approach To resolve this computational and mathematical bottleneck, this work introduces a deterministic, bare-metal edge-computing architecture. We utilize a Multiplicative Extended Kalman Filter (MEKF) operating on the SO(3) Lie group for geometric state estimation, coupled with a 256-neuron Quaternary Neural Network (QNN) for discrete control torque synthesis. The hardware-agnostic implementation leverages 128-bit ARM Neon Single-Instruction Multiple-Data (SIMD) registers (floating-point and 8-bit integer vectorization). Key Result Evaluated under severe dynamic tumbling conditions and uncalibrated stochastic sensor noise, the architecture successfully bounded the global mean attitude estimation error to just 7.30^\circ with a deterministic, ultra-low execution footprint of 33.2 µs per cycle. Comprehensive evaluation metrics, time-series telemetry records, astrodynamic flight envelope boundaries, and the complete C++ bare-metal flight source code are available in the full manuscript. Download the PDF to access the complete mathematical proofs and implementation.
This publication proposes a definition and a classification of agile software development approaches and analyses ten software development methods that can be characterized as being "agile" against the defined criterion.
P. Abrahamsson, O. Salo, Jussi Ronkainen et al.· arXiv.org· 727 citations· ⚡54
The study shows that agile practices improve both informal and formal communication, but indicates that, in larger development situations involving multiple external stakeholders, a mismatch of adequate communication mechanisms can sometimes even hinder the communication.
M. Pikkarainen, Jukka Haikara, O. Salo et al.· Empirical Software Engineeri...· 401 citations· ⚡48
The results indicate that software engineering work practices are chosen opportunistically, adapted and configured to provide value under the constrains imposed by the startup context.
Nicolò Paternoster, Carmine Giardino, M. Unterkalmsteiner et al.· Information and Software Tec...· 394 citations· ⚡54
The perception of the impact of agile methods is predominantly positive, and several challenge areas were discovered, but based on this study, agile methods are here to stay.
M. Laanti, O. Salo, P. Abrahamsson· Information and Software Tec...· 260 citations· ⚡20
Related blog posts
MIT News · Artificial Intelligence· news.mit.eduOct 15, 2026
A new computational approach reveals how cells communicate to assemble into tissues. This could accelerate stem cell engineering, improve disease models, and inform therapies.
Microsoft Research Blog· microsoft.comOct 15, 2026
Zero-knowledge proofs can verify computing results without rerunning workloads or exposing sensitive data. Magnetar helps bring them into the mainstream with support for standard programming languages, major speed gains, and quantum-resistant security. The post Proof-based general-purpose computing with Magnetar appeared first on Microsoft Research.
MIT News · Artificial Intelligence· news.mit.eduOct 8, 2026