Skip to main content
U.S. flag

An official website of the United States government

Dot gov

The .gov means it’s official.
Federal government websites often end in .gov or .mil. Before sharing sensitive information, make sure you’re on a federal government site.

Https

The site is secure.
The https:// ensures that you are connecting to the official website and that any information you provide is encrypted and transmitted securely.

Formalizing Performance Evaluation of Mobile Manipulator Robots using CTML

Published

Author(s)

Omar Y. Aboul-Enein, Yaping Jing, Roger V. Bostelman

Abstract

Computation Tree Measurement Language (CTML) is a newly developed formal language that offers simultaneous model verification and performance evaluation measures. While the theory behind CTML has been established, the language has yet to be tested on a real-world example. In this work, we wish to demonstrate the utility of CTML when it is applied to a new field. To accomplish this, an artifact-based performance measurement methodology developed at the National Institute of Standards and Technology (NIST) was selected for modeling. The performance measurement method assesses mobile manipulator robots, which hold the potential to enable more flexible, dynamic workflows within manufacturing environments. Contributions of this work include the modeling of robot tasks implemented for the performance measurement test using Petri nets, as well as the formulation and execution of sample queries using CTML. To demonstrate the advantages of CTML when compared to other temporal logics, the queries were re-formulated and evaluated using the PRISM Model Checker.
Proceedings Title
International Mechanical Engineering Congress and Exposition (IMECE) 2020
Conference Dates
November 15-19, 2020
Conference Location
Portland, OR

Keywords

Model verification, Performance evaluation, Petri net, Mobile manipulators, Survivability
Created November 18, 2020, Updated August 13, 2020