Login / Signup
Computable total functions on metric algebras, universal algebraic specifications and dynamical systems.
John V. Tucker
Jeffery I. Zucker
Published in:
J. Log. Algebraic Methods Program. (2005)
Keyphrases
</>
dynamical systems
differential equations
dynamic systems
nonlinear dynamical systems
turing machine
linear systems
qualitative simulation
difference equations
control theory
state space
partially observable
dynamical behavior
phase space
dynamical models
agent environment
distance metric
linear quadratic