Citation
Ilge Akkaya, Daniel J. Fremont, Rafael Valle, Alexandre Donze, Edward A. Lee, Sanjit Seshia. "Control Improvisation with Probabilistic Temporal Specifications". TBD, 12, November, 2015.

Abstract
We consider the problem of generating randomized control sequences for complex networked systems typically actuated by human agents. Our approach leverages a concept known as control improvisation, which is based on a combination of data-driven learning and controller synthesis from formal specifications. We learn from existing data a generative model (for instance, an explicit-duration hidden Markov model, or EDHMM) and then supervise this model in order to guarantee that the generated sequences satisfy some desirable specifications given in Probabilistic Computation Tree Logic (PCTL). We present an implementation of our approach and apply it to the problem of mimicking the use of lighting appliances in a residential unit, with potential applications to home security and resource management. We present experimental results showing that our approach produces realistic control sequences, similar to recorded data based on human actuation, while satisfying suitable formal requirements.

Electronic downloads

• http://arxiv.org/abs/1511.02279
• root.pdf · application/pdf · 1547 kbytes

• HTML

  Ilge Akkaya, Daniel J. Fremont, Rafael Valle, Alexandre
  Donze, Edward A. Lee, Sanjit Seshia. <a
  href="http://chess.eecs.berkeley.edu/pubs/1152.html"
  >Control Improvisation with Probabilistic Temporal
  Specifications</a>, TBD, 12, November, 2015.

• Plain text

  Ilge Akkaya, Daniel J. Fremont, Rafael Valle, Alexandre
  Donze, Edward A. Lee, Sanjit Seshia. "Control
  Improvisation with Probabilistic Temporal
  Specifications". TBD, 12, November, 2015.

• BibTeX

  @inproceedings{AkkayaFremontValleDonzeLeeSeshia15_ControlImprovisationWithProbabilisticTemporalSpecifications,
      author = {Ilge Akkaya and Daniel J. Fremont and Rafael Valle
                and Alexandre Donze and Edward A. Lee and Sanjit
                Seshia},
      title = {Control Improvisation with Probabilistic Temporal
                Specifications},
      booktitle = {TBD},
      day = {12},
      month = {November},
      year = {2015},
      abstract = {We consider the problem of generating randomized
                control sequences for complex networked systems
                typically actuated by human agents. Our approach
                leverages a concept known as control
                improvisation, which is based on a combination of
                data-driven learning and controller synthesis from
                formal specifications. We learn from existing data
                a generative model (for instance, an
                explicit-duration hidden Markov model, or EDHMM)
                and then supervise this model in order to
                guarantee that the generated sequences satisfy
                some desirable specifications given in
                Probabilistic Computation Tree Logic (PCTL). We
                present an implementation of our approach and
                apply it to the problem of mimicking the use of
                lighting appliances in a residential unit, with
                potential applications to home security and
                resource management. We present experimental
                results showing that our approach produces
                realistic control sequences, similar to recorded
                data based on human actuation, while satisfying
                suitable formal requirements.},
      URL = {http://chess.eecs.berkeley.edu/pubs/1152.html}
  }
  

Posted by Ilge Akkaya on 12 Nov 2015.
Groups: ptolemy
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.