Supervisory Control of Communicating Timed Discrete Event Systems for State Avoidance Problem | IEEE Journals & Magazine | IEEE Xplore