Bisimilar symbolic models for stochastic control systems without state-space discretization.

Majid Zamani Ilya Tkachev Alessandro Abate

Published in: HSCC (2014)

Keyphrases

state space
stochastic models
real time
bayesian networks
probabilistic model
model selection
stochastic model
multi agent
preprocessing
search space
control system
heuristic search
state transition
connectionist models
symbolic description