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

文章基本信息

  • 标题:Efficient Validation of Supervisory Controllers using Symmetry Reduction
  • 本地全文:下载
  • 作者:Lars Moormann ; Martijn A. Goorden ; Joanna M. van de Mortel-Fronczak
  • 期刊名称:IFAC PapersOnLine
  • 印刷版ISSN:2405-8963
  • 出版年度:2020
  • 卷号:53
  • 期号:4
  • 页码:288-295
  • DOI:10.1016/j.ifacol.2021.04.074
  • 语种:English
  • 出版社:Elsevier
  • 摘要:AbstractSupervisory control synthesis is a method to automatically generate a correct-by-construction supervisory controller. Validation of the synthesized controller is an important step to guarantee correct and safe system behavior. Especially requirement validation for systems with numerous components can be a difficult and time-consuming task. This paper proposes a method that reduces the required validation time and effort of systems through symmetry reduction, and is based on the concept of isomorphism. Isomorphism of component models and requirement models means that these models are equivalent in behavior, and therefore only part of the system needs to be validated. This method is used in an industrial case study, in which a supervisory controller is synthesized for a road tunnel (the Koning Willem-Alexandertunnel, the Netherlands). In this case study, the modeling of the plant and the requirements, supervisor synthesis, simulation, and validation are described.
  • 关键词:KeywordsAutomata theorysupervisory controlcontrol system synthesissystem reductionvalidation
国家哲学社会科学文献中心版权所有