Realization is universal
From MaRDI portal
Publication:5662078
DOI10.1007/BF01843493zbMath0248.18015OpenAlexW2022720383MaRDI QIDQ5662078
Publication date: 1973
Published in: Mathematical Systems Theory (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01843493
Related Items
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
