1. Introduction to Discrete Event Systems;Cassandras,2009
2. K-detectability in discrete event systems;Hadjicostis,2016
3. Estimation and Inference in Discrete Event Systems;Hadjicostis,2020
4. On adaptive experiments for nondeter-ministic finite state machines;Kushik;International Journal on Software Tools for Technology Transfer,2016
5. Testing finite-state machines: state identification and verification;Lee;IEEE Transactions on Computers,1994