TY - GEN
T1 - Automated vehicles' work planning in flexible manufacturing systems
AU - Muszyński, Wojciech
AU - Banaszak, Zbigniew
AU - Tomczuk-Piróg, Izabela
PY - 2006/12/1
Y1 - 2006/12/1
N2 - The problem of rules setting in coordination of automated vehicles access to shared system resources (sections of their transportation paths) which assure a deadlock free and starvation free flow of the executed processes belongs to NP-hard problems. Assuming that there are local (controlling access to shared resources) rules of priority dispatching, the problem deals with setting conditions sufficient for a pair (initial state, set of priority dispatching rules). The assumed knowledge base way of specifying a transportation subsystem leads to solving a logic-algebraic method decision problem. In this regard, the working knowledge representation synthesis method constitutes a significant contribution to the development of programming methods aimed at distributed control procedures design.
AB - The problem of rules setting in coordination of automated vehicles access to shared system resources (sections of their transportation paths) which assure a deadlock free and starvation free flow of the executed processes belongs to NP-hard problems. Assuming that there are local (controlling access to shared resources) rules of priority dispatching, the problem deals with setting conditions sufficient for a pair (initial state, set of priority dispatching rules). The assumed knowledge base way of specifying a transportation subsystem leads to solving a logic-algebraic method decision problem. In this regard, the working knowledge representation synthesis method constitutes a significant contribution to the development of programming methods aimed at distributed control procedures design.
KW - Concurrent processes
KW - Knowledge representation
KW - Logic-algebraic method
KW - Transportation system
UR - http://www.scopus.com/inward/record.url?scp=46449105900&partnerID=8YFLogxK
U2 - 10.1109/ETFA.2006.355211
DO - 10.1109/ETFA.2006.355211
M3 - Article in proceeding
AN - SCOPUS:46449105900
SN - 1424406811
SN - 9781424406814
T3 - IEEE International Conference on Emerging Technologies and Factory Automation, ETFA
SP - 813
EP - 818
BT - 2006 IEEE Conference on Emerging Technologies and Factory Automation, ETFA
T2 - 2006 IEEE Conference on Emerging Technologies and Factory Automation, ETFA
Y2 - 20 September 2006 through 22 September 2006
ER -