# US 7,809,457 B2 · Framework for automatic generation of sequence of operations > Agents: this data is available as JSON from the patentgrep API and MCP server — see https://patentgrep.com/llms.txt - Number: US 7,809,457 B2 - Document ID: US7809457B2 - Status: Granted - Kind: B2 - Application number: 11/928,490 - Filed: 2007-10-30 - Published: 2009-04-30 - Granted: 2010-10-05 - Earliest claimed: 2007-10-30 - Assignees: GM Global Technology Operations LLC - Inventors: Chengyin Yuan; Fangming Gu; Stephan R. Biller; Magnus Johansson; Mikael Kjellgren; Richard C. Immers; Chieh-Yi Jerry Yen; Bengt Erik Lennartson; Martin Fabian; Knut Akesson; Petter Falkman - Web page: https://patentgrep.com/patent/US7809457B2 ## CPC - G05B 19/41865: {characterised by job scheduling, process planning, material flow} - G05B 2219/32266: Priority orders - G05B 2219/32353: Use elementary control task, finite state machine and loop, inhibit, synchronisation connections - Y02P 90/02: Total factory control, e.g. smart factories, flexible manufacturing systems [FMS] or integrated manufacturing systems [IMS] - G05B: CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS (systems for controlling or regulating non-electric variables G05D; systems for regulating electric or magnetic variables G05F; control devices or systems insofar as characterised by mechanical features only G05G) - Y02P: CLIMATE CHANGE MITIGATION TECHNOLOGIES IN THE PRODUCTION OR PROCESSING OF GOODS ## Abstract A method for generation of a sequence of operations for a manufacturing process including modeling the manufacturing process through a finite state machine to create a sequence of operations generator operative to generate a list of sequences of operations for the manufacturing process and utilizing the sequence of operations generator to input process information and automatically generate a list of sequences of operations. ## Claims ### Claim 1 A method for generating a sequence of operations for a manufacturing process, comprising: monitoring process information describing work elements that can be performed by a plurality of workstations within said manufacturing process; modeling within a control module said manufacturing process based upon said process information through a finite state machine to create a sequence of operations generator generating a list of sequences of operations comprising sequences of the work elements for the plurality of workstations for said manufacturing process; and utilizing said sequence of operations generator to input said process information and automatically generate said list of sequences of operations. ### Claim 2 (depends on 1) The method of claim 1, further comprising optimizing said list of sequences of operations through a set of priorities to select an optimized sequence of operations. ### Claim 3 (depends on 1) The method of claim 1, wherein said manufacturing process is a discrete manufacturing process. ### Claim 4 A method for generating a sequence of operations for a manufacturing process, comprising: modeling within a control module said manufacturing process through a finite state machine to create a sequence of operations generator generating a list of sequences of operations for said manufacturing process, said modeling comprising: modeling automata describing behaviors of various components of said manufacturing process, said automata collectively describing the behavior of said manufacturing process through automata outputs; processing said automata outputs through prioritized synchronous composition to create a complete solution state set; reducing said complete solution state set to a conforming solution state set through a trim algorithm; extracting a marked language set from said conforming solution state set; and translating said marked language set into said list of sequences of operations; and utilizing said sequence of operations generator to input process information and automatically generate said list of sequences of operations. ### Claim 5 (depends on 4) The method of claim 4, said modeling automata comprising estimating the effects of process factors including at least one of mechanical layout data, device specifications, and human operator performance. ### Claim 6 (depends on 4) The method of claim 4, said modeling automata comprising estimating the effects of product specific information tracking a plurality of products on in a single manufacturing process. ### Claim 7 (depends on 4) The method of claim 4, said modeling said manufacturing process further comprising optimizing said automata outputs prior to said processing, said optimizing comprising modifying said automata outputs according to manufacturing priorities and lessons learned. ### Claim 8 (depends on 4) The method of claim 4, said reducing comprising: applying a breadth-first search method to said complete solution state set starting with an initial state to identify all possible directly reachable relationships for each state of said complete solution state set and recording said directly reachable relationships; applying said breadth-first search method to said complete solution state set starting with target states to identify all possible directly co-reachable relationships for each state of said complete solution state set and recording said directly co-reachable relationships; and compiling said directly reachable relationships and said directly co-reachable relationships, recording in said conforming solution state set portions of said complete solution state set fitting both said directly reachable relationships and said directly co-reachable relationships. ### Claim 9 (depends on 4) The method of claim 4, said extracting comprising: applying a depth-first search method to said conforming solution state set; identifying language operative to solve said finite state machine by connecting an initial state to a target state; and marking all identified language into a marked language set. ### Claim 10 A method for generation of a sequence of operations for a manufacturing process in a motor vehicle manufacturing facility, comprising: monitoring process information describing work elements that can be performed by a plurality of workstations within said manufacturing process; modeling within a control module said manufacturing process based upon said process information through a finite state machine to create a sequence of operations generator generating a list of sequences of operations comprising sequences of the work elements for the plurality of workstations for said manufacturing process; and utilizing said sequence of operations generator to input said process information and automatically generate said list of sequences of operations. ### Claim 11 (depends on 10) The method of claim 10, further comprising optimizing said list of sequences of operations through a set of priorities to select an optimized sequence of operations. ### Claim 12 (depends on 10) The method of claim 10, wherein said manufacturing process is a discrete manufacturing process. ### Claim 13 A method for generation of a sequence of operations for a manufacturing process in a motor vehicle manufacturing facility, comprising: modeling within a control module said manufacturing process through a finite state machine to create a sequence of operations generator for generating a list of sequences of operations for said manufacturing process, said modeling comprising: modeling automata describing behaviors of various components of said manufacturing process, said automata collectively describing the behavior of said manufacturing process through automata outputs; processing said automata outputs through prioritized synchronous composition to create a complete solution state set; reducing said complete solution state set to a conforming solution state set through a trim algorithm; extracting a marked language set from said conforming solution state set; and translating said marked language set into said list of sequences of operations; and utilizing said sequence of operations generator to input process information and automatically generate said list of sequences of operations. ### Claim 14 (depends on 13) The method of claim 13, said modeling automata comprising estimating the effects of process factors including at least one of mechanical layout data, device specifications, and human operator performance. ### Claim 15 (depends on 13) The method of claim 13, said modeling automata comprising estimating the effects of product specific information operative to track a plurality of products on in a single manufacturing process. ### Claim 16 (depends on 13) The method of claim 13, said modeling said manufacturing process further comprising optimizing said automata outputs prior to said processing, said optimizing comprising modifying said automata outputs according to manufacturing priorities and lessons learned. ### Claim 17 (depends on 13) The method of claim 13, said reducing comprising: applying a breadth-first search method to said complete solution state set starting with an initial state to identify all possible directly reachable relationships for each state of said complete solution state set and recording said directly reachable relationships; applying said breadth-first search method to said complete solution state set starting with target states to identify all possible directly co-reachable relationships for each state of said complete solution state set and recording said directly co-reachable relationships; and compiling said directly reachable relationships and said directly co-reachable relationships, recording in said conforming solution state set portions of said complete solution state set fitting both said directly reachable relationships and said directly co-reachable relationships. ### Claim 18 (depends on 13) The method of claim 13, said extracting comprising: applying a depth-first search method to said conforming solution state set; identifying language operative to solve said finite state machine by connecting an initial state to a target state; and marking all identified language into a marked language set.