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

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

Authors

Anne-Kathrin Schmuck

This author has not been identified. Look up 'Anne-Kathrin Schmuck' in Google

Sven Schneider

This author has not been identified. Look up 'Sven Schneider' in Google

Jörg Raisch

This author has not been identified. Look up 'Jörg Raisch' in Google

Uwe Nestmann

This author has not been identified. Look up 'Uwe Nestmann' in Google