Citation
Wenchao Li, Dorsa Sadigh, S. Shankar Sastry, Sanjit Seshia. "Synthesis for Human-in-the-Loop Control Systems". 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 5, April, 2014.

Abstract
Several control systems in safety-critical applications involve the interaction of an autonomous controller with one or more human operators. Examples include pilots interacting with an autopilot system in an aircraft, and a driver interacting with automated driver-assistance features in an automobile. The correctness of such systems depends not only on the autonomous controller, but also on the actions of the human controller. In this paper, we present a formalism for human-in-the-loop (HuIL) control systems. Particularly, we focus on the problem of synthesizing a semi-autonomous controller from high-level temporal specifications that expect occasional human intervention for correct operation.We present an algorithm for this problem, and demonstrate its operation on problems related to driver assistance in automobiles.

Electronic downloads

• https://www.src.org/library/publication/p069470/. (Link to paper on SRC website.)
• http://link.springer.com/chapter/10.1007%2F978-3-642-54862-8_40

• HTML

  Wenchao Li, Dorsa Sadigh, S. Shankar Sastry, Sanjit Seshia.
  <a
  href="http://www.terraswarm.org/pubs/275.html"
  >Synthesis for Human-in-the-Loop Control
  Systems</a>, 20th International Conference on Tools
  and Algorithms for the Construction and Analysis of Systems
  (TACAS), 5, April, 2014.

• Plain text

  Wenchao Li, Dorsa Sadigh, S. Shankar Sastry, Sanjit Seshia.
  "Synthesis for Human-in-the-Loop Control Systems".
  20th International Conference on Tools and Algorithms for
  the Construction and Analysis of Systems (TACAS), 5, April,
  2014.

• BibTeX

  @inproceedings{LiSadighSastrySeshia14_SynthesisForHumanintheLoopControlSystems,
      author = {Wenchao Li and Dorsa Sadigh and S. Shankar Sastry
                and Sanjit Seshia},
      title = {Synthesis for Human-in-the-Loop Control Systems},
      booktitle = {20th International Conference on Tools and
                Algorithms for the Construction and Analysis of
                Systems (TACAS)},
      day = {5},
      month = {April},
      year = {2014},
      abstract = {Several control systems in safety-critical
                applications involve the interaction of an
                autonomous controller with one or more human
                operators. Examples include pilots interacting
                with an autopilot system in an aircraft, and a
                driver interacting with automated
                driver-assistance features in an automobile. The
                correctness of such systems depends not only on
                the autonomous controller, but also on the actions
                of the human controller. In this paper, we present
                a formalism for human-in-the-loop (HuIL) control
                systems. Particularly, we focus on the problem of
                synthesizing a semi-autonomous controller from
                high-level temporal specifications that expect
                occasional human intervention for correct
                operation.We present an algorithm for this
                problem, and demonstrate its operation on problems
                related to driver assistance in automobiles.},
      URL = {http://terraswarm.org/pubs/275.html}
  }
  

Posted by Barb Hoversten on 20 Feb 2014.
Groups: tools