Investigation of observability property of controlled binary dynamical systems: a logical approach.
Gennady A. OparinVera BogdanovaAnton A. PashininPublished in: ICCS-DE (2021)
Keyphrases
- dynamical systems
- partially observable
- dynamic systems
- differential equations
- nonlinear dynamical systems
- qualitative simulation
- linear systems
- state space
- phase space
- agent environment
- nonlinear dynamics
- dynamical models
- control theory
- discrete dynamical systems
- predictive state representations
- neural network
- partially observable markov decision processes
- spatio temporal