2 papers
eess.SY2026
Data-Driven Synthesis of Probabilistic Controlled Invariant Sets for Linear MDPs
Kazumune Hashimoto, Shunki Kimura, Kazunobu Serizawa +3
We study data-driven computation of probabilistic controlled invariant sets (PCIS) for safety-critical reinforcement learning under unknown dynamics. Assuming a linear MDP model, w…
cs.FL2026
Marking Data-Informativity and Data-Driven Supervisory Control of Discrete-Event Systems
Yingying Liu, Kuma Fuchiwaki, Kai Cai
In this paper we develop a data-driven approach for marking nonblocking supervisory control of discrete-event systems (DES). We consider a setup in which models of DES to be contro…