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

Những chủ đề: “…Discrete event systems…”
lấy văn bản
lấy văn bản

Event-Based Modeling of Input Signal Behaviors for Discrete-Event Controllers Bằng Luis Gomes, Diogo Natário, Anikó Costa, João-Paulo Barros, Rogério Campos-Rebelo

Những chủ đề: lấy văn bản

Verification of Archive System Opacity With Bounded Labeled Petri Nets Bằng Zhenzhong Liu

Những chủ đề: lấy văn bản

Sensor Network Attack Synthesis against Fault Diagnosis of Discrete Event Systems Bằng Tenglong Kang, Yifan Hou, Ding Liu

Những chủ đề: lấy văn bản

Optimal Opacity-Enforcing Supervisory Control of Discrete Event Systems on Choosing Cost Bằng Yinyin Dai, Fei Wang, Jiliang Luo

Những chủ đề: lấy văn bản

Model checking in isomorphic module systems Bằng Wang, Weilin, Su, Rong, Lin, Liyong, Gong, Chaohui

Những chủ đề: lấy văn bản

CANNIBALIZATION POLICIES: ADOPTION IN THE MAINTENANCE OF FLEET SYSTEMS Bằng Ermilso DIAZ, Mariela MUÑOZ-AÑASCO, Antonio CORRECHER-SALVADOR

Những chủ đề: lấy văn bản

Ship-to-ship Dialogs Using A Finite State Machine Bằng Reyes Poo Argüelles, Jesús A. García Maza, Felipe Mateos Martin

Những chủ đề: lấy văn bản

Optimal sensor selection for diagnosability enforcement of discrete event systems using labeled petri net Bằng Shaopeng Hu, Jiafeng Zhang, Jianzhou Wang, Naiqi Wu, Zhiwu Li

Những chủ đề: “…discrete event systems…”
lấy văn bản

Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations Bằng Su, Rong

Những chủ đề: lấy văn bản

A cyber attack model with bounded sensor reading alterations Bằng Su, Rong

Những chủ đề: lấy văn bản

What information really matters in supervisor reduction? Bằng Su, Rong, Wonham, Walter Murray

Những chủ đề: lấy văn bản

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

Những chủ đề: lấy văn bản

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

Những chủ đề: lấy văn bản

Optimal control of discrete event systems under uncertain environment based on supervisory control theory and reinforcement learning Bằng Yingjun Liu, Fuchun Liu

Những chủ đề: “…Discrete event systems…”
lấy văn bản

Decentralized Most Permissive Observer Architecture for Brake Leakage Diagnosis in Automotive Systems Bằng Jose Matute, Milad Khaleghi, Ali Karimoddini

Những chủ đề: lấy văn bản

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

Những chủ đề: lấy văn bản

Synthesis of covert actuator attackers for free Bằng Lin, Liyong, Zhu, Yuting, Su, Rong

Những chủ đề: lấy văn bản

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

Những chủ đề: lấy văn bản

On decidability of existence of nonblocking supervisors resilient to smart sensor attacks Bằng Su, Rong

Những chủ đề: lấy văn bản