Authors:
Emil Vassev
and
Mike Hinchey
Affiliation:
Lero – The Irish Software Research Centre and University of Limerick, Ireland
Keyword(s):
Stability Analysis, Lyapunov Stability, Autonomous Systems, Adaptive Systems, KnowLang.
Related
Ontology
Subjects/Areas/Topics:
Artificial Intelligence
;
Business Analytics
;
Cardiovascular Technologies
;
Computing and Telecommunications in Cardiology
;
Data Engineering
;
Decision Support Systems
;
Decision Support Systems, Remote Data Analysis
;
Health Engineering and Technology Applications
;
Knowledge-Based Systems
;
Symbolic Systems
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.