Towards decentralized and parameterized supervisor synthesis by Lin, Liyong

Get full text

Synthesis of covert actuator and sensor attackers as supervisor synthesis by Lin, Liyong, Su, Rong

Get full text

Synthesis of covert actuator and sensor attackers by Lin, Liyong, Su, Rong

Get full text

Supervisory control of time-interval discrete event systems by Brandin, Bertil, Su, Rong, Lin, Liyong

Get full text

Synthesis of covert actuator attackers for free by Lin, Liyong, Zhu, Yuting, Su, Rong

Get full text

Identification of system vulnerability under a smart sensor attack via attack model reduction by Tai, Ruochen, Lin, Liyong, Su, Rong

Get full text

Synthesis of optimal covert sensor–actuator attackers for discrete-event systems by Tai, Ruochen, Lin, Liyong, Su, Rong

Get full text

Remarks on the difficulty of top-down supervisor synthesis by Lin, Liyong., Su, Rong., Stefanescu, Alin.

Get full text
Get full text

Model checking in isomorphic module systems by Wang, Weilin, Su, Rong, Lin, Liyong, Gong, Chaohui

Get full text

Supervisor synthesis for networked discrete event systems with delays against non-FIFO communication channels by Zhu, Yuting, Lin, Liyong, Tai, Ruochen, Su, Rong

Get full text

Synthesis of the supremal covert attacker against unknown supervisors by using observations by Tai, Ruochen, Lin, Liyong, Zhu, Yuting, Su, Rong

Get full text

Privacy-preserving co-synthesis against sensor–actuator eavesdropping intruder by Tai, Ruochen, Lin, Liyong, Zhu, Yuting, Su, Rong

Get full text

Automaton-based timed supervisory control for operational planning and scheduling under multiple job deadlines by Lin, Liyong, Shehabinia, Ahmad Reza, Brandin, Bertil, Su, Rong.

Get full text
Get full text

Networked supervisor synthesis against lossy channels with bounded network delays as non-networked synthesis by Lin, Liyong, Zhu, Yuting, Tai, Ruochen, Ware, Simon, Su, Rong

Get full text

An efficient method of matrix multiplication for heaps of pieces by Ware, Simon, Yang, Fajun, Zhu, Yuting, Su, Rong, Lin, Liyong

Get full text
Get full text

Symbolic reachability analysis and maximally permissive entrance control for globally synchronized templates by Lin, Liyong, Stefanescu, Alin, Wang, Weilin, Su, Rong, Wonham, Walter Murray

Get full text

Synchronous composition of finite interval automata by Lin, Liyong, Su, Rong, Brandin, Bertil A., Ware, Simon, Zhu, Yuting, Sun, Yajuan

Get full text