Collision and Deadlock Avoidance in Multirobot Systems: A Distributed Approach 由 Zhou, Yuan, Hu, Hesuan, Liu, Yang, Ding, Zuohua

主題: “...Discrete event systems...”
獲取全文
獲取全文

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

主題: 獲取全文

Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations 由 Su, Rong

主題: 獲取全文

A cyber attack model with bounded sensor reading alterations 由 Su, Rong

主題: 獲取全文

What information really matters in supervisor reduction? 由 Su, Rong, Wonham, Walter Murray

主題: 獲取全文

Synthesis of minimally restrictive optimal stability-enforcing supervisors for nondeterministic discrete event systems 由 Han, Xiaoguang, Chen, Zengqiang, Su, Rong

主題: 獲取全文

A distributed approach to robust control of multi-robot systems 由 Zhou, Yuan, Hu, Hesuan, Liu, Yang, Lin, Shang-Wei, Ding, Zuohua

主題: 獲取全文

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

主題: 獲取全文

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

主題: 獲取全文

Design of privacy-preserving control strategy for data opacity of industrial internet (面向工业互联网中数据不透明性的 隐私保护控制策略设计) 由 Shen, Yi, Zhou, ChunJie, Hu, XiaoYa, Cheng, Cheng, He, Xin, Tai, RuoChen

主題: 獲取全文

On decidability of existence of nonblocking supervisors resilient to smart sensor attacks 由 Su, Rong

主題: 獲取全文

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

主題: “...Parameterized Discrete-event Systems...”
獲取全文

Command and Control of Discrete-Event Systems: Towards Online Hierarchical Control Based on Feasible System Decomposition 由 Ngo, Quang Ha, Seow, Kiam Tian

主題: “...Discrete-event systems (DESs); formal languages and automata; hierarchical control; online supervision...”
獲取全文
獲取全文

A hierarchical consistency framework for real-time supervisory control 由 Ngo, Quang Ha, Seow, Kiam Tian

主題: 獲取全文
獲取全文

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

主題: 獲取全文

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

主題: 獲取全文

A discrete event formulation for multi-robot collision avoidance on pre-planned trajectories 由 Deplano, Diego, Franceschelli, Mauro, Ware, Simon, Rong, Su, Giua, Alessandro

主題: 獲取全文

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

主題: 獲取全文