Verification of autonomous robotic systems: a perspective

Authors:
Nico Hochgeschwender;Holger Voos
Affiliations:
ESG Elektroniksystem- und Logistik-GmbH, Munich, Germany;University of Applied Sciences Ravensburg-Weingarten, Weingarten, Germany
Venue:
RA '07 Proceedings of the 13th IASTED International Conference on Robotics and Applications
Year:
2007

Citing 5
Cited 0

Automatic verification of finite-state concurrent systems using temporal logic specifications

ACM Transactions on Programming Languages and Systems (TOPLAS)
AgentSpeak(L): BDI agents speak out in a logical computable language

MAAMAW '96 Proceedings of the 7th European workshop on Modelling autonomous agents in a multi-agent world : agents breaking away: agents breaking away
The Model Checker SPIN

IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Introduction to AI Robotics

Introduction to AI Robotics
The Artificial Life Route to Artificial Intelligence: Building Embodied, Situated Agents

The Artificial Life Route to Artificial Intelligence: Building Embodied, Situated Agents

Quantified Score

Hi-index	0.00

Visualization

Abstract

One precondition before autonomous mobile robots can be used in commercial application is a method to guarantee a desired behavior or the fulfillment of security requirements. However, this task leads to a contradiction between the desired flexible autonomous action of the robot in a complex environment and the required proof of a certain behavior. In this contribution we present a first step in this direction by applying formal verification using model checking to autonomous control architectures. The proposed approach has been investigated using a simple UAV application and some first results are presented.