1 research outputs found

    Computation of Sublanguages for Synthesizing Decentralized Supervisors for Timed Discrete Event Systems

    No full text
    corecore