Machines in a category
From MaRDI portal
Publication:1142850
DOI10.1016/0022-4049(80)90090-0zbMath0441.18010OpenAlexW2080543706MaRDI QIDQ1142850
Ernest G. Manes, Michael A. Arbib
Publication date: 1980
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
Full work available at URL: https://zenodo.org/record/3941318
Hankel matrixcontrol systemsKrull-Schmidt theoremsequential machinesdynamical interpretation functormachines in a categoryparallel decomposition for machines with polynomial state-transitionreachability map
Control/observation systems in abstract spaces (93C25) Categories of machines, automata (18B20) History of category theory (18-03)
Related Items
Categorical foundations for randomly timed automata, Algebraic representation of dynamics and behavior for continuous-time linear systems, Dynamical systems in categories, Algebra-coalgebra duality in brzozowski's minimization algorithm, Universal coalgebra: A theory of systems, A tutorial on coinductive stream calculus and signal flow graphs
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Free monoids
- Foundations of system theory: Decomposable systems
- Adjoint machines, state-behavior machines, and duality
- Coproducts and decomposable machines
- On coverings of universal algebras
- Coequalizers and free triples
- On the relevance of abstract algebra to control theory
- Tree acceptors and some of their applications
- Intertwined recursion, tree transformations and linear systems
- Some Remarks Concerning Categories and Subspaces
- On an algebraic theory of systems defined by convolution operators
- On linear systems and noncommutative rings
- On discrete-time polynomial systems
- Un codage non commutatif pour certains systmes chantillonns non linaires
- Minimal realization of machines in closed categories
- Machines in a Category: An Expository Introduction
- Finite group homomorphic sequential system
- Direct construction of minimal bilinear realizations from nonlinear input-output maps
- A Common Framework for Automata Theory and Control Theory
- Mathematical Description of Linear Dynamical Systems
- Generalized finite automata theory with an application to a decision problem of second-order logic
- Algebra automata I: Parallel programming as a prolegomena to the categorical approach
- Categories of semimodules: The categorical structural properties of transition systems
- Ho's algorithm, commutative diagrams, and the uniqueness of minimal linear systems
- Automata in general algebras
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
- Groups, Categories and Duality
