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

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:IEEE transactions on robotics and automation Ročník 7; číslo 1; s. 135 - 148
Hlavní autori: Dotan, Y., Ben-Arieh, D.
Médium: Journal Article
Jazyk:English
Vydavateľské údaje: New York, NY IEEE 01.02.1991
Institute of Electrical and Electronics Engineers
Predmet:
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
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí: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