State estimation in logical and stochastic discrete event systems - Κέρογλου, Χριστόφορος Ε. ([s. n.], 2016)