Sökning: WFRF:(Dimarogonas Dimos V.) >
Human in the Loop L...
Human in the Loop Least Violating Robot Control Synthesis under Metric Interval Temporal Logic Specifications
-
- Ahlberg, Sofie (författare)
- KTH,Reglerteknik
-
- Dimarogonas, Dimos V. (författare)
- KTH,Reglerteknik
-
(creator_code:org_t)
- Institute of Electrical and Electronics Engineers (IEEE), 2018
- 2018
- Engelska.
-
Ingår i: 2018 European Control Conference, ECC 2018. - : Institute of Electrical and Electronics Engineers (IEEE). - 9783952426982 ; , s. 453-458
- Relaterad länk:
-
https://kth.diva-por... (primary) (Raw object)
-
visa fler...
-
https://urn.kb.se/re...
-
https://doi.org/10.2...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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.
Ämnesord
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Reglerteknik (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Control Engineering (hsv//eng)
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
Hitta via bibliotek
Till lärosätets databas