4 papers
nonblocking supervisory control of discrete-event systems with infinite behavior
Ting Jiao, Renyuan Zhang, Kai Cai
In the supervisory control framework of discrete-event systems (DES) with infinite behavior initiated by Thistle and Wonham, a supervisor satisfying the minimal acceptable specific…
Usability Aware Secret Protection with Minimum Cost
Shoma Matsui, Kai Cai
In this paper we study a cybersecurity problem of protecting system's secrets with multiple protections and a required security level, while minimizing the associated cost due to i…
Distributed Dual Gradient Tracking for Resource Allocation in Unbalanced Networks
Jiaqi Zhang, Keyou You, Kai Cai
This paper proposes a distributed dual gradient tracking algorithm (DDGT) to solve resource allocation problems over an unbalanced network, where each node in the network holds a p…
Secret Securing with Multiple Protections and Minimum Costs
Shoma Matsui, Kai Cai
In this paper we study a security problem of protecting secrets with multiple protections and minimum costs. The target system is modeled as a discrete-event system (DES) in which…