首页    期刊浏览 2024年11月06日 星期三
登录注册

文章基本信息

  • 标题:Quantifying model quality for supervisory control synthesis - an experimental study ⁎
  • 本地全文:下载
  • 作者:Martijn A. Goorden ; Michel A. Reniers ; Joanna M. van de Mortel-Fronczak
  • 期刊名称:IFAC PapersOnLine
  • 印刷版ISSN:2405-8963
  • 出版年度:2020
  • 卷号:53
  • 期号:4
  • 页码:437-444
  • DOI:10.1016/j.ifacol.2021.04.041
  • 语种:English
  • 出版社:Elsevier
  • 摘要:AbstractSupervisory control synthesis is a model-based engineering method to design supervisory controllers for high-tech and cyber-physical systems. Recent advances in synthesis techniques and modelling formalisms allow for synthesis of supervisors for large-scale industrial applications. Yet, the synthesis results depends on the quality and validity of the models used as input. Other model-based techniques such as simulation, testing, and verification provide complementary support in the design process to increase the quality and validity of the models. In this paper, we propose, in addition to the other supporting techniques, eleven modeling aspects to assess the model quality in the context of supervisory control synthesis. Examples of modeling aspects are the interdependency between component models, whether independent subsystems are modeled, and whether the model is annotated with comments. For each modeling aspect, we discuss its importance and describe how it can be quantified. We report on an experiment where 21 models of automated guided vehicles, created by students during a course on Supervisory Control Theory, are evaluated with the proposed modeling aspects. This experiment demonstrates the applicability of the modeling aspects.
  • 关键词:KeywordsDiscrete-event systemsmodelingsupervisory control theoryeducation
国家哲学社会科学文献中心版权所有