loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Xiaotian Liu 1 ; Pengyi Shi 1 ; Tongtong Liu 1 ; Sarra Alqahtani 1 ; Paul Pauca 1 and Miles Silman 2

Affiliations: 1 Computer Science Department, Wake Forest University, Winston Salem, NC, U.S.A ; 2 Biology Department, Wake Forest University, Winston Salem, NC, U.S.A.

Keyword(s): Exploration, Metric Temporal Logic, Robustness, MCMC.

Abstract: The ability to perform autonomous exploration is essential for unmanned aerial vehicles (UAV) operating in unknown environments where it is difficult to describe the environment beforehand. Algorithms for autonomous exploration often focus on optimizing time and full coverage in a greedy fashion. These algorithms can collect irrelevant data and wastes time navigating areas with no important information. In this paper, we aim to improve the efficiency of exploration by maximizing the probability of detecting valuable information. The proposed approach relies on a theory of robustness based on Probabilistic Metric Temporal Logic (P-MTL) which is traditionally applied to offline verification and online control of hybrid systems. The robustness values would guide the UAV towards areas with more significant information by maximizing the satisfaction of the predefined P-MTL specifications. Markov Chain Monte Carlo (MCMC) is utilized to solve the P-MTL constraints. We tested our approach ov er Amazonian rainforest to detect areas occupied by illegal Artisanal Small-scale Gold Mining (ASGM) activities. The results show that our approach outperforms a greedy exploration approach from the literature by 38% in terms of ASGM coverage. (More)

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.16.66.206

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Liu, X.; Shi, P.; Liu, T.; Alqahtani, S.; Pauca, P. and Silman, M. (2021). Robustness-driven Exploration with Probabilistic Metric Temporal Logic. In Proceedings of the 13th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART; ISBN 978-989-758-484-8; ISSN 2184-433X, SciTePress, pages 57-66. DOI: 10.5220/0010192100570066

@conference{icaart21,
author={Xiaotian Liu. and Pengyi Shi. and Tongtong Liu. and Sarra Alqahtani. and Paul Pauca. and Miles Silman.},
title={Robustness-driven Exploration with Probabilistic Metric Temporal Logic},
booktitle={Proceedings of the 13th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART},
year={2021},
pages={57-66},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0010192100570066},
isbn={978-989-758-484-8},
issn={2184-433X},
}

TY - CONF

JO - Proceedings of the 13th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART
TI - Robustness-driven Exploration with Probabilistic Metric Temporal Logic
SN - 978-989-758-484-8
IS - 2184-433X
AU - Liu, X.
AU - Shi, P.
AU - Liu, T.
AU - Alqahtani, S.
AU - Pauca, P.
AU - Silman, M.
PY - 2021
SP - 57
EP - 66
DO - 10.5220/0010192100570066
PB - SciTePress

- Science and Technology Publications, Lda.
RESOURCES

Proceedings

Papers

Authors

Ontology

CONTACTS

Science and Technology Publications, Lda
Avenida de S. Francisco Xavier, Lote 7 Cv. C,
2900-616 Setúbal, Portugal.

Phone: +351 265 520 185 (National fixed network call)
Fax: +351 265 520 186
Email: info@scitepress.org

EXTERNAL LINKS

PRIMORIS

INSTICC

SCITEVENTS

CROSSREF

PROCEEDINGS SUBMITTED FOR INDEXATION BY:

dblp

Ei Compendex

SCOPUS

Semantic Scholar

Google Scholar

Microsoft Academic