DOI10.1109/TAC.2020.3024270zbMath1471.93029MaRDI QIDQ4957608
Ziyue Ma, Xiang Yin, Zhiwu Li
Publication date: 9 September 2021 Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1109/tac.2020.3024270
zbMATH Keywords
discrete event system; state estimation; Petri net; marking prediction
Mathematics Subject Classification ID
93C65: Discrete event control/observation systems
93B03: Attainable sets, reachability