Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Toby R. Erens"'
Publikováno v:
Discrete Event Dynamic Systems, 32, 115-141. Springer
The development of supervisory controllers for cyber-physical systems is a laborious and error-prone process. Supervisor synthesis enables control designers to automatically synthesize a correct-by-construction supervisor from a model of the plant co
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0023124cfc77a31e5161ad6f323d7d93
https://doi.org/10.1007/s10626-021-00350-4
https://doi.org/10.1007/s10626-021-00350-4
The development of supervisory controllers for cyber-physical systems is a laborious and error-prone process. Supervisor synthesis enables control designers to automatically synthesize a correct-by-construction supervisor from a model of the plant in
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::48acb3c36c26b05cdf4052e7455c3e9f
http://www.scopus.com/inward/record.url?scp=85102164649&partnerID=8YFLogxK
http://www.scopus.com/inward/record.url?scp=85102164649&partnerID=8YFLogxK
