Various planning problems for robotic systems are of considerable interest. One of such problems is the problem of task sequencing. In this paper, we consider the problem of task sequencing for autonomous vacuum floor cleaning robots. We consider a graph model for the problem. We propose an efficient approach to solve the problem. In particular, we use an explicit reduction from the decision version of the problem to the satisfiability problem. We present the results of computational experiments for different satisfiability algorithms.
Skip Nav Destination
Research Article| July 21 2017
Task sequencing for autonomous robotic vacuum cleaners
AIP Conf. Proc. 1863, 560044 (2017)
Anna Gorbenko, Vladimir Popov; Task sequencing for autonomous robotic vacuum cleaners. AIP Conf. Proc. 21 July 2017; 1863 (1): 560044. https://doi.org/10.1063/1.4992727
Download citation file: