文章基本信息

标题：Controller Design for Avoiding Collisions in Automated Guided Vehicle Systems via Labeled Petri Nets
本地全文：下载
作者：YaXin Wan ; JiLiang Luo ; Qi Zhang 等
期刊名称：IFAC PapersOnLine
印刷版ISSN：2405-8963
出版年度：2018
卷号：51
期号：7
页码：139-144
DOI：10.1016/j.ifacol.2018.06.292
语种：English
出版社：Elsevier
摘要：AbstractAs for a class of automated guided vehicle systems (AGVS) that are partially controllable and with undeterministic behavior, a method is presented to design a maximally permissive controller that avoids any collision among vehicles via labeled Petri nets. It is not sure which area a vehicle enters after it leaves one because of insufficient sensors. Furthermore, a vehicle may uncontrollably enter some areas because of insufficient activators. By modeling the former case by multiple transitions labeled by a same symbol, and the latter case by an uncontrollable transition, an AGVS is represented by a labeled Petri net that is partially controllable. The whole net is partitioned into a set of dangerous regions that are controllable such that the uncontrollable issue is addressed. A method is proposed to compute the consistent marking set for a given observed sequence. By the resultant consistent marking set, the marking of each dangerous region is computed, and can be used to design a control action t o prevent each vehicle from entering each dangerous region where there is one AGV already. As a result, the maximally permissive controller is obtained.
关键词：KeywordsAutomated navigation vehicle systemsCollision avoidancePetri netsDiscrete event systems