事件和状态延迟观测下的监督控制

IF 2.5 3区计算机科学 Q2 AUTOMATION & CONTROL SYSTEMS

European Journal of Control Pub Date : 2024-11-01 DOI:10.1016/j.ejcon.2024.101069

Jiayuan Liang , Yanwei Zang , Wenbiao Zhang , Chaohui Gong , Lachlan L.H. Andrew , Hanran Zhang , Weilin Wang

{"title":"事件和状态延迟观测下的监督控制","authors":"Jiayuan Liang , Yanwei Zang , Wenbiao Zhang , Chaohui Gong , Lachlan L.H. Andrew , Hanran Zhang , Weilin Wang","doi":"10.1016/j.ejcon.2024.101069","DOIUrl":null,"url":null,"abstract":"<div><div>In discrete event systems, it is often convenient and possible to observe directly whether or not the system is in a subset of the state space, typically after some delay, even if some event occurrences leading to the current state were not observed. We model supervisory control with the delayed observations of events and states and investigate the existence of a supervisor to obtain a given desired language accordingly. An existence verifier with polynomial run time is presented.</div></div>","PeriodicalId":50489,"journal":{"name":"European Journal of Control","volume":"80 ","pages":"Article 101069"},"PeriodicalIF":2.5000,"publicationDate":"2024-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Supervisory control under delayed observations of events and states\",\"authors\":\"Jiayuan Liang , Yanwei Zang , Wenbiao Zhang , Chaohui Gong , Lachlan L.H. Andrew , Hanran Zhang , Weilin Wang\",\"doi\":\"10.1016/j.ejcon.2024.101069\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><div>In discrete event systems, it is often convenient and possible to observe directly whether or not the system is in a subset of the state space, typically after some delay, even if some event occurrences leading to the current state were not observed. We model supervisory control with the delayed observations of events and states and investigate the existence of a supervisor to obtain a given desired language accordingly. An existence verifier with polynomial run time is presented.</div></div>\",\"PeriodicalId\":50489,\"journal\":{\"name\":\"European Journal of Control\",\"volume\":\"80 \",\"pages\":\"Article 101069\"},\"PeriodicalIF\":2.5000,\"publicationDate\":\"2024-11-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"European Journal of Control\",\"FirstCategoryId\":\"94\",\"ListUrlMain\":\"https://www.sciencedirect.com/science/article/pii/S0947358024001298\",\"RegionNum\":3,\"RegionCategory\":\"计算机科学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q2\",\"JCRName\":\"AUTOMATION & CONTROL SYSTEMS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"European Journal of Control","FirstCategoryId":"94","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0947358024001298","RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"AUTOMATION & CONTROL SYSTEMS","Score":null,"Total":0}

引用次数: 0

摘要

在离散事件系统中，直接观察系统是否处于状态空间的一个子集通常是非常方便和可行的，通常会经过一定的延迟，即使没有观察到导致当前状态的某些事件发生。我们利用对事件和状态的延迟观测来建立监督控制模型，并相应地研究监督者的存在性，以获得给定的期望语言。我们提出了一个运行时间为多项式的存在性验证器。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Supervisory control under delayed observations of events and states

In discrete event systems, it is often convenient and possible to observe directly whether or not the system is in a subset of the state space, typically after some delay, even if some event occurrences leading to the current state were not observed. We model supervisory control with the delayed observations of events and states and investigate the existence of a supervisor to obtain a given desired language accordingly. An existence verifier with polynomial run time is presented.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

European Journal of Control 工程技术-自动化与控制系统

CiteScore

5.80

自引率

5.90%

发文量

131

审稿时长

1 months

期刊介绍： The European Control Association (EUCA) has among its objectives to promote the development of the discipline. Apart from the European Control Conferences, the European Journal of Control is the Association''s main channel for the dissemination of important contributions in the field. The aim of the Journal is to publish high quality papers on the theory and practice of control and systems engineering. The scope of the Journal will be wide and cover all aspects of the discipline including methodologies, techniques and applications. Research in control and systems engineering is necessary to develop new concepts and tools which enhance our understanding and improve our ability to design and implement high performance control systems. Submitted papers should stress the practical motivations and relevance of their results. The design and implementation of a successful control system requires the use of a range of techniques: Modelling Robustness Analysis Identification Optimization Control Law Design Numerical analysis Fault Detection, and so on.