이 논문은 이기종 로봇 팀의 동작 계획 문제를 다룬다. 로봇 팀은 관심 영역이 있는 환경에서 활동하며, 전체 팀에 대한 사양에는 회피, 방문 또는 순서 지정이 포함될 수 있다.
제안된 프레임워크는 Nets-within-Nets 패러다임을 사용하여 로봇 모델과 전체 임무를 통합적으로 모델링한다. 각 로봇은 상태 기계 Petri Net으로 모델링되며, 전체 임무는 Petri Net으로 표현된다. 이들 간의 동기화는 Global Enabling Function을 통해 이루어진다.
구체적으로, 로봇 모델은 Robotic Object Petri Net (RobotOPN)으로 표현되며, 각 장소는 환경의 일부를 나타내는 부울 공식으로 레이블링된다. 전체 임무는 Specification Object Petri Net (SpecOPN)으로 모델링되며, 각 전이는 부울 공식으로 레이블링된다.
이 두 모델은 High-Level robot team Petri Net (HLPN) 시스템에 통합된다. HLPN 시스템은 로봇과 임무 모델 간의 상호작용을 관리하며, Global Enabling Function은 이들 간의 동기화를 보장한다.
제안된 프레임워크는 유연성과 확장성을 가지고 있어, 로봇 수와 공간 제약 조건의 변화에 대응할 수 있다. 사례 연구를 통해 Renew 도구를 사용하여 구현된 프레임워크의 효과를 보여준다.
他の言語に翻訳
原文コンテンツから
arxiv.org
深掘り質問