A Product Automaton Formalism for Hierarchical, Modular, Discrete Simulation.

Frederick J. Portier Robert E. Haymond

Published in: INFORMS J. Comput. (1991)

Keyphrases

database
finite number
simulation models
mathematical model
life cycle
simulation model
simulation environment
discrete version
mobile robot
hierarchical structure
simulation study
hierarchical clustering
situation calculus
finite automata
discrete space