Towards formal modelling of autonomous systems

Autonomous systems perform decision making without human intervention. They collect the data from the environment, process it to build the awareness and perform the actions. Consequently, the adaptivity functions can be seen as the core parts of these systems. In this paper we introduce a formal framework for modelling and analysis of autonomous systems and their compositions, especially focusing on the adaptivity modelling aspects and reasoning about adaptive behaviour.