Control of Discrete-Event Systems with Partial Observations Using Coalgebra and Coinduction.

Jan Komenda Jan H. van Schuppen

Published in: Discret. Event Dyn. Syst. (2005)

Keyphrases

discrete event systems
partial observations
discrete event
petri net
control system
complex systems
telecommunication networks
simulation model
model based diagnosis
control strategy
optimal control
temporal constraints
orders of magnitude
dynamic systems
web service composition