具有到达-避免规范的不确定有限状态系统的输出反馈控制

2022 30th Mediterranean Conference on Control and Automation (MED) Pub Date : 2022-06-28 DOI:10.1109/MED54222.2022.9837288

Daniel Ajedamola Ajeleye, Tommaso Masciulli, G. Pola

{"title":"具有到达-避免规范的不确定有限状态系统的输出反馈控制","authors":"Daniel Ajedamola Ajeleye, Tommaso Masciulli, G. Pola","doi":"10.1109/MED54222.2022.9837288","DOIUrl":null,"url":null,"abstract":"In this paper we address control design of nondeterministic finite state systems with reach–avoid specifications. A general class of controllers is considered, which combines feedforward and output feedback schemes. Results proposed here extend those of [1] in two directions: first, here we consider reach avoid–specifications instead of simply reachability specifications; second, we propose algorithms exhibiting better time computational complexity than those given in [1].","PeriodicalId":354557,"journal":{"name":"2022 30th Mediterranean Conference on Control and Automation (MED)","volume":"33 5","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2022-06-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Output Feedback Control of Nondeterministic Finite–State Systems with Reach–Avoid Specifications\",\"authors\":\"Daniel Ajedamola Ajeleye, Tommaso Masciulli, G. Pola\",\"doi\":\"10.1109/MED54222.2022.9837288\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In this paper we address control design of nondeterministic finite state systems with reach–avoid specifications. A general class of controllers is considered, which combines feedforward and output feedback schemes. Results proposed here extend those of [1] in two directions: first, here we consider reach avoid–specifications instead of simply reachability specifications; second, we propose algorithms exhibiting better time computational complexity than those given in [1].\",\"PeriodicalId\":354557,\"journal\":{\"name\":\"2022 30th Mediterranean Conference on Control and Automation (MED)\",\"volume\":\"33 5\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2022-06-28\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2022 30th Mediterranean Conference on Control and Automation (MED)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/MED54222.2022.9837288\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2022 30th Mediterranean Conference on Control and Automation (MED)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/MED54222.2022.9837288","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

本文研究了具有到达避免规范的不确定有限状态系统的控制设计。考虑了一类综合了前馈和输出反馈的控制器。本文的结果在两个方向上扩展了[1]的结果:首先，这里我们考虑了到达避免规范而不是简单的可达性规范;其次，我们提出了比[1]中给出的算法具有更好的时间计算复杂度的算法。

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

查看原文本刊更多论文

Output Feedback Control of Nondeterministic Finite–State Systems with Reach–Avoid Specifications

In this paper we address control design of nondeterministic finite state systems with reach–avoid specifications. A general class of controllers is considered, which combines feedforward and output feedback schemes. Results proposed here extend those of [1] in two directions: first, here we consider reach avoid–specifications instead of simply reachability specifications; second, we propose algorithms exhibiting better time computational complexity than those given in [1].

求助全文

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

来源期刊

2022 30th Mediterranean Conference on Control and Automation (MED)

自引率

0.00%

发文量