参数化离散事件系统的可达性和非阻塞性

2006 8th International Workshop on Discrete Event Systems Pub Date : 2006-07-10 DOI:10.1109/WODES.2006.1678417

H. Bherer, J. Desharnais, R. St.-Denis

{"title":"参数化离散事件系统的可达性和非阻塞性","authors":"H. Bherer, J. Desharnais, R. St.-Denis","doi":"10.1109/WODES.2006.1678417","DOIUrl":null,"url":null,"abstract":"This paper presents procedures to determine if the reachability and nonblocking properties are violated for parameterized discrete event systems, consisting of n similar processes under total observation, in the state-based formulation of the supervisory control theory. Checking these properties is intrinsically a global problem, and the introduction of a parameter presents a new challenge","PeriodicalId":285315,"journal":{"name":"2006 8th International Workshop on Discrete Event Systems","volume":"13 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2006-07-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"4","resultStr":"{\"title\":\"On the reachability and nonblocking properties for parameterized discrete event systems\",\"authors\":\"H. Bherer, J. Desharnais, R. St.-Denis\",\"doi\":\"10.1109/WODES.2006.1678417\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This paper presents procedures to determine if the reachability and nonblocking properties are violated for parameterized discrete event systems, consisting of n similar processes under total observation, in the state-based formulation of the supervisory control theory. Checking these properties is intrinsically a global problem, and the introduction of a parameter presents a new challenge\",\"PeriodicalId\":285315,\"journal\":{\"name\":\"2006 8th International Workshop on Discrete Event Systems\",\"volume\":\"13 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2006-07-10\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"4\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2006 8th International Workshop on Discrete Event Systems\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/WODES.2006.1678417\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2006 8th International Workshop on Discrete Event Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/WODES.2006.1678417","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 4

摘要

本文给出了基于状态的监督控制理论公式中由n个相似过程组成的参数化离散事件系统在全观测条件下是否违反可达性和非阻塞性的判定方法。检查这些属性本质上是一个全局问题，而参数的引入提出了一个新的挑战

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

查看原文本刊更多论文

On the reachability and nonblocking properties for parameterized discrete event systems

This paper presents procedures to determine if the reachability and nonblocking properties are violated for parameterized discrete event systems, consisting of n similar processes under total observation, in the state-based formulation of the supervisory control theory. Checking these properties is intrinsically a global problem, and the introduction of a parameter presents a new challenge

求助全文

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

来源期刊

2006 8th International Workshop on Discrete Event Systems

自引率

0.00%

发文量