相关论文: Foraging with MUSHROOMS: A Mixed-Integer Linear Pr…
The UltraViolet EXplorer (UVEX) is a wide-field ultraviolet space telescope selected as a NASA Medium-Class Explorer (MIDEX) mission for launch in 2030. UVEX will undertake deep, cadenced surveys of the entire sky to probe low mass galaxies…
In this letter, we consider the Multi-Robot Efficient Search Path Planning (MESPP) problem, where a team of robots is deployed in a graph-represented environment to capture a moving target within a given deadline. We prove this problem to…
Multi-Robot Exploration (MRE) systems with communication constraints have proven efficient in accomplishing a variety of tasks, including search-and-rescue, stealth, and military operations. While some works focus on opportunistic…
We present a new mixed-integer programming (MIP) approach for offline multiple change-point detection by casting the problem as a globally optimal piecewise linear (PWL) fitting problem. Our main contribution is a family of strengthened MIP…
Low-latency analyses of gravitational-wave (GW) data from LIGO, Virgo, and KAGRA enable rapid detection of compact binary coalescences (CBC) and prompt sky localization, essential for electromagnetic follow-up in multi-messenger astronomy.…
Time-domain astrophysics has leaped forward with the direct discovery of gravitational waves and the emergence of new generation instruments for multi-messenger studies. The capacity of the multi-messenger multi-wavelength community to…
We address the multi-satellite scheduling problem with limited observation capacities that arises from the need to observe a set of targets on the Earth's surface using imaging resources installed on a set of satellites. We define and…
We explore opportunities for multi-messenger astronomy using gravitational waves (GWs) and prompt, transient low-frequency radio emission to study highly energetic astrophysical events. We review the literature on possible sources of…
This paper proposes a framework for scheduling the observation and download tasks of multiple agile satellites with practical considerations such as attitude transition time, onboard data capacity, and stereoscopic image acquisition. A…
Aims. A transient astrophysical event observed in both gravitational wave (GW) and electromagnetic (EM) channels would yield rich scientific rewards. A first program initiating EM follow-ups to possible transient GW events has been…
Follow-up of gravitational wave alerts has proven to be challenging in the past due to the large uncertainty on the localisation, much larger than the field of view of most instruments. A smart pointing strategy helps to increase the chance…
The recent discovery of electromagnetic signals in coincidence with neutron-star mergers has solidified the importance of multimessenger campaigns in studying the most energetic astrophysical events. Pioneering multimessenger observatories,…
There has been growing interest in implementing massive MIMO systems by one-bit analog-to-digital converters (ADCs), which have the benefit of reducing the power consumption and hardware complexity. One-bit MIMO detection arises in such a…
This paper introduces $\Delta$-MILP, a powerful variant of the mixed-integer linear programming (MILP) optimization framework to solve NASA's Deep Space Network (DSN) scheduling problem. This work is an extension of our original MILP…
The detection of a neutron star merger by the Advanced Laser Interferometer Gravitational-Wave Observatory (LIGO) and Advanced Virgo gravitational wave detectors and the subsequent detection of an electromagnetic counterpart has opened a…
We transform join ordering into a mixed integer linear program (MILP). This allows to address query optimization by mature MILP solver implementations that have evolved over decades and steadily improved their performance. They offer…
Planning in hybrid systems with both discrete and continuous control variables is important for dealing with real-world applications such as extra-planetary exploration and multi-vehicle transportation systems. Meanwhile, generating…
In this paper, we develop a fast mixed-integer convex programming (MICP) framework for multi-robot navigation by combining graph attention networks and distributed optimization. We formulate a mixed-integer optimization problem for receding…
Increasingly volatile electricity prices make simultaneous scheduling optimization desirable for production processes and their energy systems. Simultaneous scheduling needs to account for both process dynamics and binary on/off-decisions…
Navigating rigid body objects through crowded environments can be challenging, especially when narrow passages are presented. Existing sampling-based planners and optimization-based methods like mixed integer linear programming (MILP)…