Abstract
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
7.6 Bibliographical Notes
Atzeni, P. and V. de Antonellis: Relational Database Theory. The Benjamin Cummings Publishing Company, Redwood City, California, 1993.
Bukharaev, R.: Theorie der stochastischen Automaten. B.G. Teubner, Stuttgart, 1995.
Finkas, H.: Komposition von qualitativen Modellen dynamischer Systeme. Diploma Thesis, Report 96.10, Institute of Control Engineering, Techn. Univ. Hamburg-Harburg, 1996.
Heiming, B.: Parallele Prozeßdiagnose auf der Grundlage einer qualitativen Systembeschreibung, VDI Fortschrittberichte, Vol. 8,817, VDI Verlag, Düsseldorf, 2000.
Lichtenberg, G.: Theorie und Anwendung der qualitativen Modellierung zeitdiskreter dynamischer Systeme durch nichtdeterministische Automaten. VDI Fortschrittberichte, Vol. 8, 686. VDI Verlag, Düsseldorf, 1998.
Schmidt, G. and T. Ströhlein: Relations and Graphs. Springer-Verlag, Berlin Heidelberg, 1993.
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
(2003). Stochastic Automata Networks. In: Modelling, State Observation and Diagnosis of Quantised Systems. Lecture Notes in Control and Information Sciences, vol 282. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46086-1_7
Download citation
DOI: https://doi.org/10.1007/3-540-46086-1_7
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-44075-8
Online ISBN: 978-3-540-46086-2
eBook Packages: Springer Book Archive