Allocation and Scheduling of Precedence-Related Periodic Tasks
IEEE Transactions on Parallel and Distributed Systems
The Performance Evaluation Tool for Automated Prototyping of Concurrent Cyclic Processes
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
On Undecidability of Cyclic Scheduling Problems
KSEM '09 Proceedings of the 3rd International Conference on Knowledge Science, Engineering and Management
Toward cyclic scheduling of concurrent multimodal processes
ICCCI'11 Proceedings of the Third international conference on Computational collective intelligence: technologies and applications - Volume Part I
Using simulation tool for veryfying AGVS modeling and cyclic scheduling
Proceedings of the 2013 Grand Challenges on Modeling and Simulation Conference
Hi-index | 0.00 |
The subject matter of the study are the automated guided vehicle (AGV) operation synchronisation mechanisms in flexible manufacturing systems. Since each AGV can be treated as an autonomous object capable to undertake decisions regarding its routing, entering path sectors, etc., hence a class of transportation systems considered can be seen as a class of multi-agent ones. In many practical cases transport operations are repetitive. The processes examination has to guarantee the collision-free and deadlock free AGVs flow. In this paper the problem of determination of the rules coordinating access of the vehicles to the shared travel route intervals, ensuring the collision-free and deadlock-free execution of the repetitive processes was reduced to determination of the sufficient conditions of the form of a pair (initial state, a set of priority rules). In particular the problem of searching for a pair is defined in the form of the constraint satisfaction problem (CSP) and is solved with use of the logic programming techniques.