{"title":"在存在传感器级故障的情况下验证控制软件实现的稳定性保证:正在进行的工作","authors":"S. Ghosh, D. Lohar, Dibyendu Das, Soumyajit Dey","doi":"10.1145/3125503.3125569","DOIUrl":null,"url":null,"abstract":"Software controllers are increasingly prevalent in embedded applications controlling safety-critical physical processes. The actual stability guarantee offered by such software implementations depend on errors induced in plant state information due to sensor level faults caused either by transient errors in sensing hardware or adversaries with the intention of destabilizing the system. The present work proposes a framework which estimates the stability loss of control software implementations as the probability of violating some control theoretic guarantee in the presence of sensory faults.","PeriodicalId":143573,"journal":{"name":"International Conference on Embedded Software","volume":"8 3","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2017-10-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Verifying stability guarantees of control software implementations in the presence of sensor level faults: work-in-progress\",\"authors\":\"S. Ghosh, D. Lohar, Dibyendu Das, Soumyajit Dey\",\"doi\":\"10.1145/3125503.3125569\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Software controllers are increasingly prevalent in embedded applications controlling safety-critical physical processes. The actual stability guarantee offered by such software implementations depend on errors induced in plant state information due to sensor level faults caused either by transient errors in sensing hardware or adversaries with the intention of destabilizing the system. The present work proposes a framework which estimates the stability loss of control software implementations as the probability of violating some control theoretic guarantee in the presence of sensory faults.\",\"PeriodicalId\":143573,\"journal\":{\"name\":\"International Conference on Embedded Software\",\"volume\":\"8 3\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2017-10-15\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"International Conference on Embedded Software\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/3125503.3125569\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"International Conference on Embedded Software","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/3125503.3125569","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Verifying stability guarantees of control software implementations in the presence of sensor level faults: work-in-progress
Software controllers are increasingly prevalent in embedded applications controlling safety-critical physical processes. The actual stability guarantee offered by such software implementations depend on errors induced in plant state information due to sensor level faults caused either by transient errors in sensing hardware or adversaries with the intention of destabilizing the system. The present work proposes a framework which estimates the stability loss of control software implementations as the probability of violating some control theoretic guarantee in the presence of sensory faults.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
