Browsing by Author Lin, Liyong

Showing results 1 to 7 of 7
Issue DateTitleAuthor(s)
2018Automatic generation of optimal reductions of distributionsMasopust, Tomáš; Su, Rong; Lin, Liyong; Wonham, W. Murray
2014Automaton-based timed supervisory control for operational planning and scheduling under multiple job deadlinesLin, Liyong; Shehabinia, Ahmad Reza; Brandin, Bertil; Su, Rong.
2018An efficient method of matrix multiplication for heaps of piecesWare, Simon; Yang, Fajun; Zhu, Yuting; Su, Rong; Lin, Liyong
2018Model checking in isomorphic module systemsWang, Weilin; Su, Rong; Lin, Liyong; Gong, Chaohui
2017Symbolic reachability analysis and maximally permissive entrance control for globally synchronized templatesLin, Liyong; Stefanescu, Alin; Wang, Weilin; Su, Rong; Wonham, Walter Murray
2019Synchronous composition of finite interval automataLin, Liyong; Su, Rong; Brandin, Bertil A.; Ware, Simon; Zhu, Yuting; Sun, Yajuan
2015Towards decentralized and parameterized supervisor synthesisLin, Liyong