Abstract
Autonomous systems have to deal with situations where external events or internal faults lead to states, which have not been considered during development. As a consequence such systems have to have knowledge about themselves, which has to be used to reason about adaptions in order to fulfill a given goal. In this paper we present a control architecture that combines a the sense-plan-act paradigm and model-based reasoning. The latter is used to identify internal faults. Beside discussing the control architecture we also briefly explain advantages of model-based diagnosis where there is a shift from providing control programs to developing models. Consequently, testing of models becomes an issue. Therefore, we also introduce basic definitions related to testing models for diagnosis and discuss the involved challenges.
This is a preview of subscription content, log in via an institution to check access.
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
Beizer, B.: Software Testing Techniques. Van Nostrand Reinhold (1990)
Daigle, M., Koutsoukos, X., Biswas, G.: Distributed diagnosis of coupled mobile robots. In: IEEE International Conference on Robotics and Automation, pp. 3787–3794 (2006)
Davis, R.: Diagnostic reasoning based on structure and behavior. Artificial Intelligence 24, 347–410 (1984)
Davis, R., Hamscher, W.: Model-based reasoning: Troubleshooting. In: Shrobe, H.E. (ed.) Exploring Artificial Intelligence, ch.8, pp. 297–346. Morgan Kaufmann (1988)
de Kleer, J.: An assumption-based TMS. Artificial Intelligence 28, 127–162 (1986)
de Kleer, J., Williams, B.C.: Diagnosing multiple faults. Artificial Intelligence 32(1), 97–130 (1987)
Dechter, R.: Constraint Processing. Morgan Kaufmann (2003)
El Fattah, Y., Dechter, R.: Diagnosing tree-decomposable circuits. In: Proceedings 14th International Joint Conf. on Artificial Intelligence, pp. 1742–1748 (1995)
Fikes, R.E., Nilsson, N.J.: STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving. Artificial Intelligence 2, 189–208 (1971)
Friedrich, G., Gottlob, G., Nejdl, W.: Physical impossibility instead of fault models. In: Proceedings of the National Conference on Artificial Intelligence (AAAI), Boston, pp. 331–336 (August 1990); also appears in Readings in Model-Based Diagnosis. Morgan Kaufmann (1992)
Fröhlich, P., Nejdl, W.: A Static Model-Based Engine for Model-Based Reasoning. In: Proceedings 15th International Joint Conf. on Artificial Intelligence, Nagoya, Japan (August 1997)
Greiner, R., Smith, B.A., Wilkerson, R.W.: A correction to the algorithm in Reiter’s theory of diagnosis. Artificial Intelligence 41(1), 79–88 (1989)
Gspandl, S., Pill, I.H., Reip, M., Steinbauer, G., Ferrein, A.: Belief management for high-level robot programs. In: Proceedings of the International Joint Conference on Artificial Intelligence, IJCAI (2011)
Hofbaur, M., Köb, J., Steinbauer, G., Wotawa, F.: Improving robustness of mobile robots using model-based reasoning. Journal of Intelligent & Robotic Systems 48(1), 37–54 (2007)
Kalech, M., Kaminka, G.A.: On the design of coordination diagnosis algorithms for teams of situated agents. Artificial Intelligence 171(8-9), 491–513 (2007)
Micalizio, R., Torasso, P., Torta, G.: On-line monitoring and diagnosis of a team of service robots: A model-based approach. AI Communications 19(4), 313–340 (2006)
Rajan, K., Bernard, D.E., Dorais, G., Gamble, E.B., Kanefsky, B., Kurien, J., Millar, W., Muscettola, N., Nayak, P.P., Rouquette, N.F., Smith, B.D., Taylor, W., Tung, Y.: Remote agent: An autonomous control system for the new millennium. In: 14th European Conference on Artificial Intelligence (ECAI), pp. 726–730 (2000)
Reiter, R.: A theory of diagnosis from first principles. Artificial Intelligence 32(1), 57–95 (1987)
Steinbauer, G., Mörth, M., Wotawa, F.: Real-time diagnosis and repair of faults of robot control software. In: RoboCup International Symposium, pp. 13–23 (2005)
Steinbauer, G., Wotawa, F.: Evaluating the robustness of the perception-decision-execution cycle of autonomous robots. In: Proceedings of the ICAR Workshop on Performance Measures for Quantifying Safe and Reliable Operation of Professional Service Robots in Unstructured, Dynamic Environments (2011)
Steinbauer, G., Wotawa, F.: Robust plan execution using model-based reasoning. Advanced Robotics 23(10), 1315–1326 (2009)
Stumptner, M., Wotawa, F.: Diagnosing Tree-Structured Systems. In: Proceedings 15th International Joint Conf. on Artificial Intelligence, Nagoya, Japan (1997)
Weber, J., Wotawa, F.: Diagnosis and repair of dependent failures in the control system of a mobile autonomous robot. Applied intelligence (2008)
Williams, B.C., Pandurang Nayak, P.: Immobile robots – ai in the new millennium. AI Magazine, 16–35 (1996)
Wotawa, F., Nica, M., Aichernig, B.K.: Generating distinguishing tests using the minion constraint solver. In: CSTVA 2010: Proceedings of the 2nd Workshop on Constraints for Testing, Verification and Analysis. IEEE (2010)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wotawa, F. (2012). Adaptive Autonomous Systems – From the System’s Architecture to Testing. In: Hähnle, R., Knoop, J., Margaria, T., Schreiner, D., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification, and Validation. ISoLA 2011. Communications in Computer and Information Science, vol 336. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-34781-8_6
Download citation
DOI: https://doi.org/10.1007/978-3-642-34781-8_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-34780-1
Online ISBN: 978-3-642-34781-8
eBook Packages: Computer ScienceComputer Science (R0)