The following pages link to Realization is universal (Q5662078):
Displayed 23 items.
- Final and sequential behaviours of M-automata (Q731331) (← links)
- Symbolic models for control systems (Q868433) (← links)
- Final algebra semantics and data type extensions (Q1131834) (← links)
- Universal realization (Q1136842) (← links)
- Final algebras, cosemicomputable algebras and degrees of unsolvability (Q1199822) (← links)
- A category-theoretic approach to systems in a fuzzy world (Q1215701) (← links)
- Discrete-time machines in closed monoidal categories. I (Q1216447) (← links)
- Systematic approach to reduction and minimization in automata and system theory (Q1232389) (← links)
- The behavior-realization adjunction and generalized homomorphic relations (Q1391868) (← links)
- Object-oriented hybrid systems of coalgebras plus monoid actions (Q1575271) (← links)
- Cost functors and optimal realization (Q1819936) (← links)
- Bisimulation of automata (Q1822987) (← links)
- Behavioural differential equations: a coinductive calculus of streams, automata, and power series (Q1884876) (← links)
- Categorical foundations for randomly timed automata (Q1884891) (← links)
- Paracategories. II: Adjunctions, fibrations and examples from probabilistic automata theory (Q1884930) (← links)
- Compatibility problems in the development of algebraic module specifications (Q2638799) (← links)
- Symmetry structure in discrete models of biochemical systems: natural subsystems and the weak control hierarchy in a new model of computation driven by interactions (Q2955779) (← links)
- Formal Proof: Reconciling Correctness and Understanding (Q3637280) (← links)
- SYSTEM IDENTIFICATION, APPROXIMATION AND COMPLEXITY (Q4111346) (← links)
- SYSTEMS AND DISTINCTIONS; DUALITY AND COMPLEMENT ARITY† (Q4189118) (← links)
- Minimal realization of machines in closed categories (Q4402100) (← links)
- A categorical manifesto (Q4713397) (← links)
- Abstract Models for Systems Identification (Q5861772) (← links)