37 citations · 121 across the 25 of their papers we have counts for
4 papers · 1 filter
Local Opacity Verification for Distributed Discrete Event Systems
Sasinee Pruekprasert, Kai Cai
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 composi…
Quantitatively Nonblocking Supervisory Control of Discrete-Event Systems
Renyuan Zhang, Jiahao Wang, Zenghui Wang +1
In this paper, we propose two new nonblocking properties of automata as quantitative measures of maximal distances to marker states. The first property, called {\em quantitative no…
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…