The Impact of Requirement Splitting on the Efficiency of Supervisory Control Synthesis.

Martijn A. Goorden, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Wan J. Fokkink, Jacobus E. Rooda

Browse the full FMICS paper archive.