Bounded-Time Nonblocking Supervisory Control of Timed Discrete-Event Systems

Renyuan Zhang, Jiale Wu, Junhua Gou +2

Recently an automaton property of quantitative nonblockingness was proposed in supervisory control of untimed discrete-event systems (DES), which quantifies the standard nonblockin…