Enforcing Detectability in Discrete Event Systems via Adaptive Control Sequences of Minimum Total Length. - Martha Christou; Christoforos N. Hadjicostis (CDC, 2024)