Foundations of System Theory: Finitary and Infinitary Conditions

di Brian Anderson (Autore)

Michael A. Arbib (Autore)

E. G. Manes (Autore)

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1976

This paper is one of a series in which the ideas of category theory are applied to problems of system theory. As with the three principal earlier papers, [1-3], the emphasis is on study of the realization problem, or the problem of associating with an input-output description of a system an internal description with something analogous to a state-space. In this paper, several sorts of machines will be discussed, which arrange themselves in the following hierarchy: Input process Machine Output process (Tree automaton) Machine ~ ~ State-behavior Machine I Adjoint Machine .(Sequential Machine) ., I Decomposable Machine (Linear System, Group Machine) Each member of the hierarchy includes members below it; examples are included in parentheaes, and each example is at its lowest possible point in the hierarchy. There are contrived examples of output process machines and IV state-behavior machines which are not adjoint machines [3], but as yet, no examples with the accepted stature of linear systems [4], group machines [5, 6], sequential machines [7, Ch. 2], and tree automata [7, Ch. 4].

• Autore: Brian Anderson, Michael A. Arbib, E. G. Manes
• Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Collana: Lecture Notes in Economics and Mathematical Systems
• Anno: 1976
• Rilegatura: Paperback / softback
• Pagine: 99 p.
• Dimensioni: 244 x 170 mm
• EAN: 9783540076117

Testo in English