64 citations · 64 across the 3 of their papers we have counts for
3 papers
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…
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…
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…