[go: up one dir, main page]

Kim et al., 2001 - Google Patents

A supervisory control approach for execution control of an FMC

Kim et al., 2001

View PDF
Document ID
3980459512128608449
Author
Kim S
Park J
Leachman R
Publication year
Publication venue
International Journal of Flexible Manufacturing Systems

External Links

Snippet

This paper presents a generic methodology based on formal language theory for the modeling and control of flexible manufacturing cell (FMC) systems. The motivating idea behind the overall approach stems from the supervisory control theory under the framework …
Continue reading at www.academia.edu (PDF) (other versions)

Classifications

    • G—PHYSICS
    • G05—CONTROLLING; REGULATING
    • G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B19/00—Programme-control systems
    • G05B19/02—Programme-control systems electric
    • G05B19/04—Programme control other than numerical control, i.e. in sequence controllers or logic controllers
    • G05B19/042—Programme control other than numerical control, i.e. in sequence controllers or logic controllers using digital processors
    • G05B19/0426—Programming the control sequence
    • G—PHYSICS
    • G05—CONTROLLING; REGULATING
    • G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B19/00—Programme-control systems
    • G05B19/02—Programme-control systems electric
    • G05B19/04—Programme control other than numerical control, i.e. in sequence controllers or logic controllers
    • G05B19/05—Programmable logic controllers, e.g. simulating logic interconnections of signals according to ladder diagrams or function charts
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for programme control, e.g. control unit
    • G06F9/06—Arrangements for programme control, e.g. control unit using stored programme, i.e. using internal store of processing equipment to receive and retain programme
    • G06F9/46—Multiprogramming arrangements
    • G—PHYSICS
    • G05—CONTROLLING; REGULATING
    • G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B19/00—Programme-control systems
    • G05B19/02—Programme-control systems electric
    • G05B19/418—Total factory control, i.e. centrally controlling a plurality of machines, e.g. direct or distributed numerical control [DNC], flexible manufacturing systems [FMS], integrated manufacturing systems [IMS], computer integrated manufacturing [CIM]
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/50—Computer-aided design
    • G06F17/5009—Computer-aided design using simulation
    • G—PHYSICS
    • G05—CONTROLLING; REGULATING
    • G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B2219/00—Program-control systems
    • G05B2219/30—Nc systems
    • G05B2219/50—Machine tool, machine tool null till machine tool work handling
    • G05B2219/50109—Soft approach, engage, retract, escape, withdraw path for tool to workpiece
    • G—PHYSICS
    • G05—CONTROLLING; REGULATING
    • G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B15/00—Systems controlled by a computer
    • G05B15/02—Systems controlled by a computer electric
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N5/00—Computer systems utilising knowledge based models
    • G06N5/02—Knowledge representation
    • G06N5/022—Knowledge engineering, knowledge acquisition
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G—PHYSICS
    • G05—CONTROLLING; REGULATING
    • G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B17/00—Systems involving the use of models or simulators of said systems
    • G05B17/02—Systems involving the use of models or simulators of said systems electric
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06Q—DATA PROCESSING SYSTEMS OR METHODS, SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTING PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTING PURPOSES, NOT OTHERWISE PROVIDED FOR
    • G06Q10/00—Administration; Management
    • G06Q10/06—Resources, workflows, human or project management, e.g. organising, planning, scheduling or allocating time, human or machine resources; Enterprise planning; Organisational models

Similar Documents

Publication Publication Date Title
US6789054B1 (en) Geometric display tools and methods for the visual specification, design automation, and control of adaptive real systems
US6157864A (en) System, method and article of manufacture for displaying an animated, realtime updated control sequence chart
US6167406A (en) System, method and article of manufacture for building an enterprise-wide data model
US6108662A (en) System method and article of manufacture for integrated enterprise-wide control
US6161051A (en) System, method and article of manufacture for utilizing external models for enterprise wide control
CN111722539A (en) A Temporal Automata-Based Modeling Method for Digital Twin Manufacturing Cell Behavior
Lou et al. An idea of using Digital Twin to perform the functional safety and cybersecurity analysis
Toguyéni et al. Models and algorithms for failure diagnosis and recovery in FMSs
Qiu et al. A structured adaptive supervisory control methodology for modeling the control of a discrete event manufacturing system
Son et al. Simulation-based shop floor control
Carpignano et al. Computer assisted fault tree construction: a review of methods and concerns
Fanti et al. Design of supervisors to avoid deadlock in flexible assembly systems
Liu et al. Petri nets-based modeling solution for cyber–physical product control considering scheduling, deployment, and data-driven monitoring
Zha et al. Knowledge intensive Petri net framework for concurrent intelligent design of automatic assembly systems
Gaiardelli et al. Enabling Service-Oriented Manufacturing Through Architectures, Models, and Protocols
Kim et al. A supervisory control approach for execution control of an FMC
Miremadi et al. Symbolic on-the-fly synthesis in supervisory control theory
Zamil Verifying smart sensory systems on cloud computing frameworks
Pawletta et al. A devs-based approach for modeling and simulation of hybrid variable structure systems
Chaar A methodology for developing real-time control software for efficient and dependable manufacturing systems
Babic Digital twins in smart manufacturing
Sobh et al. A subject-indexed bibliography of discrete event dynamic systems
Tianfield Formalized analysis of structural characteristics of large complex systems
Lemmon et al. A tutorial introduction to supervisory hybrid systems
Yamazaki An integrated construction planning system using object-oriented product and process modelling