Sign in
Supremal Sublanguages of General Specification Languages Arising in Modular Control of Discrete-Event Systems.
Jan Komenda
Jan H. van Schuppen
Published in:
CDC/ECC (2005)
Keyphrases
</>
discrete event systems
specification languages
discrete event
special case
complex systems
petri net
timed petri nets
failure diagnosis
telecommunication networks
model based diagnosis
expert systems
information systems
database
search space
formal specification
computational complexity
high level
databases