37 citations · 121 across the 25 of their papers we have counts for
27 papers
Transformational Supervisor Localization
Sander Thuijsman, Kai Cai, Michel Reniers
Supervisor localization can be applied to distribute a monolithic supervisor into local supervisors. Performing supervisor localization can be computationally costly. In this work,…
Control with Patterns: A D-learning Method
Quan Quan, Kai-Yuan Cai, Chenyu Wang
Learning-based control policies are widely used in various tasks in the field of robotics and control. However, formal (Lyapunov) stability guarantees for learning-based controller…
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…