We consider the problem of synthesizing safe-by-design control strategies for semi-autonomous systems. Our aim is to address situations when safety cannot be guaranteed solely by the autonomous, controllable part of the system and a certain level of collaboration is needed from the uncontrollable part, such as the human operator. In this paper, we propose a systematic solution to generating least-limiting guidelines, i.e. the guidelines that restrict the human operator as little as possible in the worst-case long-term system executions. The algorithm leverages ideas from 2-player turn-based games.
@article{arxiv.1510.06496,
title = {Synthesizing least-limiting guidelines for safety of semi-autonomous systems},
author = {Jana Tumova and Dimos V. Dimarogonas},
journal= {arXiv preprint arXiv:1510.06496},
year = {2016}
}