未知多项式型系统的控制器综合:一种数据驱动方法

2022 2nd International Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems (CAADCPS) Pub Date : 2022-05-01 DOI:10.1109/caadcps56132.2022.00007

Ameneh Nejati, Bingzhuo Zhong, M. Caccamo, Majid Zamani

{"title":"未知多项式型系统的控制器综合:一种数据驱动方法","authors":"Ameneh Nejati, Bingzhuo Zhong, M. Caccamo, Majid Zamani","doi":"10.1109/caadcps56132.2022.00007","DOIUrl":null,"url":null,"abstract":"In the past two decades, formal methods have received significant attentions due to the increasing demand for formal synthesis of controllers over complex dynamical systems and with respect to high-level logic properties, e.g., those expressed as linear temporal logic (LTL) formulae [1]. However, formal controller synthesis over continuous-time continuous-space systems is challenging due to the complexity of dynamics and properties of interest.","PeriodicalId":321180,"journal":{"name":"2022 2nd International Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems (CAADCPS)","volume":"18 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2022-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Controller Synthesis for Unknown Polynomial-Type Systems: A Data-Driven Approach\",\"authors\":\"Ameneh Nejati, Bingzhuo Zhong, M. Caccamo, Majid Zamani\",\"doi\":\"10.1109/caadcps56132.2022.00007\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In the past two decades, formal methods have received significant attentions due to the increasing demand for formal synthesis of controllers over complex dynamical systems and with respect to high-level logic properties, e.g., those expressed as linear temporal logic (LTL) formulae [1]. However, formal controller synthesis over continuous-time continuous-space systems is challenging due to the complexity of dynamics and properties of interest.\",\"PeriodicalId\":321180,\"journal\":{\"name\":\"2022 2nd International Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems (CAADCPS)\",\"volume\":\"18 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2022-05-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2022 2nd International Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems (CAADCPS)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/caadcps56132.2022.00007\",\"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 2nd International Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems (CAADCPS)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/caadcps56132.2022.00007","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 1

摘要

在过去的二十年中，由于对复杂动态系统中控制器的形式综合的需求不断增加，并且涉及到高级逻辑特性，例如，那些表示为线性时间逻辑(LTL)公式的特性[1]，形式方法受到了极大的关注。然而，由于动力学和特性的复杂性，连续时间连续空间系统的正式控制器综合是具有挑战性的。

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

查看原文本刊更多论文

Controller Synthesis for Unknown Polynomial-Type Systems: A Data-Driven Approach

In the past two decades, formal methods have received significant attentions due to the increasing demand for formal synthesis of controllers over complex dynamical systems and with respect to high-level logic properties, e.g., those expressed as linear temporal logic (LTL) formulae [1]. However, formal controller synthesis over continuous-time continuous-space systems is challenging due to the complexity of dynamics and properties of interest.

求助全文

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

来源期刊

2022 2nd International Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems (CAADCPS)

自引率

0.00%

发文量