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". IEEE International Conference on Internet-of-Things Design and Implementation (IoTDI'16), 2016.

Abstract
We consider the problem of generating randomized control sequences for complex systems typically actuated by human agents. Our approach leverages a concept known as control improvisation, which is based on a combination of learning and 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


Internal. This publication has been marked by the author for TerraSwarm-only distribution, so electronic downloads are not available without logging in.
Citation formats  
  • HTML
    Ilge Akkaya, Daniel J. Fremont, Rafael Valle, Alexandre
    Donze, Edward A. Lee, Sanjit Seshia. <a
    href="http://www.terraswarm.org/pubs/569.html"
    >Control Improvisation with Probabilistic Temporal
    Specifications</a>, IEEE International Conference on
    Internet-of-Things Design and Implementation (IoTDI'16),
    2016.
  • Plain text
    Ilge Akkaya, Daniel J. Fremont, Rafael Valle, Alexandre
    Donze, Edward A. Lee, Sanjit Seshia. "Control
    Improvisation with Probabilistic Temporal
    Specifications". IEEE International Conference on
    Internet-of-Things Design and Implementation (IoTDI'16),
    2016.
  • BibTeX
    @inproceedings{AkkayaFremontValleDonzeLeeSeshia16_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 = {IEEE International Conference on
                  Internet-of-Things Design and Implementation
                  (IoTDI'16)},
        year = {2016},
        abstract = {We consider the problem of generating randomized
                  control sequences for complex systems typically
                  actuated by human agents. Our approach leverages a
                  concept known as control improvisation, which is
                  based on a combination of learning and 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://terraswarm.org/pubs/569.html}
    }
    

Posted by Ilge Akkaya on 11 May 2015.
Groups: tools
For additional information, see the Publications FAQ or contact webmaster at terraswarm org.

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.