Control computation and complexity of temporal-safety in discrete-event systems
Kiam Tian Seow, Rajagopalan Devanathan · 1999
Presents a basic computation method to solve a class of control synthesis problems associated with temporal-safety supervision of logical discrete-event systems. A worst-case complexity analysis is also given to enable an objective assessment of the proposed method.