抽象增量层次结构离散事件系统的模块化监督控制

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

R. Hill, D. Tilbury

{"title":"抽象增量层次结构离散事件系统的模块化监督控制","authors":"R. Hill, D. Tilbury","doi":"10.1109/WODES.2006.382507","DOIUrl":null,"url":null,"abstract":"This paper addresses the problem of state explosion by outlining a procedure for incrementally building modular supervisors that are nonconflicting by construction. Abstractions are employed to make the procedure more computationally feasible. Proof is given showing the set of modular supervisors generated in this manner meet given specifications without blocking. Furthermore, an example is provided that demonstrates the reduction in complexity that this approach provides","PeriodicalId":285315,"journal":{"name":"2006 8th International Workshop on Discrete Event Systems","volume":"108 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2006-07-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"75","resultStr":"{\"title\":\"Modular Supervisory Control of Discrete-Event Systems with Abstraction and Incremental Hierarchical Construction\",\"authors\":\"R. Hill, D. Tilbury\",\"doi\":\"10.1109/WODES.2006.382507\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This paper addresses the problem of state explosion by outlining a procedure for incrementally building modular supervisors that are nonconflicting by construction. Abstractions are employed to make the procedure more computationally feasible. Proof is given showing the set of modular supervisors generated in this manner meet given specifications without blocking. Furthermore, an example is provided that demonstrates the reduction in complexity that this approach provides\",\"PeriodicalId\":285315,\"journal\":{\"name\":\"2006 8th International Workshop on Discrete Event Systems\",\"volume\":\"108 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2006-07-10\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"75\",\"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.382507\",\"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.382507","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 75

摘要

本文通过概述一种增量式构建不受构造冲突的模块化监管程序来解决状态爆炸问题。采用抽象使该过程在计算上更加可行。证明了以这种方式生成的模块化管理器集满足给定的规格而不会阻塞。此外，还提供了一个示例来演示这种方法所带来的复杂性降低

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

查看原文本刊更多论文

Modular Supervisory Control of Discrete-Event Systems with Abstraction and Incremental Hierarchical Construction

This paper addresses the problem of state explosion by outlining a procedure for incrementally building modular supervisors that are nonconflicting by construction. Abstractions are employed to make the procedure more computationally feasible. Proof is given showing the set of modular supervisors generated in this manner meet given specifications without blocking. Furthermore, an example is provided that demonstrates the reduction in complexity that this approach provides

求助全文

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

来源期刊

2006 8th International Workshop on Discrete Event Systems

自引率

0.00%

发文量