Showing eess.SYShow all
3 papers · 1 filter
eess.SY2021
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…
eess.SY2021
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…
eess.SY2019
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…