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...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:IEEE transactions on robotics and automation Jg. 7; H. 1; S. 135 - 148
Hauptverfasser: Dotan, Y., Ben-Arieh, D.
Format: Journal Article
Sprache:Englisch
Veröffentlicht: New York, NY IEEE 01.02.1991
Institute of Electrical and Electronics Engineers
Schlagworte:
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-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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