Human in the Loop Least Violating Robot Control Synthesis under Metric Interval Temporal Logic Specifications
Human in the Loop Least Violating Robot Control Synthesis under Metric Interval Temporal Logic Specifications
- New search for: Ahlberg, Sofie
- New search for: Dimarogonas, Dimos V.
- New search for: Ahlberg, Sofie
- New search for: Dimarogonas, Dimos V.
Recently, multiple frameworks for control synthesis under temporal logic have been suggested. The frameworks allow a user to give one or a set of robots high level tasks of different properties (e.g. temporal, time limited, individual and cooperative). However, the issue of how to handle tasks, which either seem to be or are infeasible, remains unsolved. In this paper we introduce a human to the loop, using the human's feedback to determine preference towards different types of violations of the tasks. We introduce a metric of violation called hybrid distance. We also suggest a novel framework for synthesizing a least violating controller with respect to the hybrid distance and the human feedback. Simulation result indicate that the suggested framework gives reasonable estimates of the metric, and that the suggested plans correspond to the expected ones. ; QC 20190124
Document information
Human in the Loop Least Violating Robot Control Synthesis under Metric Interval Temporal Logic Specifications
2018-01-01
Conference paper
Electronic Resource
English
| DDC: | 629 |
Similar titles
Path integral control endowed robot planning under spatiotemporal logic specifications
| BASE | 2022
Planning and Control of Multi-Agent Systems under Signal Temporal Logic Specifications
| BASE | 2020
| BASE | 2023