Discretizing Affine Hybrid Automata with Uncertainty.

Thao Dang Thomas Martin Gawlitza

Published in: ATVA (2011)

Keyphrases

hybrid automata
finite state automata
uncertain data
affine transformation
database systems
database
image registration
robust optimization
discrete space