Detectability in Stochastic Discrete Event Systems
- 1 January 2014
- journal article
- Published by Elsevier BV in IFAC Proceedings Volumes
- Vol. 47 (2), 27-32
- https://doi.org/10.3182/20140514-3-fr-4046.00067
Abstract
No abstract availableThis publication has 12 references indexed in Scilit:
- Bounds on the probability of misclassification among hidden Markov modelsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2011
- Verification of Infinite-Step Opacity and Complexity ConsiderationsIEEE Transactions on Automatic Control, 2011
- Opacity verification in stochastic discrete event systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2010
- State estimation and detectability of probabilistic discrete event systemsAutomatica, 2008
- Detectability of Discrete Event SystemsIEEE Transactions on Automatic Control, 2007
- A polynomial algorithm for testing diagnosability of discrete-event systemsIEEE Transactions on Automatic Control, 2001
- State Observation and Diagnosis of Discrete-Event Systems Described by Stochastic AutomataDiscrete Event Dynamic Systems, 2001
- Diagnosability of discrete-event systemsIEEE Transactions on Automatic Control, 1995
- Observability of discrete event dynamic systemsIEEE Transactions on Automatic Control, 1990
- On observability of discrete-event systemsInformation Sciences, 1988