On a Decidable Formal Theory for Abstract Continuous-Time Dynamical Systems.

Ievgen Ivanov Mykola S. Nikitchenko Uri Abraham

Published in: ICTERI (2014)

Keyphrases

dynamical systems
formal theory
dynamic systems
differential equations
spatial reasoning
qualitative simulation
control theory
nonlinear dynamical systems
partially observable
linear systems
phase space
state space
nonlinear dynamics
dynamical models
agent environment
planning under uncertainty
complex systems