Staffordshire University logo
STORE - Staffordshire Online Repository

Sampling-based reactive motion planning with temporal logic constraints and imperfect state information

Montana, F.J., Liu, J. and DODD, Tony (2017) Sampling-based reactive motion planning with temporal logic constraints and imperfect state information. In: Critical Systems: Formal Methods and Automated Verification. AVoCS 2017, FMICS 2017. Lecture Notes in Computer Science, 10471 . Springer Verlag, Turin, Italy, pp. 134-149. ISBN 9783319671123

[img]
Preview
Text
eprint6232.pdf - AUTHOR'S ACCEPTED Version (default)
Available under License All Rights Reserved.

Download (738kB) | Preview

Abstract or description

© 2017, Springer International Publishing AG. This paper presents a method that allows mobile systems with uncertainty in motion and sensing to react to unknown environments while high-level specifications are satisfied. Although previous works have addressed the problem of synthesising controllers under uncertainty constraints and temporal logic specifications, reaction to dynamic environments has not been considered under this scenario. The method uses feedback-based information roadmaps (FIRMs) to break the curse of history associated with partially observable systems. A transition system is incrementally constructed based on the idea of FIRMs by adding nodes on the belief space. Then, a policy is found in the product Markov decision process created between the transition system and a Rabin automaton representing a linear temporal logic formula. The proposed solution allows the system to react to previously unknown elements in the environment. To achieve fast reaction time, a FIRM considering the probability of violating the specification in each transition is used to drive the system towards local targets or to avoid obstacles. The method is demonstrated with an illustrative example.

Item Type: Book Chapter, Section or Conference Proceeding
Additional Information: © Springer International Publishing AG 2017
Faculty: School of Creative Arts and Engineering > Engineering
Depositing User: Library STORE team
Date Deposited: 15 Jul 2020 14:40
Last Modified: 15 Jul 2020 14:40
URI: http://eprints.staffs.ac.uk/id/eprint/6232

Actions (login required)

View Item View Item

DisabledGo Staffordshire University is a recognised   Investor in People. Sustain Staffs
Legal | Freedom of Information | Site Map | Job Vacancies
Staffordshire University, College Road, Stoke-on-Trent, Staffordshire ST4 2DE t: +44 (0)1782 294000