{"id":"arxiv/2603.05508","url":"https://arxiv.org/abs/2603.05508","tags":["cs.FL","math.OC"],"score":0,"title":"Marking Data-Informativity and Data-Driven Supervisory Control of Discrete-Event Systems","domain":"cs.FL","source":"arxiv","authors":["Yingying Liu","Kuma Fuchiwaki","Kai Cai"],"reviews":0,"subject":"cs.FL","summary":"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 controlled are unknown, but a set of data concerning the behaviors of DES is available. We ask the question: Under what conditions of the available data set can a valid marking noblocking supervisor be designed for the unknown DES to satisfy a given specification? Answering this question, we identify and formalize a novel concept called marking data-informativity. Moreover, we design an algorithm for the verification of…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-01-14","reactions":{}}