Declarative Approach to AGVS Modeling and Cyclic Scheduling

Zbigniew Banaszak , G Bocewicz , W. Muszyński


The 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.
Author Zbigniew Banaszak (FoM / BITD)
Zbigniew Banaszak,,
- Business Information Technology Department
, G Bocewicz
G Bocewicz,,
, W. Muszyński
W. Muszyński,,
Journal seriesApplied Mechanics and Materials , ISSN 1660-9336
Issue year2013
Publication size in sheets0.5
Languageen angielski
Not used for evaluationyes
Score (nominal)0
ScoreMinisterial score = 0.0, 28-11-2017, ArticleFromJournal
Ministerial score (2013-2016) = 0.0, 28-11-2017, ArticleFromJournal - czasopismo zagraniczne spoza list
Citation count*
Share Share

Get link to the record

* presented citation count is obtained through Internet information analysis and it is close to the number calculated by the Publish or Perish system.
Are you sure?