Symbolic computation of nonblocking control function for timed discrete event systems.

Sajed Miremadi Zhennan Fei Knut Åkesson Bengt Lennartson

Published in: CDC (2012)

Keyphrases

discrete event systems
discrete event
petri net
dynamic systems
simulation model
timed petri nets
complex systems
failure diagnosis
model based diagnosis
control policy
control method
control system
cooperative
heuristic search
low level
wireless sensor networks
telecommunication networks