State-Based Control of Timed Discrete-Event Systems. - Sadegh Rahnamoon; Walter Murray Wonham (CDC, 2018)