{"id":{"repo_id":"uiuc","oai_identifier":"oai:www.ideals.illinois.edu:2142/23652"},"canonical_url":"https://search.dev.ndltd.org/etd/uiuc/oai:www.ideals.illinois.edu:2142/23652","repository":{"repo_id":"uiuc","name":"University of Illinois - Urbana-Champaign","base_url":"https://www.ideals.illinois.edu/oai-pmh"},"display":{"title":"Structural analysis and control of flexible manufacturing systems","abstract":"\"This work develops the theory of FMS structural analysis and control. Structural analysis in discrete event systems refers to the characterization of states and regions in the system state space which are logically inconsistent with \"\"normal\"\" system operation. The structural characteristics of an FMS strongly affect its behavior and performance. The primary FMS structural concern is deadlock. Deadlock is the situation in which there is a set of jobs where each job in the set is awaiting buffer capacity occupied by another job in the set.\"","abstract_html":""This work develops the theory of FMS structural analysis and control. Structural analysis in discrete event systems refers to the characterization of states and regions in the system state space which are logically inconsistent with ""normal"" system operation. The structural characteristics of an FMS strongly affect its behavior and performance. The primary FMS structural concern is deadlock. Deadlock is the situation in which there is a set of jobs where each job in the set is awaiting buffer capacity occupied by another job in the set."","abstract_has_math":false,"creators":["Lawley, Mark Alan"],"institution":"University of Illinois at Urbana-Champaign","degree_name":"Ph.D.","degree_level":"Dissertation","degree_discipline":"Engineering, Industrial","degree_department":null,"school":null,"contributors":["Ferreira, Placid M."],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2011,"date_issued":"2011-05-07T14:22:02Z","date_published":"2011-05-07T14:22:02Z","updated_at":"2026-07-22T22:25:22Z","subjects":["Engineering, Industrial"],"languages":["eng"],"rights":["Copyright 1995 Lawley, Mark Alan"],"rights_urls":[],"identifier_entries":[{"key":"dc:identifier","label":"Identifier","values":["AAI9624407","(UMI)AAI9624407"],"render_values":[{"text":"AAI9624407","href":null,"code":true},{"text":"(UMI)AAI9624407","href":null,"code":true}]}]},"links":{"outbound_url":"http://hdl.handle.net/2142/23652","outbound_label":"Handle","outbound_source":"dc:identifier"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor","label":"Contributor","values":["Ferreira, Placid M."]},{"key":"dc:creator","label":"Author","values":["Lawley, Mark Alan"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date","label":"Dc Date","values":["2011-05-07T14:22:02Z","10000-01-01","1995"]},{"key":"dc:type","label":"Dc Type","values":["text"]},{"key":"thesis:degree_discipline","label":"Discipline","values":["Engineering, Industrial"]},{"key":"thesis:degree_level","label":"Degree Level","values":["Dissertation"]},{"key":"thesis:degree_name","label":"Degree Name","values":["Ph.D."]},{"key":"thesis:institution_name","label":"Thesis Institution Name","values":["University of Illinois at Urbana-Champaign"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["Engineering, Industrial"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language","label":"Dc Language","values":["eng"]},{"key":"dc:rights","label":"Dc Rights","values":["Copyright 1995 Lawley, Mark Alan"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier","label":"Identifier","values":["AAI9624407","(UMI)AAI9624407","http://hdl.handle.net/2142/23652"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description","label":"Description","values":["\"This work develops the theory of FMS structural analysis and control. Structural analysis in discrete event systems refers to the characterization of states and regions in the system state space which are logically inconsistent with \"\"normal\"\" system operation. The structural characteristics of an FMS strongly affect its behavior and performance. The primary FMS structural concern is deadlock. Deadlock is the situation in which there is a set of jobs where each job in the set is awaiting buffer capacity occupied by another job in the set.\"","\"The state space of the FMS is nicely represented by a directed graph with vertices representing system states and directed edges representing state transition. The objective of FMS structural analysis is to characterize strong regions of this state space which contain the empty state. Such regions are \"\"safe\"\" since strong connectedness with the empty state guarantees that all current jobs can be completed and the FMS emptied. Structural Control Policies (SCP) are real time operating policies that constrain FMS operation to the strongly connected regions.\"","Ideally, an SCP would admit a state if and only if the state were safe. However, the state safety problem is NP-complete in this context. Thus, accepting every safe state and rejecting every unsafe state will generally be computationally intractable. SCP rejection of all unsafe states in real (polynomial) time implies that some safe states will also be rejected. However, an SCP which rejects too many safe states will seriously impede FMS operation. Also, SCP's must not induce artificial deadlock, i.e. every admissible state must have an admissible safe sequence. Polynomial SCP's which reject all unsafe states and do not induce deadlock are referred to as correct and scalable.","In this work, two correct and scalable SCP's are developed. These policies reject states which exhibit predetermined necessary conditions for deadlock. Procedures for optimizing these policies for specific FMS configurations are presented. A sampling procedure is developed which is used to collect samples of safe states from FMS simulation models. These samples are used to estimate the efficiency (ratio of safe state rejection) of the two policies. Finally, a methodology for dynamically changing routes while maintaining SCP requirements is developed.","Made available in DSpace on 2011-05-07T14:22:02Z (GMT). No. of bitstreams: 2 license.txt: 4922 bytes, checksum: 910b249b4beec47e7ab768910c8f966f (MD5) 9624407.pdf: 5054943 bytes, checksum: 5133e8004d278e48d7e52e65ef5d6c51 (MD5) Previous issue date: 1995","Item marked as restricted to the 'UIUC Users [automated]' Group (id=2) by Howard Ding (hding2@illinois.edu) on 2011-05-07T15:05:55Z Item is restricted indefinitely.","Restriction data tranferred 2014-07-01T11:31:37-05:00 Original Data Group with Access UIUC Users [automated] Release Date: none Reason: ETDs are only available to UIUC Users without author permission","ETDs are only available to UIUC Users without author permission","U of I Only"]},{"key":"dc:title","label":"Title","values":["Structural analysis and control of flexible manufacturing systems"]}]}],"canonical_facts":{"dc:contributor":["Ferreira, Placid M."],"dc:creator":["Lawley, Mark Alan"],"dc:date":["2011-05-07T14:22:02Z","10000-01-01","1995"],"dc:description":["\"This work develops the theory of FMS structural analysis and control. Structural analysis in discrete event systems refers to the characterization of states and regions in the system state space which are logically inconsistent with \"\"normal\"\" system operation. The structural characteristics of an FMS strongly affect its behavior and performance. The primary FMS structural concern is deadlock. Deadlock is the situation in which there is a set of jobs where each job in the set is awaiting buffer capacity occupied by another job in the set.\"","\"The state space of the FMS is nicely represented by a directed graph with vertices representing system states and directed edges representing state transition. The objective of FMS structural analysis is to characterize strong regions of this state space which contain the empty state. Such regions are \"\"safe\"\" since strong connectedness with the empty state guarantees that all current jobs can be completed and the FMS emptied. Structural Control Policies (SCP) are real time operating policies that constrain FMS operation to the strongly connected regions.\"","Ideally, an SCP would admit a state if and only if the state were safe. However, the state safety problem is NP-complete in this context. Thus, accepting every safe state and rejecting every unsafe state will generally be computationally intractable. SCP rejection of all unsafe states in real (polynomial) time implies that some safe states will also be rejected. However, an SCP which rejects too many safe states will seriously impede FMS operation. Also, SCP's must not induce artificial deadlock, i.e. every admissible state must have an admissible safe sequence. Polynomial SCP's which reject all unsafe states and do not induce deadlock are referred to as correct and scalable.","In this work, two correct and scalable SCP's are developed. These policies reject states which exhibit predetermined necessary conditions for deadlock. Procedures for optimizing these policies for specific FMS configurations are presented. A sampling procedure is developed which is used to collect samples of safe states from FMS simulation models. These samples are used to estimate the efficiency (ratio of safe state rejection) of the two policies. Finally, a methodology for dynamically changing routes while maintaining SCP requirements is developed.","Made available in DSpace on 2011-05-07T14:22:02Z (GMT). No. of bitstreams: 2 license.txt: 4922 bytes, checksum: 910b249b4beec47e7ab768910c8f966f (MD5) 9624407.pdf: 5054943 bytes, checksum: 5133e8004d278e48d7e52e65ef5d6c51 (MD5) Previous issue date: 1995","Item marked as restricted to the 'UIUC Users [automated]' Group (id=2) by Howard Ding (hding2@illinois.edu) on 2011-05-07T15:05:55Z Item is restricted indefinitely.","Restriction data tranferred 2014-07-01T11:31:37-05:00 Original Data Group with Access UIUC Users [automated] Release Date: none Reason: ETDs are only available to UIUC Users without author permission","ETDs are only available to UIUC Users without author permission","U of I Only"],"dc:identifier":["AAI9624407","(UMI)AAI9624407","http://hdl.handle.net/2142/23652"],"dc:language":["eng"],"dc:rights":["Copyright 1995 Lawley, Mark Alan"],"dc:subject":["Engineering, Industrial"],"dc:title":["Structural analysis and control of flexible manufacturing systems"],"dc:type":["text"],"thesis:degree_discipline":["Engineering, Industrial"],"thesis:degree_level":["Dissertation"],"thesis:degree_name":["Ph.D."],"thesis:institution_name":["University of Illinois at Urbana-Champaign"]},"updated_at":"2026-07-22T22:25:22Z"}