Polynomial-Time Verification and Enforcement of Delayed Strong Detectability for Discrete-Event Systems

From MaRDI portal
Publication:6137532