Synthesis for Human-in-the-Loop Control Systems
Wenchao Li, Dorsa Sadigh, S. Shankar Sastry, Sanjit Seshia

Citation
Wenchao Li, Dorsa Sadigh, S. Shankar Sastry, Sanjit Seshia. "Synthesis for Human-in-the-Loop Control Systems". Technical report, UC Berkeley, UCB/EECS-2013-134, July, 2013.

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 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

Citation formats  
  • HTML
    Wenchao Li, Dorsa Sadigh, S. Shankar Sastry, Sanjit Seshia.
    <a
    href="http://www.terraswarm.org/pubs/88.html"
    ><i>Synthesis for Human-in-the-Loop Control
    Systems</i></a>, Technical report,  UC Berkeley,
    UCB/EECS-2013-134, July, 2013.
  • Plain text
    Wenchao Li, Dorsa Sadigh, S. Shankar Sastry, Sanjit Seshia.
    "Synthesis for Human-in-the-Loop Control Systems".
    Technical report,  UC Berkeley, UCB/EECS-2013-134, July,
    2013.
  • BibTeX
    @techreport{LiSadighSastrySeshia13_SynthesisForHumanintheLoopControlSystems,
        author = {Wenchao Li and Dorsa Sadigh and S. Shankar Sastry
                  and Sanjit Seshia},
        title = {Synthesis for Human-in-the-Loop Control Systems},
        institution = {UC Berkeley},
        number = {UCB/EECS-2013-134},
        month = {July},
        year = {2013},
        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 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/88.html}
    }
    

Posted by Wenchao Li on 8 Aug 2013.
Groups: tools

Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.