3 research outputs found

    Bisimilarity enforcing supervisory control for deterministic specifications

    No full text
    10.1016/j.automatica.2013.09.025Automatica501287-290ATCA
    corecore