Catalogo Articoli (Spogli Riviste)

OPAC HELP

Titolo:
A modeling and analysis methodology for modular logic controllers of machining systems using Petri net formalism
Autore:
Park, E; Tilbury, DM; Khargonekar, PP;
Indirizzi:
Univ Michigan, Dept Elect Engn & Comp Sci, Ann Arbor, MI 48109 USA Univ Michigan Ann Arbor MI USA 48109 & Comp Sci, Ann Arbor, MI 48109 USA Univ Michigan, Dept Mech Engn & Appl Mech, Ann Arbor, MI 48109 USA Univ Michigan Ann Arbor MI USA 48109 & Appl Mech, Ann Arbor, MI 48109 USA Univ Florida, Dept Elect & Comp Engn, Gainesville, FL 32611 USA Univ Florida Gainesville FL USA 32611 omp Engn, Gainesville, FL 32611 USA
Titolo Testata:
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS
fascicolo: 2, volume: 31, anno: 2001,
pagine: 168 - 188
SICI:
1094-6977(200105)31:2<168:AMAAMF>2.0.ZU;2-5
Fonte:
ISI
Lingua:
ENG
Soggetto:
AUTOMATED MANUFACTURING SYSTEMS; ERROR RECOVERY; DESIGN; SPECIFICATION; IMPLEMENTATION;
Keywords:
fault diagnosis/recovery control logic; logic control; machining systems; modular logic controller; petri nets (PNs); reconfigurable manufacturing systems;
Tipo documento:
Article
Natura:
Periodico
Settore Disciplinare:
Engineering, Computing & Technology
Citazioni:
45
Recensione:
Indirizzi per estratti:
Indirizzo: Park, E Univ Michigan, Dept Elect Engn & Comp Sci, Ann Arbor, MI 48109 USAUniv Michigan Ann Arbor MI USA 48109 Sci, Ann Arbor, MI 48109 USA
Citazione:
E. Park et al., "A modeling and analysis methodology for modular logic controllers of machining systems using Petri net formalism", IEEE SYST C, 31(2), 2001, pp. 168-188

Abstract

Logic controllers for machining systems typically have three control modes: auto, hand, and manual. In this paper, a unified formal representation oflogic controllers with three control modes is provided using Petri nets (PNs). A modular logic controller structure is introduced and formalized for high-volume transfer lines. The modular logic controller consists of a control module for mode decision and control modules for station logic controllers. Each station control module is represented by connecting operation modules which are designed with respect to the fault recovery processes of operations; their connection algorithm is also provided. In our formal representation, each control module is represented by a live, safe, and reversiblePN. A condition for the modular logic controller to generate a correct control logic is provided: operation causality condition. Using the modular structure of a logic controller, the control logic can be easily reconfiguredand automatic code generation is possible.

ASDD Area Sistemi Dipartimentali e Documentali, Università di Bologna, Catalogo delle riviste ed altri periodici
Documento generato il 04/04/20 alle ore 08:58:29