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

Խորագրեր: “…Discrete event systems…”
Ստացեք ամբողջական տեքստը
Ստացեք ամբողջական տեքստը

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

Խորագրեր: Ստացեք ամբողջական տեքստը

Verification of Archive System Opacity With Bounded Labeled Petri Nets ‌ Zhenzhong Liu

Խորագրեր: Ստացեք ամբողջական տեքստը

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

Խորագրեր: Ստացեք ամբողջական տեքստը

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

Խորագրեր: Ստացեք ամբողջական տեքստը

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

Խորագրեր: Ստացեք ամբողջական տեքստը

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

Խորագրեր: Ստացեք ամբողջական տեքստը

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

Խորագրեր: Ստացեք ամբողջական տեքստը

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

Խորագրեր: “…discrete event systems…”
Ստացեք ամբողջական տեքստը

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

Խորագրեր: Ստացեք ամբողջական տեքստը

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

Խորագրեր: “…Discrete event systems…”
Ստացեք ամբողջական տեքստը

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

Խորագրեր: Ստացեք ամբողջական տեքստը

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

Խորագրեր: Ստացեք ամբողջական տեքստը