{"title":"Reachable Set Control for Cyber-Physical Systems with False Data Injection Attacks","authors":"Xiu-Yang Fan, Wen-Juan Lin","doi":"10.1109/ICPS58381.2023.10127989","DOIUrl":null,"url":null,"abstract":"This paper is concerned with reachable set control for cyber-physical systems (CPSs) with false data injection (FDI) attacks. The goal is to design a suitable controller so that the reachable set of the considered CPSs is bounded by a prescribed set. Based on Lyapunov functional theory and linear matrix inequalities (LMIs) approach, a sufficient condition is derived to ensure the existence of reachable sets of CPSs. Then, Based on the above condition, the parameters of reachable set controller can be obtained. Finally, the validity of the method is verified by an example of a single link robot arm.","PeriodicalId":426122,"journal":{"name":"2023 IEEE 6th International Conference on Industrial Cyber-Physical Systems (ICPS)","volume":"13 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2023-05-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2023 IEEE 6th International Conference on Industrial Cyber-Physical Systems (ICPS)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICPS58381.2023.10127989","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
Abstract
This paper is concerned with reachable set control for cyber-physical systems (CPSs) with false data injection (FDI) attacks. The goal is to design a suitable controller so that the reachable set of the considered CPSs is bounded by a prescribed set. Based on Lyapunov functional theory and linear matrix inequalities (LMIs) approach, a sufficient condition is derived to ensure the existence of reachable sets of CPSs. Then, Based on the above condition, the parameters of reachable set controller can be obtained. Finally, the validity of the method is verified by an example of a single link robot arm.