检索结果-南通市图书馆

Computation of an Emptiable Minimal Siphon in a Subclass of Petri Nets Using Mixed-Integer Programming

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

IEEE/CAA Journal of Automatica Sinica 2021年第1期8卷 219-226页

作者： Shouguang Wang Wenli Duo Xin Guo Xiaoning Jiang Dan You Kamel Barkaoui MengChu Zhou the School of Information and Electronic Engineering Zhejiang Gongshang UniversityHangzhou 310018China the Macao Institute of systems Engineering Macao University of Science and TechnologyMacao 999078China the Department of Computer Science Conservatoire National des Arts et MétiersParis 75141France the Department of Electrical and Computer Engineering New Jersey Institute of TechnologyNewarkNJ 07102 USA the Institute of systems Engineering and Collaborative Laboratory for Intelligent Science and systems Macao University of Science and TechnologyMacao 999078China

Deadlock resolution strategies based on siphon control are widely *** computational efficiency largely depends on siphon ***-integer programming(MIP)can be utilized for the computation of an emptiable siphon in a Petri net(PN).Based on it,deadlock resolution strategies can be designed without requiring complete siphon enumeration that has exponential *** to this reason,various MIP methods are proposed for various subclasses of *** work proposes an innovative MIP method to compute an emptiable minimal siphon(EMS)for a subclass of PNs named S^(4)*** particular,many particular structural characteristics of EMS in S4 PR are formalized as constraints,which greatly reduces the solution *** results show that the proposed MIP method has higher computational ***,the proposed method allows one to determine the liveness of an ordinary S^(4)PR.

关键词： Automated manufacturing systems deadlocks discrete event system mixed-integer programming(MIP) Petri nets(PN) siphons

维普期刊数据库

Parametric Transformation of Timed Weighted Marked Graphs:Applications in Optimal Resource Allocation

在线全文

学校读者我要写书评

暂无评论

IEEE/CAA Journal of Automatica Sinica 2021年第1期8卷 179-188页

作者： Zhou He Ziyue Ma Zhiwu Li Alessandro Giua the College of Mechanical and Electrical Engineering Shaanxi University of Science and TechnologyXi’an 710021China Shaanxi Key Laboratory of Complex system Control and Intelligent Information Processing Xi’an University of TechnologyXi’an 710048China the School of Electro-Mechanical Engineering Xidian UniversityXi’an 710071China Institute of systems Engineering Macao University of Science and TechnologyTaipa 999078MacaoChina the Department of Electrical and Electronic Engineering University of CagliariCagliari 09124Italy

Timed weighted marked graphs are a subclass of timed Petri nets that have wide applications in the control and performance analysis of flexible manufacturing *** to the existence of multiplicities(i.e.,weights)on edges,the performance analysis and resource optimization of such graphs represent a challenging *** this paper,we develop an approach to transform a timed weighted marked graph whose initial marking is not given,into an equivalent parametric timed marked graph where the edges have unitary *** order to explore an optimal resource allocation policy for a system,an analytical method is developed for the resource optimization of timed weighted marked graphs by studying an equivalent ***,we apply the proposed method to a flexible manufacturing system and compare the results with a previous heuristic *** analysis shows that the developed approach is superior to the heuristic approach.

关键词： discrete event system resource allocation timed Petri net weighted marked graph

维普期刊数据库

A novel matrix approach for the stability and stabilization analysis of colored Petri nets

在线全文

学校读者我要写书评

暂无评论

Science China(Information Sciences) 2019年第9期62卷 102-115页

作者： Jiantao ZHAO Zengqiang CHEN Zhongxin LIU College of Computer and Control Engineering Nankai University Key Laboratory of Intelligent Robotics of Tianjin Nankai University

In this study, the stability and stabilization problem of a colored Petri net based on the semitensor product of matrices is investigated. First, the marking evolution equation of the colored Petri net in a Boolean algebra framework is established, and the necessary and sufficient condition for the stability of the equilibrium point of the colored Petri net is given. Then, the concept of the pre-k steps reachability set is defined and is used to study the problem of marking feedback stabilization. Some properties of the pre-k steps reachability set are developed. The condition of the stabilization of the colored Petri net is given. The algorithm of the optimal marking feedback controller is designed. The proposed method in this paper could judge the stability and stabilization of the colored Petri net by matrix approach. The obtained results are simple and easy to implement by computer. An example is provided to illustrate the effectiveness of the proposed method.

关键词： discrete event system colored Petri net semi-tensor product of matrices stability equilibrium point stabilization

Robust Control of Uncertain Vector discrete event systems

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Robust Control of Uncertain Vector Discrete Event Systems

Feasibility Verification of Train Operations Using Petri Nets

第五届全球智能控制与自动化大会会议

作者： Lida Dong~(1 2) Jizhong Shen~11 Institute of Electronic Circuit and Information systems2 National Laboratory of Industrial Control Technology Institute of Advanced Process Control Zhejiang University Hangzhou 310027 P.R.China

＜正＞ This paper addresses the problem of robust state-feedback controller design for discrete event systems（plants）with internal *** use a collection of deterministicvector discrete event systems（VDES）to model an uncertainplant *** lower and upper bound VDES of the plant N areconstituted from the collection of *** to the lowerand upper bound models,we design a robust state-feedbackcontroller for the plant N to achieve the desired behavior of anymodels belonging to the collection of VDES.A sufficientcondition of existing such a robust supervisor is also presented inthis paper.

关键词： discrete event system robust control controller synthesis

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

Feasibility Verification of Train Operations Using Petri Net...