Login / Signup
Coinduction in Control of Partially Observed Discrete-Event Systems.
Jan Komenda
Published in:
CMCS (2003)
Keyphrases
</>
partially observed
discrete event systems
discrete event
petri net
model based diagnosis
telecommunication networks
control system
failure diagnosis
timed petri nets
complex systems
dynamic systems
database
management system
mathematical model