State Estimation and Detectability of Probabilistic Discrete Event Systems
{{output}}
A probabilistic discrete event system (PDES) is a nondeterministic discrete event system where the probabilities of nondeterministic transitions are specified. State estimation problems of PDES are more difficult than those of non-probabilistic discrete event ... ...
