Formalizing Performance Evaluation of Mobile Manipulator Robots using CTML
Omar Y. Aboul-Enein, Yaping Jing, Roger V. Bostelman
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.
International Mechanical Engineering Congress and Exposition (IMECE) 2020