What Sensing Tells Us: Towards a Formal Theory of Testing for Dynamical Systems.
Sheila A. McIlraithRichard B. ScherlPublished in: AAAI/IAAI (2000)
Keyphrases
- dynamical systems
- formal theory
- dynamic systems
- differential equations
- nonlinear dynamical systems
- belief update
- control theory
- state space
- partially observable
- phase space
- qualitative simulation
- planning under uncertainty
- linear systems
- spatial reasoning
- artificial intelligence
- dynamical models
- agent environment
- mathematical models
- nonlinear dynamics
- dynamical behavior
- discrete dynamical systems