Formal specification of ADACOR holonic control system: Coordination models

Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05

Volumn 2005, Issue , 2005, Pages 2137-2142

  Leitão, Paulo ^a,b   Colombo, Armando W ^a,c   Restivo, Francisco ^a,d  

^a IEEE   (Portugal)

^b INSTITUTO POLITÉCNICO DE BRAGANÇA   (Portugal)

^c Schneider Electric   (Germany)

^d UNIVERSITY OF PORTO   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL SPECIFICATION; HOLONIC CONTROL SYSTEMS; INTERACTION DIAGRAMS;

COMPUTATIONAL GEOMETRY; COMPUTER SIMULATION; MATHEMATICAL MODELS; PETRI NETS;

CONTROL SYSTEM ANALYSIS;

EID: 33847178749     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CDC.2005.1582477     Document Type: Conference Paper

References (12)

1. A. Koestler, The Ghost in the Machine, Arkana Books, London, 1969.
2. P. Leitão, A. W. Colombo and F. Restivo, "ADACOR, A Collaborative Production Automation and Control Architecture", IEEE Intelligent Systems, vol. 20, no.1, pp. 58-66, 2005.
3. M. Silva and R. Valette, "Petri Nets and Flexible Manufacturing", LNCS, vol. 424, Springer-Verlag, pp. 374-417, 1989.
4. T. Murata, "Petri Nets: Properties, Analysis and Applications", IEEE, vol. 77, no. 4, pp. 541-580, 1989.
5. L. Holloway, B. Krogh, and A. Giua, "A Survey of Petri Net Methods for Controlled Discrete-Event Systems", Discrete-Event Systems: Theory and Applications, vol. 7, no. 2, KAP, pp. 151-190, 1997.
6. M. Zhou, Petri Nets in Flexible and Agile Automation, Kluwer Academic Publishers, 1995.
7. P. Leitão, A.W. Colombo and F. Restivo, "An Approach for the Formal Specification of Holonic Control Systems", LNAI, vol. 2744, Springer-Verlag, pp. 59-70, 2003.
8. P. Leitão, "An Agile and Adaptive Holonic Architecture for Manufacturing Control", PhD Thesis, University of Porto, 2004.
9. J. Odell, H. V. Parunak and B. Bauer, "Representing Agent Interaction Protocols in UML", LNCS, vol. 1957, Springer-Verlag, 2000.
10. E. W. Dijkstra, "Solution of a Problem in Concurrent Programming Control", Comm. ACM, vol. 8, no. 9, 1965.
11. A. W. Colombo, "Development and Implementation of Hierarchical Control Structures of Flexible Production Systems Using High-Level Petri Nets", Manufacturing Automation Series, K. Feldmann (ed.), MeisenbachVerlag Bamberg, 1998.
12. st IEEE International Conference on Industrial Information (INDIN2003), Canada, 21-24 August 2003.