Quantcast
Channel: Browse By Latest Additions - RMIT Research Repository
Viewing all articles
Browse latest Browse all 41248

Towards formal modelling of autonomous systems

$
0
0
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.

Viewing all articles
Browse latest Browse all 41248

Trending Articles