Nonblocking Supervisory Control Synthesis of Timed Automata using Abstractions and Forcible Events.

Aida Rashidinejad, Patrick van der Graaf, Michel A. Reniers

Browse the full ICARCV paper archive.