Related papers: The CoRoT Evolution and Seismic Tools Activity: Go…
The Astrodynamical Space Test of Relativity using Optical Devices (ASTROD) is a multi-purpose relativity mission concept. ASTROD's scientific goals are the measurement of relativistic and solar system parameters to unprecedented precision,…
In the development of safety and mission-critical systems, including autonomous space robotic missions, complex behaviour is captured during the requirements elicitation phase. Requirements are typically expressed using natural language…
The historical development of ground based astronomical telescopes leads us to expect that space-based astronomical telescopes will need to be operational for many decades. The exchange of scientific instruments in space will be a…
This paper investigates a collaborative rover-copter path planning and exploration with temporal logic specifications under uncertain environments. The objective of the rover is to complete a mission expressed by a syntactically co-safe…
The great success of Helioseismology resides in the remarkable progress achieved in the understanding of the structure and dynamics of the solar interior. This success mainly relies on the ability to conceive, implement, and operate…
Since May 2006, the two STELLA robotic telescopes at the Izana observatory in Tenerife, Spain, delivered an almost uninterrupted stream of scientific data. To achieve such a high level of autonomous operation, the replacement of all…
Supporting decision-making has long been a central vision in the field of spatio-temporal intelligence. While prior work has improved the timeliness and accuracy of spatio-temporal forecasting, converting these forecasts into actionable…
The James Webb Space Telescope (JWST) presents the opportunity to transform our understanding of planets and the origins of life by revealing the atmospheric compositions, structures, and dynamics of transiting exoplanets in unprecedented…
The operation-planning of satellites, aimed at introducing a certain level of supervised automation during the execution of the operations, poses a great challenge to both designers and operators. From one side, the routine operations for…
We review the quest of modeling rapidly rotating stars during the past 40 years and detail the challenges to be taken up by models facing new data from interferometry, seismology, spectroscopy... We then present the progress of the ESTER…
The Earth observation satellites (EOSs) scheduling is of great importance to achieve efficient observation missions. The agile EOSs (AEOS) with stronger attitude maneuvering capacity can greatly improve observation efficiency while…
Asteroseismology can make a substantial contribution to our understanding of the formation history and evolution of our Galaxy by providing precisely determined stellar properties for thousands of stars in different regions of the Milky…
Information exploration tasks are inherently complex, ill-structured, and involve sequences of actions usually spread over many sessions. When exploring a dataset, users tend to experiment higher degrees of uncertainty, mostly raised by…
NEAT is an astrometric mission proposed to ESA with the objectives of detecting Earth-like exoplanets in the habitable zone of nearby solar-type stars. In NEAT, one fundamental aspect is the capability to measure stellar centroids at the…
Today, asteroseismology is entering in its golden age thanks to the observations provided by the CoRoT and Kepler space missions. In particular, we will make significant progresses in the understanding of the structure and evolution of…
Acquiring information on spatial phenomena can be costly and time-consuming. In this context, to obtain reliable global knowledge, the choice of measurement location is a crucial issue. Space-lling designs are often used to control…
Advancements in our understanding of exoplanetary atmospheres, from massive gas giants down to rocky worlds, depend on the constructive challenges between observations and models. We are now on a clear trajectory for improvements in…
Robots and particularly drones are especially useful in exploring extreme environments that pose hazards to humans. To ensure safe operations in these situations, usually perceptually degraded and without good GNSS, it is critical to have a…
We present LiSTA (LiDAR Spatio-Temporal Analysis), a system to detect probabilistic object-level change over time using multi-mission SLAM. Many applications require such a system, including construction, robotic navigation, long-term…
Recently, the study of the CoRoT target HD 49933 showed evidence of variability of its magnetic activity. This was the first time that a stellar activity was detected using asteroseismic data. For the Sun and HD 49933, we observe an…