Marking Data-Informativity and Data-Driven Supervisory Control of Discrete-Event Systems
This paper introduces the concept of marking data-informativity and develops corresponding algorithms to design valid nonblocking supervisors for unknown discrete-event systems using available behavioral data, while also addressing cases where data is insufficient through restricted informativity and informatizability frameworks.