A formal approach to discrepancy generation for systematic testing of execution monitoring algorithms in simulation

Çoruhlu, Gökay and Erdem, Esra and Patoğlu, Volkan (2016) A formal approach to discrepancy generation for systematic testing of execution monitoring algorithms in simulation. In: IEEE International Conference on Simulation, Modeling, and Programming for Autonomous Robots (SIMPAR), San Francisco, CA, USA

This is the latest version of this item.

[thumbnail of Gokay_SIMPAR_v24.pdf] PDF
Gokay_SIMPAR_v24.pdf
Restricted to Repository staff only

Download (927kB) | Request a copy

Abstract

Successful plan generation for autonomous systems is necessary but not sufficient to guarantee reach a goal state by an execution of the plan, since various discrepancies between the expected state and the observed state may occur during the plan execution (e.g., due to unexpected exogenous events, changes in the goals, or failure of robot parts) and these discrepancies may lead to plan failures. For that reason, these systems should be equipped with execution monitoring algorithms so that they can autonomously recover from such discrepancies. Before execution monitoring algorithms are deployed on autonomous systems, comprehensive testing and simulation is needed to evaluate their performances and to understand their applicability. With this motivation, we introduce formal methods for discrepancy generation with respect to the plan being executed and by utilizing feasibility checks of robotic actions, and we propose a novel generic algorithm for simulation of execution monitoring algorithms that enables systematic testing of them in simulation. We illustrate an application of our methods on an execution monitoring algorithm that involves guided replanning and diagnosis, in the context of some service robotics scenarios that utilize multiple bi-manual mobile manipulators.
Item Type: Papers in Conference Proceedings
Divisions: Faculty of Engineering and Natural Sciences > Academic programs > Mechatronics
Faculty of Engineering and Natural Sciences > Academic programs > Computer Science & Eng.
Faculty of Engineering and Natural Sciences
Depositing User: Esra Erdem
Date Deposited: 11 Sep 2017 14:25
Last Modified: 26 Apr 2022 09:28
URI: https://research.sabanciuniv.edu/id/eprint/33966

Available Versions of this Item

Actions (login required)

View Item
View Item