This paper addresses the problem of verifying properties of behaviour-based systems used for controlling robots. A behaviour-based system typically consists of many interconnected components, the behaviours, which in combination realise the system's overall functionality. The connections between the behaviours are crucial for the correct operation of a system. Therefore, key properties of behaviour-based systems are verifiable based on their behaviour interconnections. In this paper, it is described how behaviour-based networks can be (automatically) modelled using finite-state machines and how model checking with the Uppaal toolbox can then be applied for verification and analysis tasks. © 2012 Springer-Verlag.
CITATION STYLE
Armbrust, C., Kiekbusch, L., Ropertz, T., & Berns, K. (2012). Verification of behaviour networks using finite-state automata. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7526 LNAI, pp. 1–12). https://doi.org/10.1007/978-3-642-33347-7_1
Mendeley helps you to discover research relevant for your work.