Declarative Approach to AGVS Modeling and Cyclic Scheduling
Zbigniew Banaszak , G Bocewicz , W. Muszyński
AbstractThe paper presents constraint satisfaction problem driven approach to analytical solution of the cyclic scheduling problem in the Flexible Manufacturing System (FMS) producing multi-type parts where for material handling are used the Automated Guide Vehicles Systems (AGVS). Finding the conditions guaranteeing the AGVs deadlock-free and collision-free movement policy is the aim of our researches. The AGVs co-sharing the common parts of the transportation route while executing repetitive processes, i.e. being assigned to AGVs passing along machines in a cyclic way, can be modeled in terms of Cyclic Concurrent Process Systems (CCPS). Schedulability analysis for a given CCPS answers the question whether a cyclic schedule exists or not. The paper suggests approach for schedulability analysis of multimodal processes representing real manufacturing employing the declarative modeling.
|Journal series||Applied Mechanics and Materials , ISSN 1660-9336|
|Publication size in sheets||0.5|
|Not used for evaluation||yes|
|Score|| = 0.0, 28-11-2017, ArticleFromJournal|
= 0.0, 28-11-2017, ArticleFromJournal - czasopismo zagraniczne spoza list
* presented citation count is obtained through Internet information analysis and it is close to the number calculated by the Publish or Perish system.