Hierarchical control architectures in industrial automation: a design approach based on the generali

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 17, Issue 1 PART 1, 2008, Pages

  Faldella, Eugenio ^a   Paoli, Andrea ^a   Sartini, Matteo ^a   Tilli, Andrea ^a  

^a NONE

Author keywords

Flexible and reconfigurable manufacturing systems; Modeling of manufacturing operations; Process supervision

Indexed keywords

DESIGN APPROACHES; FLEXIBLE AND RECONFIGURABLE MANUFACTURING SYSTEMS; HIERARCHICAL CONTROL ARCHITECTURE; INDUSTRIAL AUTOMATION; MAIN CHARACTERISTICS; MODELING OF MANUFACTURING OPERATIONS; PROCESS SUPERVISION;

ACTUATORS; AUTOMATION; MANUFACTURE; STARTING;

INDUSTRIAL PLANTS;

EID: 79961020292     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.3182/20080706-5-KR-1001.3528     Document Type: Conference Paper

References (6)

1. M. Bonf and C. Fantuzzi. Application of object-oriented modeling tools to design the logic control system of a packaging machine. IEEE International conference on Control application Industrial Informatics, pages 506-574, 2004.
2. M. Bonf, C. Fantuzzi, and C. Secchi. Behavioural inheritance in object-oriented models for mechatronic systems. International Journal of Manufacturing Research, 1(4):421-441, 2006.
3. L. Ferrarini, C. Veber, and V. Schir. A modular modelling and implementation of automation functions for flexible manufacturing systems. ANIPLA international Congress 50 Anniversary 1956-2006, Methodologies for Emerging Technologies in Auotomation, 2006.
4. S. Moreno and E. Peulot. Le GEMMA: modes de marches et d'arrest, Grafcet de coordination des taches, Conceptions des Systemes Automatises de Production surs. Editions Casteillal, 2002.
5. K. C. Thramboulidis. Model integrated mechatronicstowards a new paradigm in the development of manufacturing systems. IEEE Transaction on Industrial Informatics, 1:54-61, 2005.
6. V. Vyatkin and H. M. Hanisch. Formal modeling and verification in the software engineering framework of iec 61499: a way to self-verifying systems. IEEE International conference on Emerging Technologies and Factory Automation, 2(113-118), 2001.