On-Line Synthesis of Permissive Supervisors for Partially Observed Discrete Event Systems under scLTL Constraints.

Ami Sakakibara Toshimitsu Ushio

Published in: CoRR (2020)

Keyphrases

partially observed
discrete event systems
petri net
complex systems
failure diagnosis
telecommunication networks
model based diagnosis
timed petri nets
discrete event
temporal constraints
constraint satisfaction
constrained optimization
low level
object oriented
database applications