Ensuring Sound Numerical Simulation of Hybrid Automata.

Yerang Hur Jae-Hwan Sim Jesung Kim Jin-Young Choi

Published in: J. Comput. Sci. Eng. (2009)

Keyphrases

numerical simulations
hybrid automata
finite state automata
theoretical analysis
temperature field
finite element method
simulation data
numerical calculation
heat transfer
computational fluid dynamics
query processing
lattice boltzmann