title = {Online supervisor synthesis for partially observed discrete-event systems},
  journal = {Automatic Control, IEEE Transactions on},
  volume = {43},
  number = {11},
  year = {1998},
  month = nov,
  pages = {1630-1634},
  keywords = {computational complexity, control system synthesis, Control systems, controllability, discrete event systems, discrete-event systems, formal languages, Laboratories, Law, Legal factors, Mechanical engineering, observability, online control, partial information supervisor, partial observation, real-time systems, sublanguages, supCCN sublanguage, supervisory control, worst case complexity},
  issn = {0018-9286},
  doi = {10.1109/9.728885},
  author = {Prosser, J.H. and Kam, Moshe and Kwatny, H.G.}