M. Pajic, N. Bezzo, James Weimer, R. Alur, R. Mangharam, Nathan Michael, George J. Pappas, O. Sokolsky, P. Tabuada, Stephanie Weirich, Insup Lee
{"title":"Towards synthesis of platform-aware attack-resilient control systems: extended abstract","authors":"M. Pajic, N. Bezzo, James Weimer, R. Alur, R. Mangharam, Nathan Michael, George J. Pappas, O. Sokolsky, P. Tabuada, Stephanie Weirich, Insup Lee","doi":"10.1145/2461446.2461457","DOIUrl":null,"url":null,"abstract":"Recommended Citation Miroslav Pajic, Nicola Bezzo, James Weimer, Rajeev Alur, Rahul Mangharam, Nathan Michael, George J. Pappas, Oleg Sokolsky, Paulo Tabuada, Stephanie Weirich, and Insup Lee, \"Towards Synthesis of Platform-Aware Attack-Resilient Control Systems: Extended Abstract\", Proceedings of the 2nd ACM International Conference on High Confidence Networked Systems (HiCoNS '13) , 75-76. April 2013. http://dx.doi.org/10.1145/2461446.2461457","PeriodicalId":203753,"journal":{"name":"International Conference on High Confidence Networked Systems","volume":"132 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2013-04-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"8","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"International Conference on High Confidence Networked Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/2461446.2461457","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 8
Abstract
Recommended Citation Miroslav Pajic, Nicola Bezzo, James Weimer, Rajeev Alur, Rahul Mangharam, Nathan Michael, George J. Pappas, Oleg Sokolsky, Paulo Tabuada, Stephanie Weirich, and Insup Lee, "Towards Synthesis of Platform-Aware Attack-Resilient Control Systems: Extended Abstract", Proceedings of the 2nd ACM International Conference on High Confidence Networked Systems (HiCoNS '13) , 75-76. April 2013. http://dx.doi.org/10.1145/2461446.2461457
Miroslav Pajic, Nicola Bezzo, James Weimer, Rajeev Alur, Rahul Mangharam, Nathan Michael, George J. Pappas, Oleg Sokolsky, Paulo Tabuada, Stephanie Weirich, Insup Lee,“面向平台感知攻击弹性控制系统的综合:扩展摘要”,第二届ACM高自信网络系统国际会议论文集(HiCoNS '13), 75-76。2013年4月。http://dx.doi.org/10.1145/2461446.2461457