全部文献期刊会议图书|学者科研项目
中外文文献  中文文献  外文文献
作者:Murat Uzam
来源:[J].Maejo International Journal of Science and Technology(IF 0.456), 2010, Vol.4 (3), pp.360-396DOAJ
摘要:The control of discrete event systems (DES) has been widely studied in the past two decades. Finite-state automata (FSA) and Petri nets (PN) are the two principal modelling formalisms for this study. Supervisory control theory (SCT), based on language and FSA concepts, is a well ...
作者:Murat Uzam
来源:[J].Maejo International Journal of Science and Technology(IF 0.456), 2010, Vol.4 (3), pp.360DOAJ
摘要:The control of discrete event systems (DES) has been widely studied in the past two decades. Finite-state automata (FSA) and Petri nets (PN) are the two principal modelling formalisms for this study. Supervisory control theory (SCT), based on language and FSA concepts, is a well ...
作者:Mi Zhao , Murat Uzam
来源:[J].Information Sciences(IF 3.643), 2017, Vol.388-389, pp.135-153Elsevier
摘要:Abstract(#br)This work aims to resolve deadlock problems in flexible manufacturing systems. A novel deadlock control policy in the frame of Petri nets formalism is presented for a class of generalized Petri nets, namely G -systems, which can usually model assembly and disass...
作者:Murat Uzam , Gökhan Gelen , Tahir Lawan Saleh
来源:[J].Information Sciences(IF 3.643), 2016, Vol.363, pp.235-260Elsevier
摘要:Abstract(#br)This paper proposes a general approach, called a think-globally-act-locally method with weighted arcs (TGALW), which can be used to compute a liveness-enforcing supervisor (LES) for the Petri net (PN) model of a flexible manufacturing system (FMS) prone to deadlocks....
作者:... ZhiWu Li , Kamel Barkaoui , Murat Uzam
来源:[J].ISA Transactions(IF 1.626), 2016, Vol.61, pp.129-140Elsevier
摘要:Abstract(#br)In this paper, we improve the previous work by considering that a control place can have multiple self-loops. Then, two integer linear programming problems (ILPPs) are formulated. Based on the first ILPP, an iterative deadlock control policy is developed, where a con...
作者:Murat Uzam , ZhiWu Li ...
来源:[J].Journal of Intelligent Manufacturing(IF 1.278), 2016, Vol.27 (5), pp.1111-1129Springer
摘要:Abstract(#br)In this paper a divide-and-conquer-method for the synthesis of liveness enforcing supervisors (LES) for flexible manufacturing systems (FMS) is proposed. Given the Petri net model (PNM) of an FMS prone to deadlocks, it aims to synthesize a live controlled Petri net s...

我们正在为您处理中,这可能需要一些时间,请稍等。

资源合作:cnki.scholar@cnki.net, +86-10-82896619   意见反馈:scholar@cnki.net

×