具有复特征值的SOS线性系统的安全性分析

2011 2nd International Conference on Instrumentation Control and Automation Pub Date : 2011-11-01 DOI:10.1109/ICA.2011.6130162

N. Megawati, Salmah, I. E. Wijayanti, E. Joelianto

{"title":"具有复特征值的SOS线性系统的安全性分析","authors":"N. Megawati, Salmah, I. E. Wijayanti, E. Joelianto","doi":"10.1109/ICA.2011.6130162","DOIUrl":null,"url":null,"abstract":"In this paper we investigate safety verification of linear system. The structure of linear system will be exploited and converted to certain eigenstructure as an emptiness problem for a semi algebraic set. Sum of square (SOS) is emploited to check emptiness of of the set defines by polynomial inequalities which can be computed by semidifinite programming. A special consideration is to investigate safety problem of linear system with complex eigenvalues.","PeriodicalId":132474,"journal":{"name":"2011 2nd International Conference on Instrumentation Control and Automation","volume":"36 1-3","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2011-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Safety analysis of linear system with SOS for complex eigenvalues\",\"authors\":\"N. Megawati, Salmah, I. E. Wijayanti, E. Joelianto\",\"doi\":\"10.1109/ICA.2011.6130162\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In this paper we investigate safety verification of linear system. The structure of linear system will be exploited and converted to certain eigenstructure as an emptiness problem for a semi algebraic set. Sum of square (SOS) is emploited to check emptiness of of the set defines by polynomial inequalities which can be computed by semidifinite programming. A special consideration is to investigate safety problem of linear system with complex eigenvalues.\",\"PeriodicalId\":132474,\"journal\":{\"name\":\"2011 2nd International Conference on Instrumentation Control and Automation\",\"volume\":\"36 1-3\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2011-11-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2011 2nd International Conference on Instrumentation Control and Automation\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ICA.2011.6130162\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2011 2nd International Conference on Instrumentation Control and Automation","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICA.2011.6130162","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

本文主要研究线性系统的安全性验证问题。将线性系统的结构作为半代数集的空性问题加以利用并转化为一定的特征结构。利用平方和(SOS)来检验由多项式不等式定义的集合的空性，该集合可以用半定规划来计算。特别考虑了复特征值线性系统的安全问题。

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

查看原文本刊更多论文

Safety analysis of linear system with SOS for complex eigenvalues

In this paper we investigate safety verification of linear system. The structure of linear system will be exploited and converted to certain eigenstructure as an emptiness problem for a semi algebraic set. Sum of square (SOS) is emploited to check emptiness of of the set defines by polynomial inequalities which can be computed by semidifinite programming. A special consideration is to investigate safety problem of linear system with complex eigenvalues.

求助全文

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

来源期刊

2011 2nd International Conference on Instrumentation Control and Automation

自引率

0.00%

发文量