A Note on Deciding Controllability in Pushdown Systems
From MaRDI portal
Publication:5281765
DOI10.1109/TAC.2005.863513zbMath1366.93052MaRDI QIDQ5281765
Publication date: 27 July 2017
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
93B05: Controllability
68Q45: Formal languages and automata
93C65: Discrete event control/observation systems
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Detecting Useless Transitions in Pushdown Automata, Supervisory control synthesis for deterministic context free specification languages. Enforcing controllability least restrictively, Detecting useless transitions in pushdown automata, A note on controllability of deterministic context-free~systems