Polynomial-time optimal liveness enforcement for guidepath-based transport systems. (August 2021)

• Record Type: Journal Article
• Authors: Reveliotis, Spyros; Masopust, Tomáš; Ibrahim, Michael
• Is Part Of: Nonlinear analysis. Volume 41(2021)
• Publication Date: 2021-08
• Subjects: Guidepath-based transport systems -- Traffic liveness and its enforcement -- Deadlock avoidance -- Discrete event systems; Nonlinear functional analysis -- Periodicals; Analyse fonctionnelle non linéaire -- Périodiques; Nonlinear functional analysis; Periodicals; 515.7248
• DOI: 10.1016/j.nahs.2021.101058
• Languages: English
• ISSNs: 1751-570X

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.