Synthesis of Provably Correct Autonomy Protocols for Shared Control
From MaRDI portal
Publication:5002136
DOI10.1109/TAC.2020.3018029zbMATH Open1467.93289arXiv1905.06471OpenAlexW3067857708MaRDI QIDQ5002136FDOQ5002136
Authors: Murat Cubuktepe, Nils Jansen, Mohammed Alshiekh, Ufuk Topcu 
Publication date: 26 July 2021
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Abstract: We synthesize shared control protocols subject to probabilistic temporal logic specifications. More specifically, we develop a framework in which a human and an autonomy protocol can issue commands to carry out a certain task. We blend these commands into a joint input to a robot. We model the interaction between the human and the robot as a Markov decision process (MDP) that represents the shared control scenario. Using inverse reinforcement learning, we obtain an abstraction of the human's behavior and decisions. We use randomized strategies to account for randomness in human's decisions, caused by factors such as complexity of the task specifications or imperfect interfaces. We design the autonomy protocol to ensure that the resulting robot behavior satisfies given safety and performance specifications in probabilistic temporal logic. Additionally, the resulting strategies generate behavior as similar to the behavior induced by the human's commands as possible. We solve the underlying problem efficiently using quasiconvex programming. Case studies involving autonomous wheelchair navigation and unmanned aerial vehicle mission planning showcase the applicability of our approach.
Full work available at URL: https://arxiv.org/abs/1905.06471
Automated systems (robots, etc.) in control theory (93C85) Stochastic systems in control theory (general) (93E03) Temporal logic (03B44)
This page was built for publication: Synthesis of Provably Correct Autonomy Protocols for Shared Control
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5002136)
