Polynomial-Time Verification and Enforcement of Delayed Strong Detectability for Discrete-Event Systems - Zhang, Kuize (IEEE transactions on automatic control, 2023)
Keywords: Algorithms; Automata; Closed loops; Delayed strong detectability; Discrete event systems; discrete-event system (DES); Dynamical systems; Enforcement; finite-state automaton; Formal languages; Heuristic algorithms; Inference algorithms; Labeling; Languages; Polynomials; Prediction algorithms; State estimation; Supervisory control; System recovery; Verification