Matches in SemOpenAlex for { <https://semopenalex.org/work/W2346363692> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2346363692 abstract "Logic control is an integral part of manufacturing systems. The creation and debugging of the logic control represents a significant amount of the effort needed to design a large manufacturing system. Today's rapidly shifting markets have greatly reduced the life of a product design and the manufacturing system to produce it. As a result reconfigurable manufacturing systems are being developed which are capable of producing different parts over their lifetime. These systems will need logic control which is capable of being easily reconfigured as the system changes. To enable this reconfiguration the logic control must be modular. To reduce the time to debug the original and reconfigured system, the logic control needs to be verifiable. This dissertation describes the development of a logic control framework, Modular Finite State Machines (MFSMs), for use in logic control for reconfigurable manufacturing systems. There are four major contributions presented in this dissertation. The first contribution is the creation of MFSMs. MFSMs consist of a system of modules which interact by passing events. The logic within a module is represented as a Trigger/Response Finite State Machine (TR FSM). The allowed communication between modules is specified with interface TR FSMs called filters. The second contribution is the creation of Trigger/Response (TR) Languages. TR languages are an extension of classical language theory to match the behavior of the composition of TR FSMs. The primary motivation for creating TR languages was to aid in constructing proofs about systems of TR FSMs. The third contribution is the development of theoretical results for MFSMs. These results were generated with the help of TR languages. Significantly, the composition of TR FSMs was shown to be both commutative and associative, and a procedure for modularly verifying the absence of a certain class of errors was developed. The fourth contribution is the demonstration of the practicality of MFSMs as a means of logic control for manufacturing systems. A set of software tools for manipulating, verifying and executing MFSMs was created. These tools were then used to successfully construct MFSM controllers for three manufacturing system testbeds." @default.
- W2346363692 created "2016-06-24" @default.
- W2346363692 creator A5011050078 @default.
- W2346363692 creator A5025730901 @default.
- W2346363692 date "2004-01-01" @default.
- W2346363692 modified "2023-09-26" @default.
- W2346363692 title "Modular finite state machines for logic control: theory, verification and applications to reconfigurable manufacturing systems" @default.
- W2346363692 hasPublicationYear "2004" @default.
- W2346363692 type Work @default.
- W2346363692 sameAs 2346363692 @default.
- W2346363692 citedByCount "9" @default.
- W2346363692 crossrefType "dissertation" @default.
- W2346363692 hasAuthorship W2346363692A5011050078 @default.
- W2346363692 hasAuthorship W2346363692A5025730901 @default.
- W2346363692 hasConcept C101468663 @default.
- W2346363692 hasConcept C111919701 @default.
- W2346363692 hasConcept C119599485 @default.
- W2346363692 hasConcept C119701452 @default.
- W2346363692 hasConcept C127413603 @default.
- W2346363692 hasConcept C133731056 @default.
- W2346363692 hasConcept C149635348 @default.
- W2346363692 hasConcept C154945302 @default.
- W2346363692 hasConcept C167822520 @default.
- W2346363692 hasConcept C168065819 @default.
- W2346363692 hasConcept C17500928 @default.
- W2346363692 hasConcept C199360897 @default.
- W2346363692 hasConcept C2775924081 @default.
- W2346363692 hasConcept C2776350369 @default.
- W2346363692 hasConcept C2778693208 @default.
- W2346363692 hasConcept C37374048 @default.
- W2346363692 hasConcept C41008148 @default.
- W2346363692 hasConcept C44986683 @default.
- W2346363692 hasConcept C92991967 @default.
- W2346363692 hasConceptScore W2346363692C101468663 @default.
- W2346363692 hasConceptScore W2346363692C111919701 @default.
- W2346363692 hasConceptScore W2346363692C119599485 @default.
- W2346363692 hasConceptScore W2346363692C119701452 @default.
- W2346363692 hasConceptScore W2346363692C127413603 @default.
- W2346363692 hasConceptScore W2346363692C133731056 @default.
- W2346363692 hasConceptScore W2346363692C149635348 @default.
- W2346363692 hasConceptScore W2346363692C154945302 @default.
- W2346363692 hasConceptScore W2346363692C167822520 @default.
- W2346363692 hasConceptScore W2346363692C168065819 @default.
- W2346363692 hasConceptScore W2346363692C17500928 @default.
- W2346363692 hasConceptScore W2346363692C199360897 @default.
- W2346363692 hasConceptScore W2346363692C2775924081 @default.
- W2346363692 hasConceptScore W2346363692C2776350369 @default.
- W2346363692 hasConceptScore W2346363692C2778693208 @default.
- W2346363692 hasConceptScore W2346363692C37374048 @default.
- W2346363692 hasConceptScore W2346363692C41008148 @default.
- W2346363692 hasConceptScore W2346363692C44986683 @default.
- W2346363692 hasConceptScore W2346363692C92991967 @default.
- W2346363692 hasLocation W23463636921 @default.
- W2346363692 hasOpenAccess W2346363692 @default.
- W2346363692 hasPrimaryLocation W23463636921 @default.
- W2346363692 hasRelatedWork W129666548 @default.
- W2346363692 hasRelatedWork W1511432592 @default.
- W2346363692 hasRelatedWork W1528204541 @default.
- W2346363692 hasRelatedWork W1585904950 @default.
- W2346363692 hasRelatedWork W164206602 @default.
- W2346363692 hasRelatedWork W1985862009 @default.
- W2346363692 hasRelatedWork W2033279237 @default.
- W2346363692 hasRelatedWork W2059057465 @default.
- W2346363692 hasRelatedWork W2143966014 @default.
- W2346363692 hasRelatedWork W2158953998 @default.
- W2346363692 hasRelatedWork W2182364262 @default.
- W2346363692 hasRelatedWork W2614089092 @default.
- W2346363692 hasRelatedWork W2913272471 @default.
- W2346363692 hasRelatedWork W2915121760 @default.
- W2346363692 hasRelatedWork W2242758913 @default.
- W2346363692 hasRelatedWork W2818089565 @default.
- W2346363692 hasRelatedWork W2828331207 @default.
- W2346363692 hasRelatedWork W2841794852 @default.
- W2346363692 hasRelatedWork W2881739411 @default.
- W2346363692 hasRelatedWork W3154251945 @default.
- W2346363692 isParatext "false" @default.
- W2346363692 isRetracted "false" @default.
- W2346363692 magId "2346363692" @default.
- W2346363692 workType "dissertation" @default.