Supervisory Control on Concurrent Discrete Event Systems with Variables.

Benoit Gaudin, Peter H. Deussen

Browse the full ACC paper archive.