Skip to main content
Article
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)
  • Miroslav Pajic, University of Pennsylvania
  • Nicola Bezzo, University of Pennsylvania
  • James Weimer, University of Pennsylvania
  • Rajeev Alur, University of Pennsylvania
  • Rahul Mangharam, University of Pennsylvania
  • Nathan Michael, Carnegie Mellon University
  • George J Pappas, University of Pennsylvania
  • Oleg Sokolsky, University of Pennsylvania
  • Paulo Tabuada, University of California
  • Stephanie Weirich, University of Pennsylvania
  • Insup Lee, University of Pennsylvania
Date of this Version
4-9-2013
Document Type
Conference Paper
DOI
10.1145/2461446.2461457
Copyright/Permission Statement
© ACM 2013. This is the author's version of the work. It is posted here for your personal use. Not for redistribution. The definitive Version of Record was published in Proceedings of the 2nd ACM International Conference on High Confidence Networked Systems (HiCoNS '13), http://dx.doi.org/10.1145/2461446.2461457.
Keywords
  • Attack-resilient control systems,
  • cyber-physical system security
Citation Information
Miroslav Pajic, Nicola Bezzo, James Weimer, Rajeev Alur, et al.. "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) (2013) p. 75 - 76
Available at: http://works.bepress.com/stephanie_weirich/34/