Performance level profiles: A formal language for describing the expected performance of functional modules

Ronen I. Brafman, Michael Bar-Sinai, Maor Ashkenazi

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

6 Scopus citations

Abstract

Despite the existence of powerful formal languages for writing robot controllers, most existing functional modules are written using standard programming languages. The existence of such a code base raises critical challenges: 1. How to enable automated analysis, monitoring, and reuse of existing code given that reasoning directly about code fragments is impractical. 2. How to convey to users the expected level of performance of an autonomous robot? 3. Perhaps most crucial: how to quickly identify abnormal behavior of autonomous robots? This is a key impediment to the deployment of such platforms in open environments. We address these issues through the use of performance-level profiles (PLPs), a formal, yet intuitive, language for specifying the expected properties of functional modules, designed with the above aims in mind. PLPs are motivated by action specification languages, such as PDDL 2.1, but add novel elements important for robotic applications, such as update frequency, run-time statistics, progress measures, and trigger conditions, and take into account the different roles modules can play. PLPs have been used to support monitoring in two projects: an autonomous compact track loader, and a service robot. Additionally, we developed a number of tools for automated monitoring-code generation from PLPs.

Original languageEnglish
Title of host publicationIROS 2016 - 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages1751-1756
Number of pages6
ISBN (Electronic)9781509037629
DOIs
StatePublished - 28 Nov 2016
Event2016 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2016 - Daejeon, Korea, Republic of
Duration: 9 Oct 201614 Oct 2016

Publication series

NameIEEE International Conference on Intelligent Robots and Systems
Volume2016-November
ISSN (Print)2153-0858
ISSN (Electronic)2153-0866

Conference

Conference2016 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2016
Country/TerritoryKorea, Republic of
CityDaejeon
Period9/10/1614/10/16

Fingerprint

Dive into the research topics of 'Performance level profiles: A formal language for describing the expected performance of functional modules'. Together they form a unique fingerprint.

Cite this