Optimal directed control of discrete event systems with linear temporal logic constraints.

Ami Sakakibara Sasinee Pruekprasert Toshimitsu Ushio

Published in: ETFA (2015)

Keyphrases

discrete event systems
linear temporal logic
discrete event
petri net
optimal control
optimal solution
complex systems
model based diagnosis
telecommunication networks
timed petri nets
temporal logic
simulation model
failure diagnosis
orders of magnitude
cooperative