A Note on the Properties of the Supremal Controllable Sublanguage in Pushdown Systems

DOI10.1109/TAC.2008.919519zbMath1368.68234OpenAlexW2040192818MaRDI QIDQ4974190

Christopher Griffin

Publication date: 8 August 2017

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tac.2008.919519

Mathematics Subject Classification ID

Controllability (93B05) Formal languages and automata (68Q45)

Related Items (2)

Verification of opacity and diagnosability for pushdown systems ⋮ Supervisory control synthesis for deterministic context free specification languages. Enforcing controllability least restrictively

This page was built for publication: A Note on the Properties of the Supremal Controllable Sublanguage in Pushdown Systems