DOI10.1109/TAC.2014.2322991zbMath1360.93436MaRDI QIDQ2982896
Spyros A. Reveliotis
Publication date: 16 May 2017 Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1109/tac.2014.2322991
Mathematics Subject Classification ID
68Q45: Formal languages and automata
93C65: Discrete event control/observation systems