Hierarchical modeling and abstraction of discrete event systems using finite state machines with parameters.

Yi-Liang Chen Feng Lin

Published in: CDC (2001)

Keyphrases

finite state machines
discrete event systems
finite state automata
petri net
complex systems
model checking
model based diagnosis
telecommunication networks
discrete event
failure diagnosis
database
high level
timed petri nets
ordinary differential equations
mathematical modeling