{"title":"不确定混合系统的可达性分析","authors":"U. Jönsson","doi":"10.1109/CDC.2002.1184194","DOIUrl":null,"url":null,"abstract":"Reachability analysis of a class of uncertain systems is considered in this paper. The nominal dynamics is piecewise affine and the disturbances and the uncertainty in the system are characterized by integral quadratic constraints defined in the time domain. Reachability tools for such systems are presented and it is discussed how they can be used in verification of hybrid systems. Particular attention is devoted to the application of the reachability tools for robustness analysis of oscillations in piecewise linear systems.","PeriodicalId":411031,"journal":{"name":"IEEE Conference on Decision and Control","volume":"35 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"9","resultStr":"{\"title\":\"On reachability analysis of uncertain hybrid systems\",\"authors\":\"U. Jönsson\",\"doi\":\"10.1109/CDC.2002.1184194\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Reachability analysis of a class of uncertain systems is considered in this paper. The nominal dynamics is piecewise affine and the disturbances and the uncertainty in the system are characterized by integral quadratic constraints defined in the time domain. Reachability tools for such systems are presented and it is discussed how they can be used in verification of hybrid systems. Particular attention is devoted to the application of the reachability tools for robustness analysis of oscillations in piecewise linear systems.\",\"PeriodicalId\":411031,\"journal\":{\"name\":\"IEEE Conference on Decision and Control\",\"volume\":\"35 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1900-01-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"9\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"IEEE Conference on Decision and Control\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/CDC.2002.1184194\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"IEEE Conference on Decision and Control","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CDC.2002.1184194","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
On reachability analysis of uncertain hybrid systems
Reachability analysis of a class of uncertain systems is considered in this paper. The nominal dynamics is piecewise affine and the disturbances and the uncertainty in the system are characterized by integral quadratic constraints defined in the time domain. Reachability tools for such systems are presented and it is discussed how they can be used in verification of hybrid systems. Particular attention is devoted to the application of the reachability tools for robustness analysis of oscillations in piecewise linear systems.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
