Polynomial-Time Optimal Liveness Enforcement for Guidepath-based Transport Systems
Polynomial-Time Optimal Liveness Enforcement for Guidepath-based Transport Systems
Polynomial-Time Optimal Liveness Enforcement for Guidepath-based Transport Systems
Abstract
Abstract
Zone-controlled guidepath-based transport systems is a modeling abstraction representing the traffic dynamics of a set of agents circulating in a constricted medium. An important problem for the traffic coordinator of these systems is to preserve liveness, that is, the ability of each agent to successfully complete its current trip and to be engaged in similar trips in the future. We present a polynomial-time algorithm for enforcing liveness in a class of these systems, in a maximally permissive manner. Our result is surprising and applicable in the traffic control of various unit-load material handling systems and other robotic applications.
Projects
Projects
Verification and Control of Networked Discrete Event Systems
Verification and Control of Networked Discrete Event Systems
Tomáš Masopust, Jan Komenda
Jiří Balun, Stéphane Lafortune, Spyros Reveliotis, Feng Lin
Authors
Authors
Spyros ReveliotisTomáš Masopust
Michael Ibrahim
Nonlinear Analysis: Hybrid Systems 41, 101058, 2021
Discrete-Event Systems and Theoretical Computer Science Research Group
DOI
Downloads
Downloads