Finite bisimulation of reactive untimed infinite state systems modeled as automata with variables.

Ratnesh Kumar Changyan Zhou Samik Basu

Published in: ACC (2006)

Keyphrases

finite state machines
management system
intelligent systems
variable selection
case study
expert systems
knowledge based systems
retrieval systems
databases
computer systems
learning systems
complex systems
petri net
finite state