Task-Driven Supervisory Control of Discrete Event Systems.

Christian H. Golaszewski, Robert P. Kurshan

Browse the full CAV paper archive.