Abstract
In the manufacturing world, globalisation leads to a trend towards the reduction of batches and product life cycle, and the increase of part diversity, which are in conflict with other requirements, such as the cost reduction achieved with higher productivity. Thus, the challenge is to develop flexible, agile and intelligent management and control architectures that satisfy the referred requirements. The holonic manufacturing and the agent-based manufacturing approaches allow a new approach to the manufacturing problem, through concepts such as modularity, decentralisation, autonomy and re-use of control software components. ADACOR, one of the holonic architectures recently proposed, defines a set of autonomous and intelligent holons aiming to improve the performance of control system in industrial scenarios characterised by the frequent occurrence of unexpected disturbances. The formal modeling and validation of the specifications of the ADACOR-holons and of the interactions between these holons to implement the manufacturing control functions is of critical importance. In this paper, a formal methodology is introduced and applied to model the dynamic behaviour of the ADACOR-holon classes.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Colombo, A.W.: Integration of High-Level Petri Net-based Formal Methods for the Supervision of Flexible Production Systems. In: Tutorial Lecture at the 1st Online Symposium for Electronics Engineers, 20th February (2001)
Van Brussel, H., Wyns, J., Valckenaers, P., Bongaerts, L., Peeters, P.: Reference Architecture for Holonic Manufacturing Systems: PROSA. Computers In Industry 37, 255–274 (1998)
Fisher, K.: Agent-Based Design of Holonic Manufacturing Systems. Journal of Robotics and Autonomous Systems 27, 3–13 (1999)
Maturana, F., Norrie, D.: Multi-Agent Mediator Architecture for Distributed Manufacturing. Journal of Intelligent Manufacturing 7, 257–270 (1996)
Van Dyke Parunak, H., Baker, A., Clark, S.: The AARIA Agent Architecture: An Example of Requirements-Driven Agent-Based System Design. In: Proceedings of 1st International Conference on Autonomous Agents, pp. 482–483 (1998)
Brennan, R., Fletcher, M., Norrie, D.: An Agent-based Approach to Recon-iguration of Real-Time Distributed Control Systems. In: IEEE Transactions on Robotics and Automation, vol. 18(4), pp. 444–451 (2002)
Colombo, A.W., Neubert, R., Schoop, R.: A Solution to Holonic Control Systems. In: Proceedings of the 8th IEEE International Conference on Emerging Technologies and Factory Automation, Sophia/Nice, France, pp. 489–498 (2001)
Leitão, P., Restivo, F.: Adaptive Production Control Systems. In: Proceedings of special session on Agent-based Intelligent Automation and Holonic Control Systems of the 28th Annual Conference of the IEEE Industrial Electronics Society, Sevilla, Spain, 5-8 November, pp. 2968–2973 (2002)
Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual. Addison-Wesley, Reading (1998)
Silva, M., Valette, R.: Petri Nets and Flexible Manufacturing. In: Rozenberg, G. (ed.) APN 1989. LNCS, vol. 424, pp. 374–417. Springer, Heidelberg (1990)
Murata, T.: Petri Nets: Properties, Analysis and Applications. In: Proceedings of the IEEE, vol. 77(4), pp. 541–580 (1989)
Colombo, A.W., Carelli, R.: Petri Nets for Designing Manufacturing Systems. In: Tzafestas, S.G. (ed.) Computer-Assisted Management and Control of Manufacturing Systems, cap. 11. Springer, Heidelberg (1997)
Desrochers, A., Al-Jaar, R.: Applications of Petri Nets in Manufacturing Systems-Modeling, Control and Performance Analysis. IEEE Press, Los Alamitos (1995)
Feldmann, K., Schnur, C., Colombo, A.W.: Modularized, Distributed Realtime Control of Flexible Production Cells, using Petri Nets. In: CEP, vol. 4(8), pp. 1067–1078 (1996)
Holloway, L., Krogh, B., Giua, A.: A Survey of Petri net Methods for Controlled Discrete-Event Systems. In: Discrete-Event Systems: Theory and Applications, vol. 7(2), pp. 151–190. Kluwer Academics, Dordrecht (1997)
Leitão, P., Restivo, F.: Identification of ADACOR Holons for Manufacturing Control. In: Proceedings of 7th IFAC Workshop on Intelligent Manufacturing Systems, Budapest, Hungary, 6-8 April, pp. 109–114 (2003)
Leitão, P., Colombo, A.W., Restivo, F.: A Formal Validation Approach for Holonic Control System Specifications. In: Submitted to 9th IEEE International Conference on Emerging Technologies and Factory Automation, Lisboa, Portugal (2003)
Vyatkin, V., Hanisch, H.-M., Ivanov, G.: Application of Formal Methods for Deep Testing of Controllers in Holonic Systems. In: Proceedings of the 1st IEEE International Conference on Information Technology in Mechatronics (ITM 2001), Istanbul, Turkey, 1-3 October, pp. 53–58 (2001)
Frey, G., Minas, M., John, K.: Steuerungsentwurf mit Petrinetzen. SPS-Magazin, Verlag Marburg, 4/5, 44-47 (2002)
Colombo, A.W., Neubert, R., Süssmann, B.: A Colored Petri Net based Approach Towards a Formal Specification of Agent-Controlled Production Systems. In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Tunisia (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Leitão, P., Colombo, A.W., Restivo, F. (2003). An Approach to the Formal Specification of Holonic Control Systems. In: Mařík, V., McFarlane, D., Valckenaers, P. (eds) Holonic and Multi-Agent Systems for Manufacturing. HoloMAS 2003. Lecture Notes in Computer Science(), vol 2744. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-45185-3_6
Download citation
DOI: https://doi.org/10.1007/978-3-540-45185-3_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40751-5
Online ISBN: 978-3-540-45185-3
eBook Packages: Springer Book Archive