Zobrazeno 1 - 10
of 1 625
pro vyhledávání: '"Cai, Kai"'
Autor:
Reniers, Michel, Cai, Kai
In the Ramadge-Wonham supervisory control theory the only interaction mechanism between supervisor and plant is that the supervisor may enable/disable events from the plant and the plant makes a final decision about which of the enabled events is act
Externí odkaz:
http://arxiv.org/abs/2404.08469
In this paper, we study a security problem of protecting secrets in distributed systems. Specifically, we employ discrete-event systems to describe the structure and behaviour of distributed systems, in which global secret information is separated in
Externí odkaz:
http://arxiv.org/abs/2402.08878
Recently we proposed an automaton property of quantitative nonblockingness in supervisory control of discrete-event systems, which quantifies the standard nonblocking property by capturing the practical requirement that all tasks be completed within
Externí odkaz:
http://arxiv.org/abs/2403.08781
Supervisor localization can be applied to distribute a monolithic supervisor into local supervisors. Performing supervisor localization can be computationally costly. In this work, we consider systems that evolve over time. We study how to reuse the
Externí odkaz:
http://arxiv.org/abs/2305.09384
Publikováno v:
2023
This study proposes a uniform passive fault-tolerant control (FTC) method for a quadcopter that does not rely on fault information subject to one, two adjacent, two opposite, or three rotors failure. The uniform control implies that the passive FTC i
Externí odkaz:
http://arxiv.org/abs/2211.12972
Autor:
Cai, Kai1 (AUTHOR) caikai@email.swu.edu.cn, Liu, Qiang2 (AUTHOR) qiangliu82@163.com, Lin, Yechun1 (AUTHOR) linyechun@alu.cau.edu.cn, Yang, Xingyou3 (AUTHOR) yangxingyou@sc.tobacco.gov.cn, Liu, Qi4 (AUTHOR) liuqi@caas.cn, Pan, Wenjie1 (AUTHOR) office1@juxinge.cn, Gao, Weichang1 (AUTHOR) office1@juxinge.cn
Publikováno v:
Molecules. May2024, Vol. 29 Issue 9, p2068. 14p.
Autor:
Quan, Quan, Cai, Kai-Yuan
Nowadays, data are richly accessible to accumulate, and the increasingly powerful computing capability offers reasonable ease of handling big data. This remarkable scenario leads to a new way of solving some control problems that were previously chal
Externí odkaz:
http://arxiv.org/abs/2206.03809
This paper focuses on the extreme-value problem for Shannon entropy of the joint distribution with given marginals. It is proved that the minimum-entropy coupling must be of order-preserving, while the maximum-entropy coupling coincides with the inde
Externí odkaz:
http://arxiv.org/abs/2206.03676
Autor:
Pruekprasert, Sasinee, Cai, Kai
This paper studies current-state opacity and initial-state opacity verification of distributed discrete event systems. The distributed system's global model is the parallel composition of multiple local systems: each of which represents a component.
Externí odkaz:
http://arxiv.org/abs/2112.10416