Related papers: Flexible Automatic Scheduling For Autonomous Teles…

We propose factor graph optimization for simultaneous planning, control, and trajectory estimation for collision-free navigation of autonomous systems in environments with moving objects. The proposed online probabilistic motion planning…

With the advent of a new generation of telescopes (INTEGRAL, Fermi, H.E.S.S., MAGIC, VERITAS, MILAGRO) and the prospects of planned observatories such as CTA or HAWC, gamma-ray astronomy is becoming an integral part of modern astrophysical…

The observation of small bodies in the Space Environment is an ongoing important task in astronomy. While nowadays new objects are mostly detected in larger sky surveys, several follow-up observations are usually needed for each object to…

This paper presents a solution to the automatic task planning problem for multi-agent systems. A formal framework is developed based on the Nondeterministic Finite Automata with $\epsilon$-transitions, where given the capabilities,…

The Adaptive Optics (AO) performance significantly depends on the available Natural Guide Stars (NGSs) and a wide range of atmospheric conditions (seeing, Cn2, windspeed,...). In order to be able to easily predict the AO performance, we…

Future multi-spacecraft missions require robust autonomous trajectory optimization capabilities to ensure safe and efficient rendezvous operations. This capability hinges on solving non-convex optimal control problems in real-time, although…

Probabilistic timed automata are classical timed automata extended with discrete probability distributions over edges. We introduce clock-dependent probabilistic timed automata, a variant of probabilistic timed automata in which transition…

Automatic optimization for tensor programs becomes increasingly important as we deploy deep learning in various environments, and efficient optimization relies on a rich search space and effective search. Most existing efforts adopt a…

Tunable filters are set to revolutionize many aspects of experimental astrophysics, particularly for applications in observational cosmology. After a summary of the fundamentals of classical spectroscopy, we present a review of the current…

We implemented a control system for ultracold atom experiments. The system includes hardware modules that generate synchronized experiment signals of different kinds, and a protocol to communicate with all the modules. We also implemented…

Astronomic line mapping with single-pixel instruments is usually performed in an on-the-fly (OTF) or a raster-mapping mode depending on the capabilities of the telescope and the instrument. The observing efficiency can be increased by…

This paper presents an algorithmic framework for control synthesis of continuous dynamical systems subject to signal temporal logic (STL) specifications. We propose a novel algorithm to obtain a time-partitioned finite automaton from an STL…

Autonomous terrain classification is an important problem in planetary navigation, whether the goal is to identify scientific sites of interest or to traverse treacherous areas safely. Past Martian rovers have relied on human operators to…

We have implemented upgrades to the University of Wyoming's Red Buttes Observatory (RBO) to allow remote and autonomous operations using the 0.6 m telescope. Detailed descriptions of hardware and software components provide sufficient…

The forecast on a time scale of 1 or 2 hours is crucial for all kind of new generation facilities (ELTs) instrumentation supported by the adaptive optics that will be mainly operated in Service Mode. In a recent study (Masciadri et al.…

This paper presents a new algorithm for autonomous multitarget tracking of resident space objects using optical angles-only measurements from a spaceborne observer. To enable autonomous angles-only navigation of spacecraft swarms, an…

Agile quadrotor flight relies on rapidly planning and accurately tracking time-optimal trajectories, a technology critical to their application in the wild. However, the computational burden of computing time-optimal trajectories based on…

This paper investigates the task coordination of multi-robot where each robot has a private individual temporal logic task specification; and also has to jointly satisfy a globally given collaborative temporal logic task specification. To…

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…

State-of-the-art space science missions increasingly rely on automation due to spacecraft complexity and the costs of human oversight. The high volume of data, including scientific and telemetry data, makes manual inspection challenging.…