Discrete-Time Verification and Control for Probabilistic Rectangular Hybrid Automata.

Jeremy Sproston

Published in: QEST (2011)

Keyphrases

hybrid automata
probabilistic model
control method
uncertain data
bayesian networks
control system
context sensitive
signature verification
lower bound
markov chain
generative model
positive and negative
learning theory
finite state
adaptive control