@inproceedings{32fcd20bfde14031ba311bdb688b9e4a,
title = "Stability analysis for adaptive behavior (position paper)",
abstract = "One of the biggest challenges related to the research and development of autonomous systems is to prove the correctness of their autonomy. Nowadays, autonomous and adaptive systems are the roadmap to AI and the verification of such systems needs to set boundaries that will provide the highest possible guarantees that AI will be safe and sound, so trust can be established in its innocuous operation. In this paper, the authors draw upon their work on integrating stabilization science as part of a mechanism for verification of adaptive behavior. Stability analysis is studied to find an approach that helps to determine stable states of the behavior of an autonomous system. These states are further analyzed to determine behavior trajectories and equilibrium orbits. KnowLang, a formal method for knowledge representation and reasoning of adaptive systems, is used as a platform for stability analysis of autonomous systems.",
keywords = "Adaptive Systems, Autonomous Systems, KnowLang, Lyapunov Stability, Stability Analysis",
author = "Emil Vassev and Mike Hinchey",
note = "Publisher Copyright: Copyright {\textcopyright} 2018 by SCITEPRESS – Science and Technology Publications, Lda. All rights reserved; 4th International Conference on Vehicle Technology and Intelligent Transport Systems, VEHITS 2018 ; Conference date: 16-03-2018 Through 18-03-2018",
year = "2018",
doi = "10.5220/0006782204810487",
language = "English",
series = "VEHITS 2018 - Proceedings of the 4th International Conference on Vehicle Technology and Intelligent Transport Systems",
publisher = "SciTePress",
pages = "481--487",
editor = "Markus Helfert and Oleg Gusikhin",
booktitle = "VEHITS 2018 - Proceedings of the 4th International Conference on Vehicle Technology and Intelligent Transport Systems",
}