论文标题
使用可解释的时间安排2020年漫游者任务
Using Explainable Scheduling for the Mars 2020 Rover Mission
论文作者
论文摘要
了解自动调度系统行为背后的推理对于确保其在关键应用程序中的全部功能都将被信任并因此使用。如果调度程序在无效的位置进行调度活动，则通常可以轻松地通过使用无效的活动来确定时间表来确定缺失的约束来确定丢失的约束。如果调度程序由于无法满足约束而无法安排活动，则确定原因可能更具挑战性。在这种情况下，重要的是要了解哪些约束导致活动未安排，以及如何更改约束以实现所需的时间表。在本文中，我们描述了NASA的MARS 2020年持久漫游器的调度系统，以及Crosscheck，Crosscheck是一种解释的调度工具，可以解释调度程序的行为。调度系统和交叉检查是用于安排火星2020 Rover活动活动的基线。如我们所描述的那样，调度程序在给定一组活动及其约束和交叉检查的情况下生成了一个时间表：（1）提供了生成的时间表的视觉表示； （2）分析并解释了为什么在提供的限制下无法安排活动的原因； （3）提供了潜在约束放松的指导，以使活动能够在未来的调度程序运行中安排。
Understanding the reasoning behind the behavior of an automated scheduling system is essential to ensure that it will be trusted and consequently used to its full capabilities in critical applications. In cases where a scheduler schedules activities in an invalid location, it is usually easy for the user to infer the missing constraint by inspecting the schedule with the invalid activity to determine the missing constraint. If a scheduler fails to schedule activities because constraints could not be satisfied, determining the cause can be more challenging. In such cases it is important to understand which constraints caused the activities to fail to be scheduled and how to alter constraints to achieve the desired schedule. In this paper, we describe such a scheduling system for NASA's Mars 2020 Perseverance Rover, as well as Crosscheck, an explainable scheduling tool that explains the scheduler behavior. The scheduling system and Crosscheck are the baseline for operational use to schedule activities for the Mars 2020 rover. As we describe, the scheduler generates a schedule given a set of activities and their constraints and Crosscheck: (1) provides a visual representation of the generated schedule; (2) analyzes and explains why activities failed to schedule given the constraints provided; and (3) provides guidance on potential constraint relaxations to enable the activities to schedule in future scheduler runs.
