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 systemsdynamical interpretation functorHankel matrixKrull-Schmidt theoremmachines in a categoryparallel decomposition for machines with polynomial state-transitionreachability mapsequential machines

Mathematics Subject Classification ID

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

Cites work

• 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
• Finite group homomorphic sequential system
• Foundations of system theory: Decomposable systems
• Free monoids
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• 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
• 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?)
• 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

(7)

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

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)