Modeling flexible manufacturing systems: the concurrent logic programming approach

A novel approach to the modeling and analysis of an FMS (flexible manufacturing system) is presented, focusing on shop-floor control processes. This approach is based on concurrent logic programming, which uses the theoretical foundation of communicating sequential processes and guarded commands wit...

Full description

Saved in:
Bibliographic Details
Published in:IEEE transactions on robotics and automation Vol. 7; no. 1; pp. 135 - 148
Main Authors: Dotan, Y., Ben-Arieh, D.
Format: Journal Article
Language:English
Published: New York, NY IEEE 01.02.1991
Institute of Electrical and Electronics Engineers
Subjects:
Applied sciences
Computer science; control theory; systems
Concurrent computing
Control theory. Systems
Debugging
Dynamic programming
Exact sciences and technology
Flexible manufacturing systems
Logic programming
Performance analysis
Process control
Process control. Computer integrated manufacturing
Sun
Timing
Workstations
Logical programming
Flexible manufacturing system
Concurrent program
Modeling
Analysis
ISSN:1042-296X
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:A novel approach to the modeling and analysis of an FMS (flexible manufacturing system) is presented, focusing on shop-floor control processes. This approach is based on concurrent logic programming, which uses the theoretical foundation of communicating sequential processes and guarded commands with nondeterminacy. The modeling approach is implemented using Flat Concurrent Prolog (FCP) on a Sun workstation or on a VAX machine. The properties of concurrent logic programming, as demonstrated by using FCP, include: (1) hierarchical description; (2) support for timing specifications; (3) modeling of concurrency and synchronization; (4) support for generic modeling; (5) facilitation of data transfer and complex communication; (6) capability of performance evaluation; (7) capability of static and dynamic analysis; (8) debugging capabilities; and (9) simulation ability.< >
ISSN:1042-296X
DOI:10.1109/70.68077