The Road Ahead for Supervisor Synthesis

M. A. Goorden, L. Moormann,F. F. H. Reijnen, J. J. Verbakel,D. A. van Beek, A. T. Hofkamp,J. M. van de Mortel-Fronczak, M. A. Reniers,W. J. Fokkink, J. E. Rooda,L. F. P. Etman

Dependable Software Engineering. Theories, Tools, and Applications: 6th International Symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020, Proceedings（2020）

引用 8|浏览29

暂无评分

摘要

This paper reports on recent research advances in supervisor synthesis, as well as industrial applications and future research challenges, especially in the context of a research project funded by Rijkswaterstaat, responsible for the construction and maintenance of infrastructure in the Netherlands.

查看译文

关键词

supervisor synthesis

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要