Abstract
In the paper “Foundations of System Theory: Decomposable Systems”, [2], to which this is a sequel, we showed how the techniques of category theory allowed us to give a general theory of reachability, observability, realization and duality for decomposable systems: a class embracing both linear (discrete-time) systems and group machines. In “Machines in a Category: An Expository Introduction”, [1], we gave a more general categorical system theory which handles nonlinear systems as well as decomposable systems. In fact, as we shall see in Section 3, it also handles the tree automata of formal language theory and computer semantics, so long as certain finite-ness conditions are met.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1976 Springer-Verlag Berlin · Heidelberg
About this chapter
Cite this chapter
Anderson, B.D.O., Arbib, M.A., Manes, E.G. (1976). A General Setting for Discrete Action Nonlinear Systems. In: Foundations of System Theory: Finitary and Infinitary Conditions. Lecture Notes in Economics and Mathematical Systems, vol 115. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-45479-0_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-45479-0_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-07611-7
Online ISBN: 978-3-642-45479-0
eBook Packages: Springer Book Archive