A new modeling formalism and automata model generator for a class of discrete event systems.

Vigyun Chandra R. Kumar

Published in: ACC (2001)

Keyphrases

computational model
mathematical model
formal model

discrete event systems
conceptual model
probabilistic model

knowledge representation
cooperative
constraint satisfaction problems

mathematical models
modeling method