Realization is universal

DOI10.1007/BF01843493zbMath0248.18015OpenAlexW2022720383MaRDI QIDQ5662078

Joseph A. Goguen

Publication date: 1973

Published in: Mathematical Systems Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01843493

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Categories of machines, automata (18B20)

Related Items (23)

Behavioural differential equations: a coinductive calculus of streams, automata, and power series ⋮ Categorical foundations for randomly timed automata ⋮ Paracategories. II: Adjunctions, fibrations and examples from probabilistic automata theory ⋮ Compatibility problems in the development of algebraic module specifications ⋮ Symbolic models for control systems ⋮ Final algebra semantics and data type extensions ⋮ The behavior-realization adjunction and generalized homomorphic relations ⋮ Universal realization ⋮ Symmetry structure in discrete models of biochemical systems: natural subsystems and the weak control hierarchy in a new model of computation driven by interactions ⋮ SYSTEM IDENTIFICATION, APPROXIMATION AND COMPLEXITY ⋮ Final algebras, cosemicomputable algebras and degrees of unsolvability ⋮ A category-theoretic approach to systems in a fuzzy world ⋮ Discrete-time machines in closed monoidal categories. I ⋮ Minimal realization of machines in closed categories ⋮ Systematic approach to reduction and minimization in automata and system theory ⋮ Final and sequential behaviours of M-automata ⋮ A categorical manifesto ⋮ SYSTEMS AND DISTINCTIONS; DUALITY AND COMPLEMENT ARITY† ⋮ Formal Proof: Reconciling Correctness and Understanding ⋮ Cost functors and optimal realization ⋮ Bisimulation of automata ⋮ Object-oriented hybrid systems of coalgebras plus monoid actions ⋮ Abstract Models for Systems Identification

Cites Work

• On the relevance of abstract algebra to control theory
• Algebraic structures in linear systems theory
• Linear Automaton Transformations
• Minimal realization of machines in closed categories
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Realization is universal