Realization is universal

DOI10.1007/BF01843493MaRDI QIDQ5662078zbMATH OpenOpenAlexFDO

Authors Joseph 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)

Cites work

• scientific article; zbMATH DE number 195199 (Why is no real title available?)
• scientific article; zbMATH DE number 3220362 (Why is no real title available?)
• scientific article; zbMATH DE number 3292154 (Why is no real title available?)
• scientific article; zbMATH DE number 3307591 (Why is no real title available?)
• scientific article; zbMATH DE number 3319901 (Why is no real title available?)
• Algebraic structures in linear systems theory
• Linear Automaton Transformations
• Minimal realization of machines in closed categories
• On the relevance of abstract algebra to control theory

Cited in

(25)

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

This page was built for publication: Realization is universal

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