{"title":"Randomized test case generation for hybrid systems: metric selection","authors":"J. Esposito","doi":"10.1109/SSST.2004.1295655","DOIUrl":null,"url":null,"abstract":"We are developing a randomized approach to test generation for hybrid systems, and control systems in general, using techniques from robotic path planning which have proved successful in solving high dimensional nonlinear problems. A critical component of the proposed algorithm is the choice of \"metric\" - how one decides the closeness of two states - which is nontrivial in the hybrid state space. In this paper we introduce four metrics for hybrid systems; and benchmark the algorithm using each of these metrics on a popular example problem from the literature and compare the impact of metric choice on computational efficiency.","PeriodicalId":309617,"journal":{"name":"Thirty-Sixth Southeastern Symposium on System Theory, 2004. Proceedings of the","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2004-09-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"16","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Thirty-Sixth Southeastern Symposium on System Theory, 2004. Proceedings of the","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/SSST.2004.1295655","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 16
Abstract
We are developing a randomized approach to test generation for hybrid systems, and control systems in general, using techniques from robotic path planning which have proved successful in solving high dimensional nonlinear problems. A critical component of the proposed algorithm is the choice of "metric" - how one decides the closeness of two states - which is nontrivial in the hybrid state space. In this paper we introduce four metrics for hybrid systems; and benchmark the algorithm using each of these metrics on a popular example problem from the literature and compare the impact of metric choice on computational efficiency.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
