Abstract
The increasing complexity of computer-based technical systems require new ways to control them. The initiatives Organic Computing and Autonomic Computing address exactly this issue. They demand future computer systems to adapt dynamically and autonomously to their environment. In this paper we propose a new approach based on automated planning to realise self-organising capabilities for complex distributed computing systems. The user/administrator only defines objectives describing the conditions which should hold in the system, whereas the system itself is responsible for meeting them using a planning engine. As many planning algorithms are known to be sound and complete, formal guarantees can be given. Thus we aim at building trusted self-organising distributed computer system which are suitable to control real technical systems. Our approach is demonstrated and evaluated on the basis of a simulated production cell with robots and carts. We propose and evaluate two optimisations.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bahat, R.M., Bauer, M.A., Vieira, E.M., Baek, O.K.: Using policies to drive autonomic management. In: WOWMOM 2006: Proceedings of the 2006 International Symposium on on World of Wireless, Mobile and Multimedia Networks, Washington, DC, USA, pp. 475–479. IEEE Computer Society, Los Alamitos (2006)
de Weerdt, M., ter Mors, A., Witteveen, C.: Multi-agent planning: An introduction to planning and coordination. In: Handouts of the European Agent Summer School, pp. 1–32 (2005)
Durfee, E.H., Lesser, V.R.: Partial global planning: A coordination framework for distributed hypothesis formation. IEEE Transactions on Systems, Man, and Cybernetics 21(5), 1167–1183 (1991)
Fikes, R., Nilsson, N.J.: STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence-4, 1971 2, 189–208 (1971)
Gerevini, A., Schubert, L.K.: Accelerating partial-order planners: Some techniques for effective search control and pruning. CoRRÂ cs.AI/9609101 (1996)
Ghallab, M., Nau, D., Traverso, P.: Automated Planning: Theory and Practice. Morgan Kaufman, San Francisco (2004)
Güdemann, M., Ortmeier, F., Reif, W.: Formal modeling and verification of systems with self-x properties. In: Yang, L.T., Jin, H., Ma, J., Ungerer, T. (eds.) ATC 2006. LNCS, vol. 4158, pp. 38–47. Springer, Heidelberg (2006)
Horn, P.: Autonomic computing: Ibms perspective on the state of information technology (2001), http://www.research.ibm.com/autonomic/
Kephart, J.O.: Research challenges of autonomic computing. In: Inverardi, P., Jazayeri, M. (eds.) ICSE 2005. LNCS, vol. 4309, pp. 15–22. Springer, Heidelberg (2006)
Kephart, J.O., Chess, D.M.: The vision of autonomic computing. Computer 36(1), 41–50 (2003)
McDermott, D.: Pddl — the planning domain definition language (1998)
Müller-Schloer, C., von der Malsburg, C., Würtz, R.P.: Organic computing. Informatik Spektrum 27(4), 332–336 (2004)
Nguyen, X., Kambhampati, S.: Reviving partial order planning. In: Nebel, B. (ed.) Proceedings of the seventeenth International Conference on Artificial Intelligence (IJCAI 2001), August 4–10, 2001, pp. 459–466. Morgan Kaufmann, San Francisco (2001)
Schmeck, H.: Organic computing-vision and challenge for system design. In: Proceedings of the Parallel Computing in Electrical Engineering, International Conference on (PARELEC 2004), Washington, DC, USA, pp. 3–3. IEEE Computer Society Press, Los Alamitos (2004)
Schmeck, H.: Organic computing. Künstliche Intelligenz 05(3), 68–69 (2005)
Srivastava, B., Kambhampati, S.: The case for automated planning in autonomic computing. In: ICAC, pp. 331–332. IEEE Computer Society, Los Alamitos (2005)
Trumler, W., Bagci, F., Petzold, J., Ungerer, T.: AMUN - autonomic middleware for ubiquitous environments applied to the smart doorplate. ELSEVIER Advanced Engineering Informatics 19(3), 243–252 (2005)
Weld, D.S.: An introduction to least commitment planning. AI Magazine 15(4), 27–61 (1994)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Satzger, B., Pietzowski, A., Trumler, W., Ungerer, T. (2008). Using Automated Planning for Trusted Self-organising Organic Computing Systems. In: Rong, C., Jaatun, M.G., Sandnes, F.E., Yang, L.T., Ma, J. (eds) Autonomic and Trusted Computing. ATC 2008. Lecture Notes in Computer Science, vol 5060. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-69295-9_7
Download citation
DOI: https://doi.org/10.1007/978-3-540-69295-9_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-69294-2
Online ISBN: 978-3-540-69295-9
eBook Packages: Computer ScienceComputer Science (R0)