On-the-fly model abstraction for controller synthesis

Matthias Rungger, Olaf Stursberg. On-the-fly model abstraction for controller synthesis. In American Control Conference, ACC 2012, Montreal, QC, Canada, June 27-29, 2012. pages 2645-2650, IEEE, 2012. [doi]

@inproceedings{RunggerS12,
  title = {On-the-fly model abstraction for controller synthesis},
  author = {Matthias Rungger and Olaf Stursberg},
  year = {2012},
  url = {http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=6314891},
  researchr = {https://researchr.org/publication/RunggerS12},
  cites = {0},
  citedby = {0},
  pages = {2645-2650},
  booktitle = {American Control Conference, ACC 2012, Montreal, QC, Canada, June 27-29, 2012},
  publisher = {IEEE},
  isbn = {978-1-4577-1095-7},
}