Verification and Control of Probabilistic Rectangular Hybrid Automata.

Jeremy Sproston

Published in: FORMATS (2015)

Keyphrases

hybrid automata
control method
control system
probabilistic model
generative model
bayesian networks
model checking
finite state automata
database
verification method