Monitorability of Stochastic Dynamical Systems.
A. Prasad SistlaMilos ZefranYao FengPublished in: CAV (2011)
Keyphrases
- dynamical systems
- dynamic systems
- timed petri nets
- nonlinear dynamical systems
- differential equations
- state space
- qualitative simulation
- dynamical behavior
- control theory
- phase space
- linear quadratic
- linear systems
- linear dynamical systems
- discrete dynamical systems
- partially observable
- stochastic model
- nonlinear dynamics
- stochastic models
- dynamical models
- monte carlo