Journal
IET CONTROL THEORY AND APPLICATIONS
Volume 4, Issue 12, Pages 2867-2878Publisher
WILEY
DOI: 10.1049/iet-cta.2009.0557
Keywords
-
Categories
Funding
- National Natural Science Foundation of China [60773001]
- National Research Foundation for the Doctoral Program of Higher Education
- Ministry of Education, P. R. China [20090203110009]
- '863' High-tech Research and Development Program of China [2008AA04Z109]
- Alexander Von Humboldt Foundation, Germany
Ask authors/readers for more resources
For a system of sequential systems with shared resources ((SR)-R-4), a typical class of Petri net models of flexible manufacturing systems (FMS), current deadly marked siphon (DMS) detection approaches based on mixed integer programming (MIP) cannot detect siphons that cause livelocks in systems. Thus a deadlock-free system cannot be further controlled. Moreover, most of these methods cannot obtain a minimal DMS directly. This study proposes the concept of extended DMS (EDMS) on the basis of max-controllability condition of siphons. Accordingly, a more general MIP testing approach that can detect the minimal EDMS that cause deadlocks or livelocks in (SR)-R-4 is presented to lay foundations for further analysis and control. The authors conclude that an (SR)-R-4 is live if there is no feasible solution to this new MIP test. Compared with the existing methods, the proposed one is more general and powerful. Experimental studies are used to illustrate it.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available