Controller Synthesis for Home Automation

December 16, 2017 in by

by Mathias G. Sørensen
Reference:
Mathias G. Sørensen. Controller Synthesis for Home Automation. Master’s thesis, Computer Science Department, Aalborg University, Denmark, June 2014.
Bibtex Entry:
@string{jun="June"}
@mastersthesis{master14-Sor,
  author =        {S{o}rensen, Mathias G.},
  month =         jun,
  school =        {Computer Science Department, Aalborg University,
                   Denmark},
  title =         {Controller Synthesis for Home Automation},
  year =          {2014},
  url =           {http://www.cassting-project.eu/wp-content/uploads/
                  master14-MS.pdf},
  category =      {misc},
  wps =           {wp4},
  partners =      {AAU},
  casstingpart =  {50},
}