Marking Data-Informativity and Data-Driven Supervisory Control of Discrete-Event Systems
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2603.05508
curl -X POST /api/v1/records/arxiv/2603.05508/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2603.05508/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'