3 papers
quant-ph2026
Satellite Mission Planning with Rydberg Atoms
Michel Nowak, Benjamin Marchand, Yassine Naghmouchi +4
Quantum computers relying on cold atoms are being built and promise a high flexibility in the way information in encoded into the physical system. In particular, the analog mode is…
quant-ph2023
Quantum algorithms applied to satellite mission planning for Earth observation
Serge Rainjonneau, Igor Tokarev, Sergei Iudin +8
Earth imaging satellites are a crucial part of our everyday lives that enable global tracking of industrial activities. Use cases span many applications, from weather forecasting t…
cs.SE2020
Formal Approach for the Verification of Onboard Autonomous Functions in Observation Satellites
Vincent Mussot, Silvano Dal Zilio, Loic Correnson +3
We propose a new approach for modelling the functional behaviour of an Earth observation satellite. We leverage this approach in order to develop a safety critical software, a "tel…