Modelling, State Observation, and Diagnosis of Quantised Systems

Basics of Stochastic Automata Theory.- Modelling of Quantised Systems by Stochastic Automata.- Further Aspects of Modelling Quantised Systems.- Automata Theory for Process Supervision.- State Observation and Diagnosis of Quantised Systems.- Stochastic Automata Networks.- Component-Oriented Modelling and Supervision of Quantised Systems.- Applications.- Summary and Conclusions.