Search Results for author: Kai Cai

Found 5 papers, 0 papers with code

Distributed Secret Securing in Discrete-Event Systems

no code implementations14 Feb 2024 Shoma Matsui, Kai Cai, Karen Rudie

In this paper, we study a security problem of protecting secrets in distributed systems.

Local Opacity Verification for Distributed Discrete Event Systems

no code implementations20 Dec 2021 Sasinee Pruekprasert, Kai Cai

We propose sufficient conditions for verifying opacity of the global system model based only on the opacity of the local systems.

Quantitatively Nonblocking Supervisory Control of Discrete-Event Systems

no code implementations2 Aug 2021 Renyuan Zhang, Jiahao Wang, Zenghui Wang, Kai Cai

Finally, combining with the algorithm of computing the supremal controllable sublanguage, we design algorithms to compute the maximally permissive solutions to the formulated (heterogeneously) quantitatively nonblocking supervisory control problems.

Usability Aware Secret Protection with Minimum Cost

no code implementations16 Feb 2021 Shoma Matsui, Kai Cai

We first introduce usability-aware cost levels for the protectable events, and then formulate the security problem as to ensure that every system trajectory that reaches a secret state contains a specified number of protectable events with at least a certain security level, and the highest usability-aware cost level of these events is minimum.

Distributed Dual Gradient Tracking for Resource Allocation in Unbalanced Networks

no code implementations22 Sep 2019 JiaQi Zhang, Keyou You, Kai Cai

Our key idea is the novel use of the distributed push-pull gradient algorithm (PPG) to solve the dual problem of the resource allocation problem.

Cannot find the paper you are looking for? You can Submit a new open access paper.