为了安全，sos

2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601) Pub Date : 2004-12-01 DOI:10.1109/CDC.2004.1428673

H. Yazarel, S. Prajna, George J. Pappas

{"title":"为了安全，sos","authors":"H. Yazarel, S. Prajna, George J. Pappas","doi":"10.1109/CDC.2004.1428673","DOIUrl":null,"url":null,"abstract":"Verification of continuous systems remains one of the main obstacles in the safety verification of hybrid systems. In this paper, by exploiting the structure of linear dynamical systems, we convert the exact safety verification of linear systems with certain eigen-structure as an emptiness problem for a semi-algebraic set. Sum of squares (SOS) decomposition is then employed to check emptiness of the set defined by polynomial equalities and inequalities which can be effectively computed by semidefinite programming.","PeriodicalId":254457,"journal":{"name":"2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601)","volume":"40 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2004-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"14","resultStr":"{\"title\":\"S.O.S. for safety\",\"authors\":\"H. Yazarel, S. Prajna, George J. Pappas\",\"doi\":\"10.1109/CDC.2004.1428673\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Verification of continuous systems remains one of the main obstacles in the safety verification of hybrid systems. In this paper, by exploiting the structure of linear dynamical systems, we convert the exact safety verification of linear systems with certain eigen-structure as an emptiness problem for a semi-algebraic set. Sum of squares (SOS) decomposition is then employed to check emptiness of the set defined by polynomial equalities and inequalities which can be effectively computed by semidefinite programming.\",\"PeriodicalId\":254457,\"journal\":{\"name\":\"2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601)\",\"volume\":\"40 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2004-12-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"14\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/CDC.2004.1428673\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CDC.2004.1428673","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 14

摘要

连续系统的验证仍然是混合动力系统安全性验证的主要障碍之一。本文利用线性动力系统的结构，将具有一定特征结构的线性系统的精确安全验证问题转化为一个半代数集的空性问题。然后利用平方和分解来检验由多项式等式和不等式定义的集合的空性，这些多项式等式和不等式可以通过半定规划有效地计算出来。

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

查看原文本刊更多论文

S.O.S. for safety

Verification of continuous systems remains one of the main obstacles in the safety verification of hybrid systems. In this paper, by exploiting the structure of linear dynamical systems, we convert the exact safety verification of linear systems with certain eigen-structure as an emptiness problem for a semi-algebraic set. Sum of squares (SOS) decomposition is then employed to check emptiness of the set defined by polynomial equalities and inequalities which can be effectively computed by semidefinite programming.

求助全文

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

来源期刊

2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601)

自引率

0.00%

发文量