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

Teme: “...Discrete event systems...”
Polni tekst
Polni tekst

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

Teme: Polni tekst

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

Teme: Polni tekst

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

Teme: Polni tekst

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

Teme: Polni tekst

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

Teme: Polni tekst

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

Teme: Polni tekst

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

Teme: Polni tekst

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

Teme: Polni tekst

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

Teme: Polni tekst

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

Teme: Polni tekst

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

Teme: “...Parameterized Discrete-event Systems...”
Polni tekst

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

Teme: “...Discrete-event systems (DESs); formal languages and automata; hierarchical control; online supervision...”
Polni tekst
Polni tekst

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

Teme: Polni tekst
Polni tekst

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

Teme: Polni tekst

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

Teme: Polni tekst

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

Teme: Polni tekst

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

Teme: Polni tekst