Human-in-the-Loop Mixed-Initiative Control under Temporal Tasks
Meng Guo, Sofie Andersson, Dimos V. Dimarogonas

TL;DR
This paper presents a comprehensive framework for mobile robot motion control and task planning that integrates human initiatives, ensuring safety, adaptability, and learning of human preferences through an online coordination scheme.
Contribution
It introduces a novel mixed-initiative control scheme with safety guarantees, plan adaptation, and inverse reinforcement learning for human preference modeling in complex tasks.
Findings
The proposed controller guarantees safety despite human errors.
The system adapts to new workspace features and short-term tasks.
The robot learns human preferences over time through IRL.
Abstract
This paper considers the motion control and task planning problem of mobile robots under complex high-level tasks and human initiatives. The assigned task is specified as Linear Temporal Logic (LTL) formulas that consist of hard and soft constraints. The human initiative influences the robot autonomy in two explicit ways: with additive terms in the continuous controller and with contingent task assignments. We propose an online coordination scheme that encapsulates (i) a mixed-initiative continuous controller that ensures all-time safety despite of possible human errors, (ii) a plan adaptation scheme that accommodates new features discovered in the workspace and short-term tasks assigned by the operator during run time, and (iii) an iterative inverse reinforcement learning (IRL) algorithm that allows the robot to asymptotically learn the human preference on the parameters during the…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Code & Models
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsFormal Methods in Verification · Advanced Software Engineering Methodologies · Robotic Path Planning Algorithms
