An extension of the linear integer program approach for controller synthesis of DES modeled by Petri nets. - Lida Dong; Weimin Wu 002; Hongye Su; Weijie Mao; Jian Chu; Xiao Wang (CDC, 2002)

Petri net cascade decomposition for supervisory control. - Lida Dong; Weimin Wu 002; Hongye Su; Jian Chu (ACC, 2003)

Normalized cascade structures and state feedback control logic synthesis. - Lida Dong; Weimin Wu 002; Hongye Su; Jian Chu (CDC, 2003)

On the enforcement of a class of constraint in Petri nets. - Weimin Wu 002; Lida Dong; Hongye Su; Jian Chu (SMC, 2003)

A closed-loop adjusting strategy for wireless HART time synchronization. - Miaomiao Hua; Lida Dong (ISCIT, 2011)

New controllability condition for WS3PR nets. - XuanXuan Guan; ShouGuang Wang; Lida Dong; Jing Yang (ICCA, 2013)

Mixed Integer Programming-Based Liveness Test for FMS with Full Routing Flexibility. - Lida Dong; Tianyang Chi; Cheng-Cheng Zhu; Jun Yin (J. Appl. Math., 2014)