이 논문은 확률적 선형 다중 에이전트 시스템에서 실시간으로 할당되는 신호 시간 논리(STL) 사양을 다룬다.
먼저, 새로운 STL 사양을 개별 에이전트 수준의 하위 사양으로 분해한다. 작업 할당의 효율성을 높이기 위해 STL 강건성 기반 휴리스틱 필터를 사용하여 잠재적 작업 할당을 평가한다. 이후 경매 알고리즘을 통해 최종 할당을 결정한다. 마지막으로 각 에이전트-사양 쌍에 대해 튜브 기반 모델 예측 제어를 사용하여 확률적 만족을 보장하는 제어 전략을 합성한다.
이 방법의 효과를 다중 버스 시나리오에서 보여주며, 자율 주행 애플리케이션으로의 확장 가능성을 강조한다.
Sang ngôn ngữ khác
từ nội dung nguồn
arxiv.org
Thông tin chi tiết chính được chắt lọc từ
by Maico H. W. ... lúc arxiv.org 04-03-2024
https://arxiv.org/pdf/2404.02111.pdfYêu cầu sâu hơn