Stochastic automata networks

This chapter concerns networks of interacting stochastic processes each represented by a stochastic automaton. In Section 7.2, such networks are formally described by automata networks. Their behaviour is investigated in Section 7.3. In Section 7.4 it is shown how an automata network can be transformed into an equivalent single automaton. This transformation is referred to as composition of automata. Hence, instead of analysing the network itself, the composed automaton can be investigated by means of the methods presented in the previous chapters. Based on the composition, it is shown how the state observation and fault diagnostic tasks are solved for automata networks in Section 7.5.