vix.ing · top · new · best · stats · spec

Yongmei Gan

  1. Delay-robustness in distributed control of timed discrete-event systems based on supervisor localisation
    2016/02/05 by Renyuan Zhang, Kai Cai, Yongmei Gan +2 · 3 citations
    Computer Science · #Petri Nets in System Modeling #Distributed systems and fault tolerance #Formal Methods in Verification