Adjoint machines, state-behavior machines, and duality

DOI10.1016/0022-4049(75)90028-6zbMath0323.18002OpenAlexW2028110117MaRDI QIDQ1224156

Michael A. Arbib, Ernest G. Manes

Publication date: 1975

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://zenodo.org/record/3941401

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Categories of machines, automata (18B20) Controllability, observability, and system structure (93B99)

Related Items (27)

Varieties and covarieties of languages (extended abstract) ⋮ Observational logic, constructor-based logic, and their duality. ⋮ Categorical foundations for randomly timed automata ⋮ Unnamed Item ⋮ Recurrent neural network architecture with pre-synaptic inhibition for incremental learning ⋮ Algebraic representation of dynamics and behavior for continuous-time linear systems ⋮ Unnamed Item ⋮ Universal realization ⋮ Machines in a category ⋮ Foundations of system theory: The Hankel matrix ⋮ Unnamed Item ⋮ Takeuchi's free Hopf algebra construction revisited. ⋮ Nondeterministic syntactic complexity ⋮ The dual equivalence of equations and coequations for automata ⋮ POLYNOMIAL SYSTEMS AS ADJOINT PROCESS MACHINES ⋮ A general result on abstract flowchart schemes with applications to the study of accessibility, reduction and minimization ⋮ Algebra-coalgebra duality in brzozowski's minimization algorithm ⋮ Duality between reachability and observability for adjoint systems ⋮ Automata Learning: A Categorical Perspective ⋮ Foundations of system theory: Decomposable systems ⋮ ON THE ADJOINT SITUATIONS BETWEEN BEHAVIOUR AND REALIZATION ⋮ Systematic approach to reduction and minimization in automata and system theory ⋮ Final and sequential behaviours of M-automata ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Cost functors and optimal realization ⋮ Induction, Coinduction, and Adjoints

Cites Work

• Foundations of system theory: Finitary and infinitary conditions
• Foundations of system theory: Decomposable systems
• Coequalizers and free triples
• On the relevance of abstract algebra to control theory
• Fuzzy machines in a category
• Minimal realization of machines in closed categories
• Machines in a Category: An Expository Introduction
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Adjoint machines, state-behavior machines, and duality