Login / Signup
A symbolic approach to large-scale discrete event systems modeled as finite automata with variables.
Zhennan Fei
Sajed Miremadi
Knut Åkesson
Bengt Lennartson
Published in:
CASE (2012)
Keyphrases
</>
finite automata
discrete event systems
petri net
deterministic automata
complex systems
probabilistic automata
grammatical inference
telecommunication networks
regular expressions
model based diagnosis
discrete event
tree automata
timed petri nets
finite automaton
dynamic systems
np complete
hidden markov models