Extending Supervisory Controller Synthesis to Deterministic Pushdown Automata - Enforcing Controllability Least Restrictively

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

doi:10.3182/20140514-3-FR-4046.00058

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

Reference:

Extending Supervisory Controller Synthesis to Deterministic Pushdown Automata - Enforcing Controllability Least Restrictively (Anne-Kathrin Schmuck, Sven Schneider, Jörg Raisch, Uwe Nestmann), In 12th International Workshop on Discrete Event Systems, WODES 2014, Cachan, France, May 14-16, 2014 (Jean-Jacques Lesage, Jean-Marc Faure, José E. R. Cury, Bengt Lennartson, eds.), International Federation of Automatic Control, 2014.

Bibtex Entry:

@inproceedings{DBLP:conf/wodes/SchmuckSRN14,
  author    = {Anne{-}Kathrin Schmuck and
               Sven Schneider and
               J{\"{o}}rg Raisch and
               Uwe Nestmann},
  editor    = {Jean{-}Jacques Lesage and
               Jean{-}Marc Faure and
               Jos{\'{e}} E. R. Cury and
               Bengt Lennartson},
  title     = {Extending Supervisory Controller Synthesis to Deterministic Pushdown
               Automata - Enforcing Controllability Least Restrictively},
  booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
               Cachan, France, May 14-16, 2014},
  pages     = {286--293},
  publisher = {International Federation of Automatic Control},
  year      = {2014},
  url       = {https://doi.org/10.3182/20140514-3-FR-4046.00058},
  doi       = {10.3182/20140514-3-FR-4046.00058},
  timestamp = {Wed, 05 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/wodes/SchmuckSRN14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}