Synthesis Method for Hierarchical Interface-based Supervisory Control.

Ryan J. Leduc, Pengcheng Dai

Browse the full ACC paper archive.