*banner
 

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

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

Citation formats  
  • 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.

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.

©2002-2018 Chess