The role of supervisory controller synthesis in automatic control software development.
Science of Computer Programming(2015)
摘要
We give an overview of a model-driven systems engineering approach for high-tech systems that relies on supervisory controller synthesis. The proposed framework has a process-theoretic foundation and supports extensions with quantitative features. We briefly discuss several industrial case studies that highlight the advantages of the proposed approach.
更多查看译文
关键词
Supervisory control theory,Model-driven development,Software synthesis
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要