Stability Analysis for Adaptive Behavior - (Position Paper)

Emil Vassev, Mike Hinchey

2018

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.

Download


Paper Citation


in Harvard Style

Vassev E. and Hinchey M. (2018). Stability Analysis for Adaptive Behavior - (Position Paper).In Proceedings of the 4th International Conference on Vehicle Technology and Intelligent Transport Systems - Volume 1: VEHITS, ISBN 978-989-758-293-6, pages 481-487. DOI: 10.5220/0006782204810487


in Bibtex Style

@conference{vehits18,
author={Emil Vassev and Mike Hinchey},
title={Stability Analysis for Adaptive Behavior - (Position Paper)},
booktitle={Proceedings of the 4th International Conference on Vehicle Technology and Intelligent Transport Systems - Volume 1: VEHITS,},
year={2018},
pages={481-487},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006782204810487},
isbn={978-989-758-293-6},
}


in EndNote Style

TY - CONF

JO - Proceedings of the 4th International Conference on Vehicle Technology and Intelligent Transport Systems - Volume 1: VEHITS,
TI - Stability Analysis for Adaptive Behavior - (Position Paper)
SN - 978-989-758-293-6
AU - Vassev E.
AU - Hinchey M.
PY - 2018
SP - 481
EP - 487
DO - 10.5220/0006782204810487