The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice
The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice
본 논문에서는 특히 표준 FSM4RTC(로봇 기술 구성 요소용 FSM)에 따라 제어 논리가 동시 FSM(유한 상태 기계)으로 표현되는 협동 로봇 설계의 신뢰성을 향상시키는 데 공식적인 접근 방식이 효과적이라는 것을 보여줍니다. 협동 운송 로봇의 사례 연구를 통해. 사례 연구에서 FSM은 공식 사양 언어 CSP(Communicating Sequential Processes)로 모델링되고 모델 확인 도구 FDR로 확인됩니다. 여기서는 RTM(Robotic Technology)의 도움으로 구현된 협동 로봇의 모델링 및 검증 기술을 보여줍니다. 미들웨어).
Yoshinao ISOBE
National Institute of Advanced Industrial Science and Technology
Nobuhiko MIYAMOTO
National Institute of Advanced Industrial Science and Technology
Noriaki ANDO
National Institute of Advanced Industrial Science and Technology
Yutaka OIWA
National Institute of Advanced Industrial Science and Technology
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
부
Yoshinao ISOBE, Nobuhiko MIYAMOTO, Noriaki ANDO, Yutaka OIWA, "Formal Modeling and Verification of Concurrent FSMs: Case Study on Event-Based Cooperative Transport Robots" in IEICE TRANSACTIONS on Information,
vol. E104-D, no. 10, pp. 1515-1532, October 2021, doi: 10.1587/transinf.2020FOP0002.
Abstract: In this paper, we demonstrate that a formal approach is effective for improving reliability of cooperative robot designs, where the control logics are expressed in concurrent FSMs (Finite State Machines), especially in accordance with the standard FSM4RTC (FSM for Robotic Technology Components), by a case study of cooperative transport robots. In the case study, FSMs are modeled in the formal specification language CSP (Communicating Sequential Processes) and checked by the model-checking tool FDR, where we show techniques for modeling and verification of cooperative robots implemented with the help of the RTM (Robotic Technology Middleware).
URL: https://global.ieice.org/en_transactions/information/10.1587/transinf.2020FOP0002/_p
부
@ARTICLE{e104-d_10_1515,
author={Yoshinao ISOBE, Nobuhiko MIYAMOTO, Noriaki ANDO, Yutaka OIWA, },
journal={IEICE TRANSACTIONS on Information},
title={Formal Modeling and Verification of Concurrent FSMs: Case Study on Event-Based Cooperative Transport Robots},
year={2021},
volume={E104-D},
number={10},
pages={1515-1532},
abstract={In this paper, we demonstrate that a formal approach is effective for improving reliability of cooperative robot designs, where the control logics are expressed in concurrent FSMs (Finite State Machines), especially in accordance with the standard FSM4RTC (FSM for Robotic Technology Components), by a case study of cooperative transport robots. In the case study, FSMs are modeled in the formal specification language CSP (Communicating Sequential Processes) and checked by the model-checking tool FDR, where we show techniques for modeling and verification of cooperative robots implemented with the help of the RTM (Robotic Technology Middleware).},
keywords={},
doi={10.1587/transinf.2020FOP0002},
ISSN={1745-1361},
month={October},}
부
TY - JOUR
TI - Formal Modeling and Verification of Concurrent FSMs: Case Study on Event-Based Cooperative Transport Robots
T2 - IEICE TRANSACTIONS on Information
SP - 1515
EP - 1532
AU - Yoshinao ISOBE
AU - Nobuhiko MIYAMOTO
AU - Noriaki ANDO
AU - Yutaka OIWA
PY - 2021
DO - 10.1587/transinf.2020FOP0002
JO - IEICE TRANSACTIONS on Information
SN - 1745-1361
VL - E104-D
IS - 10
JA - IEICE TRANSACTIONS on Information
Y1 - October 2021
AB - In this paper, we demonstrate that a formal approach is effective for improving reliability of cooperative robot designs, where the control logics are expressed in concurrent FSMs (Finite State Machines), especially in accordance with the standard FSM4RTC (FSM for Robotic Technology Components), by a case study of cooperative transport robots. In the case study, FSMs are modeled in the formal specification language CSP (Communicating Sequential Processes) and checked by the model-checking tool FDR, where we show techniques for modeling and verification of cooperative robots implemented with the help of the RTM (Robotic Technology Middleware).
ER -