Planning & Scheduling
'Onboard WiFi matters more today than ever before'
The global aviation industry's outlook is set to improve in 2021 as more countries roll out mass Covid-19 vaccination programmes. However, a healthy and safe journey remains, understandably, the top concern among Asian travellers, especially Indian passengers. Undoubtedly, 2020 brought the airline industry's first decade of sustained profitability to a shuddering halt. According to a recent Passenger Confidence Tracker survey by Inmarsat Aviation, the largest study of its kind since the beginning of the pandemic, 58 per cent of respondents in India said they plan to travel less frequently, choosing to fly with an airline they trust. The Passenger Confidence Tracker spoke to more than 9,500 passengers in 12 countries.
A Hybrid Decomposition-based Multi-objective Evolutionary Algorithm for the Multi-Point Dynamic Aggregation Problem
Gao, Guanqiang, Xin, Bin, Mei, Yi, Ding, Shuxin, Li, Juan
An emerging optimisation problem from the real-world applications, named the multi-point dynamic aggregation (MPDA) problem, has become one of the active research topics of the multi-robot system. This paper focuses on a multi-objective MPDA problem which is to design an execution plan of the robots to minimise the number of robots and the maximal completion time of all the tasks. The strongly-coupled relationships among robots and tasks, the redundancy of the MPDA encoding, and the variable-size decision space of the MO-MPDA problem posed extra challenges for addressing the problem effectively. To address the above issues, we develop a hybrid decomposition-based multi-objective evolutionary algorithm (HDMOEA) using $ \varepsilon $-constraint method. It selects the maximal completion time of all tasks as the main objective, and converted the other objective into constraints. HDMOEA decomposes a MO-MPDA problem into a series of scalar constrained optimization subproblems by assigning each subproblem with an upper bound robot number. All the subproblems are optimized simultaneously with the transferring knowledge from other subproblems. Besides, we develop a hybrid population initialisation mechanism to enhance the quality of initial solutions, and a reproduction mechanism to transmit effective information and tackle the encoding redundancy. Experimental results show that the proposed HDMOEA method significantly outperforms the state-of-the-art methods in terms of several most-used metrics.
Stability Constrained Mobile Manipulation Planning on Rough Terrain
This paper presents a framework that allows online dynamic-stability-constrained optimal trajectory planning of a mobile manipulator robot working on rough terrain. First, the kinematics model of a mobile manipulator robot, and the Zero Moment Point (ZMP) stability measure are presented as theoretical background. Then, a sampling-based quasi-static planning algorithm modified for stability guarantee and traction optimization in continuous dynamic motion is presented along with a mathematical proof. The robot's quasi-static path is then used as an initial guess to warm-start a nonlinear optimal control solver which may otherwise have difficulties finding a solution to the stability-constrained formulation efficiently. The performance and computational efficiency of the framework are demonstrated through an application to a simulated timber harvesting mobile manipulator machine working on varying terrain. The results demonstrate feasibility of online trajectory planning on varying terrain while satisfying the dynamic stability constraint.
Expressing and Exploiting the Common Subgoal Structure of Classical Planning Domains Using Sketches: Extended Version
Drexler, Dominik, Seipp, Jendrik, Geffner, Hector
Width-based planning methods exploit the use of conjunctive goals for decomposing problems into subproblems of low width. However, algorithms like SIW fail when the goal is not serializable. In this work, we address this limitation of SIW by using a simple but powerful language for expressing problem decompositions introduced recently by Bonet and Geffner, called policy sketches. A policy sketch R consists of a set of Boolean and numerical features and a set of sketch rules that express how the values of these features are supposed to change. Like general policies, policy sketches are domain general, but unlike policies, the changes captured by sketch rules do not need to be achieved in a single step. We show that many planning domains that cannot be solved by SIW are provably solvable in low polynomial time with the SIW_R algorithm, the version of SIW that employs user-provided policy sketches. Policy sketches are thus shown to be a powerful language for expressing domain-specific knowledge in a simple and compact way and a convenient alternative to languages such as HTNs or temporal logics. Furthermore, policy sketches make it easy to express general problem decompositions and prove key properties like their complexity and width.
An Intelligent Model for Solving Manpower Scheduling Problems
Zhang, Lingyu, Liu, Tianyu, Wang, Yunhai
The manpower scheduling problem is a critical research field in the resource management area. Based on the existing studies on scheduling problem solutions, this paper transforms the manpower scheduling problem into a combinational optimization problem under multi-constraint conditions from a new perspective. It also uses logical paradigms to build a mathematical model for problem solution and an improved multi-dimensional evolution algorithm for solving the model. Moreover, the constraints discussed in this paper basically cover all the requirements of human resource coordination in modern society and are supported by our experiment results. In the discussion part, we compare our model with other heuristic algorithms or linear programming methods and prove that the model proposed in this paper makes a 25.7% increase in efficiency and a 17% increase in accuracy at most. In addition, to the numerical solution of the manpower scheduling problem, this paper also studies the algorithm for scheduling task list generation and the method of displaying scheduling results. As a result, we not only provide various modifications for the basic algorithm to solve different condition problems but also propose a new algorithm that increases at least 28.91% in time efficiency by comparing with different baseline models.
Explainable Autonomous Robots: A Survey and Perspective
Sakai, Tatsuya, Nagai, Takayuki
It is commonly claimed that AI will replace most manual labor in the future; however, is this really the case? AI technologies do have higher image recognition accuracy compared to humans in some limited contexts, and have consistently outperformed humans in classical games such as Go and chess. Nonetheless, we believe that even advanced future developments based on current technology will not lead to robots replacing humans. AI systems' fundamental lack of ability to communicate naturally and effectively with humans is among the most significant reasons that they cannot replace human labor. Here, one may believe that such communication could be achieved via the development of natural language processing (NLP) technology [4]; however, NLP technologies are systems for estimating the content of human statements and their meanings; they do not constitute communication. That is, humans do not feel that robots using such systems truly understand and respond to them appropriately. Therefore, if effective communication is not achieved, robots will continue to function only as tools to assist humans. Advancements improving the accuracy or effectiveness of various specific tasks do not indicate that robots are equivalent to human beings. Under this scenario, how can we enable robots to communicate with humans?
Trust-Aware Planning: Modeling Trust Evolution in Longitudinal Human-Robot Interaction
Zahedi, Zahra, Verma, Mudit, Sreedharan, Sarath, Kambhampati, Subbarao
Trust between team members is an essential requirement for any successful cooperation. Thus, engendering and maintaining the fellow team members' trust becomes a central responsibility for any member trying to not only successfully participate in the task but to ensure the team achieves its goals. The problem of trust management is particularly challenging in mixed human-robot teams where the human and the robot may have different models about the task at hand and thus may have different expectations regarding the current course of action and forcing the robot to focus on the costly explicable behavior. We propose a computational model for capturing and modulating trust in such longitudinal human-robot interaction, where the human adopts a supervisory role. In our model, the robot integrates human's trust and their expectations from the robot into its planning process to build and maintain trust over the interaction horizon. By establishing the required level of trust, the robot can focus on maximizing the team goal by eschewing explicit explanatory or explicable behavior without worrying about the human supervisor monitoring and intervening to stop behaviors they may not necessarily understand. We model this reasoning about trust levels as a meta reasoning process over individual planning tasks. We additionally validate our model through a human subject experiment.
Planning for Proactive Assistance in Environments with Partial Observability
Kulkarni, Anagha, Srivastava, Siddharth, Kambhampati, Subbarao
AI agent and the human coexist, and have partial observability of each other's activities. There are several real-world This paper addresses the problem of synthesizing workspaces like factory floors, warehouses, restaurants, nursing the behavior of an AI agent that provides proactive homes for elderly, disaster response areas, etc., where this task assistance to a human in settings like factory problem of providing proactive task assistance to the involved floors where they may coexist in a common humans is important. Our formulation considers a scenario environment. Unlike in the case of requested assistance, where the AI agent is aware of the tasks being allocated to the human may not be expecting proactive the human by the ecosystem and may also know the rules and assistance and hence it is crucial for the agent to protocols of the ecosystem. We assume that the agent has ensure that the human is aware of how the assistance access to an input that captures the human's planning process affects her task. This becomes harder when for her goals. For instance, prior works that study the there is a possibility that the human may neither problem of action model acquisition [Zhuo and Yang, 2014; have full knowledge of the AI agent's capabilities Zhuo and Kambhampati, 2013] can be used to derive the human's nor have full observability of its activities.
The Morning After: NASA makes more flight plans for the Mars copter
While there are many free-to-play titles these days, it seems like most high-profile games don't give players a way to try them out without paying the full price up front. That's not the case for Resident Evil Village, although an odd time-locked system has made it frustrating for fans to dive into the game before it's released next week. The good news is that Capcom has relaxed its policy a bit. The final demo will unlock tonight on PlayStation, Xbox, Steam and Stadia, and players can get a 60 minute taste of the game -- complete with towering vampire ladies -- at any point over the next eight days. On Friday, NASA announced it plans to transition the rotorcraft to an operational role once it completes its remaining test flights.
Domain-specific Genetic Algorithm for Multi-tenant DNNAccelerator Scheduling
Kao, Sheng-Chun, Krishna, Tushar
As Deep Learning continues to drive a variety of applications in datacenters and HPC, there is a growing trend towards building large accelerators with several sub-accelerator cores/chiplets. This work looks at the problem of supporting multi-tenancy on such accelerators. In particular, we focus on the problem of mapping layers from several DNNs simultaneously on an accelerator. Given the extremely large search space, we formulate the search as an optimization problem and develop a specialized genetic algorithm called G# withcustom operators to enable structured sample-efficient exploration. We quantitatively compare G# with several common heuristics, state-of-the-art optimization methods, and reinforcement learning methods across different accelerator set-tings (large/small accelerators) and different sub-accelerator configurations (homogeneous/heterogeneous), and observeG# can consistently find better solutions. Further, to enable real-time scheduling, we also demonstrate a method to generalize the learnt schedules and transfer them to the next batch of jobs, reducing schedule compute time to near zero.