Supervisory control synthesis for deterministic context free specification languages - Enforcing controllability least restrictively

Schmuck, Anne-Kathrin; Schneider, Sven; Raisch, Jörg; Nestmann, Uwe

doi:10.1007/s10626-015-0221-2

by Anne-Kathrin Schmuck, Sven Schneider, Jörg Raisch, Uwe Nestmann

Reference:

Supervisory control synthesis for deterministic context free specification languages - Enforcing controllability least restrictively (Anne-Kathrin Schmuck, Sven Schneider, Jörg Raisch, Uwe Nestmann), In Discret. Event Dyn. Syst., volume 26, 2016.

Bibtex Entry:

@article{DBLP:journals/deds/SchmuckSRN16,
  author    = {Anne{-}Kathrin Schmuck and
               Sven Schneider and
               J{\"{o}}rg Raisch and
               Uwe Nestmann},
  title     = {Supervisory control synthesis for deterministic context free specification
               languages - Enforcing controllability least restrictively},
  journal   = {Discret. Event Dyn. Syst.},
  volume    = {26},
  number    = {1},
  pages     = {5--32},
  year      = {2016},
  url       = {https://doi.org/10.1007/s10626-015-0221-2},
  doi       = {10.1007/s10626-015-0221-2},
  timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/deds/SchmuckSRN16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}