Online and Compositional Learning of Controllers with Application to Floor Heating

December 16, 2017 in by

by Kim G. Larsen, Marius Mikučionis, Marco Muñiz, Jiří Srba, Jakob H. Taankvist
Reference:
Kim G. Larsen, Marius Mikučionis, Marco Muñiz, Jiří Srba, Jakob H. Taankvist. Online and Compositional Learning of Controllers with Application to Floor Heating. In Proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS’16), pages 244-259. Volume 9636 of Lecture Notes in Computer Science. Springer, April 2016.
Bibtex Entry:
@string{apr="April"}
@inproceedings{LMMST-tacas16,
  author =        {Larsen, Kim G. and Miku{v{c}}ionis, Marius and
                   Mu{~n}iz, Marco and Srba, Ji{v{r}}{'i} and
                   Taankvist, Jakob H.},
  booktitle =     {{P}roceedings of the 22nd {I}nternational
                   {C}onference on {T}ools and {A}lgorithms for the
                   {C}onstruction and {A}nalysis of {S}ystems
                   ({TACAS}'16)},
  editor =        {Chechik, Marsha and Raskin, Jean-Fran{c{c}}ois},
  month =         apr,
  pages =         {244-259},
  publisher =     {Springer},
  series =        {Lecture Notes in Computer Science},
  title =         {Online and Compositional Learning of Controllers with
                   Application to Floor Heating},
  volume =        {9636},
  year =          {2016},
  doi =           {10.1007/978-3-662-49674-9_14},
  url =           {http://www.cassting-project.eu/wp-content/uploads/
                  LMMST-tacas16.pdf},
  category =      {conf},
  wps =           {wp2 and wp4},
  partners =      {AAU},
  casstingpart =  {100},
}