Tool for Diagnosis of Stochastic Automata

This paper is devoted to diagnosis of discrete event systems modeled as stochastic automata. Basic notions of stochastic diagnosis and the functionality of a tool that solves stochastic diagnosers design are introduced.