Machines in a category

DOI10.1016/0022-4049(80)90090-0MaRDI QIDQ1142850zbMATH OpenOpenAlexFDO

Authors Michael A. Arbib, Ernest G. Manes

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

zbMATH Keywords

control systemsHankel matrixKrull-Schmidt theoremsequential machinesdynamical interpretation functormachines in a categoryparallel decomposition for machines with polynomial state-transitionreachability map

Mathematics Subject Classification ID

Control/observation systems in abstract spaces (93C25) Categories of machines, automata (18B20) History of category theory (18-03)

Cites work

• scientific article; zbMATH DE number 3644513 (Why is no real title available?)
• scientific article; zbMATH DE number 5345413 (Why is no real title available?)
• scientific article; zbMATH DE number 3654376 (Why is no real title available?)
• scientific article; zbMATH DE number 3455154 (Why is no real title available?)
• scientific article; zbMATH DE number 3479108 (Why is no real title available?)
• scientific article; zbMATH DE number 3497806 (Why is no real title available?)
• scientific article; zbMATH DE number 3513339 (Why is no real title available?)
• scientific article; zbMATH DE number 3561239 (Why is no real title available?)
• scientific article; zbMATH DE number 3565190 (Why is no real title available?)
• scientific article; zbMATH DE number 3796161 (Why is no real title available?)
• scientific article; zbMATH DE number 3227055 (Why is no real title available?)
• scientific article; zbMATH DE number 3321311 (Why is no real title available?)
• scientific article; zbMATH DE number 3331185 (Why is no real title available?)
• scientific article; zbMATH DE number 3336831 (Why is no real title available?)
• scientific article; zbMATH DE number 3365976 (Why is no real title available?)
• scientific article; zbMATH DE number 3366845 (Why is no real title available?)
• A Common Framework for Automata Theory and Control Theory
• Adjoint machines, state-behavior machines, and duality
• Algebra automata I: Parallel programming as a prolegomena to the categorical approach
• Automata in general algebras
• Categories of semimodules: The categorical structural properties of transition systems
• Coequalizers and free triples
• Coproducts and decomposable machines
• Direct construction of minimal bilinear realizations from nonlinear input-output maps
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Finite group homomorphic sequential system
• Foundations of system theory: Decomposable systems
• Free monoids
• Generalized finite automata theory with an application to a decision problem of second-order logic
• Groups, Categories and Duality
• Ho's algorithm, commutative diagrams, and the uniqueness of minimal linear systems
• Intertwined recursion, tree transformations and linear systems
• Machines in a Category: An Expository Introduction
• Mathematical Description of Linear Dynamical Systems
• Minimal realization of machines in closed categories
• On an algebraic theory of systems defined by convolution operators
• On coverings of universal algebras
• On discrete-time polynomial systems
• On linear systems and noncommutative rings
• On the relevance of abstract algebra to control theory
• Some Remarks Concerning Categories and Subspaces
• Tree acceptors and some of their applications
• Un codage non commutatif pour certains systmes chantillonns non linaires

Cited in

(6)

• Categorical foundations for randomly timed automata
• Universal coalgebra: A theory of systems
• Algebra-coalgebra duality in Brzozowski's minimization algorithm
• Algebraic representation of dynamics and behavior for continuous-time linear systems
• A tutorial on coinductive stream calculus and signal flow graphs
• Dynamical systems in categories

This page was built for publication: Machines in a category

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1142850)