Towards synthesis of platform-aware attack-resilient control systems: extended abstract

• Authors:

• Miroslav Pajic;Nicola Bezzo;James Weimer;Rajeev Alur;Rahul Mangharam;Nathan Michael;George J. Pappas;Oleg Sokolsky;Paulo Tabuada;Stephanie Weirich;Insup Lee

• Affiliations:

• University of Pennsylvania, Philadelphia, PA, USA;University of Pennsylvania, Philadelphia, PA, USA;University of Pennsylvania, Philadelphia, PA, USA;University of Pennsylvania, Philadelphia, PA, USA;University of Pennsylvania, Philadelphia, PA, USA;Carnegie Mellon University, Pittsburgh, PA, USA;University of Pennsylvania, Philadelphia, PA, USA;University of Pennsylvania, Philadelphia, PA, USA;University of California, Los Angeles, Los Angeles, CA, USA;University of Pennsylvania, Philadelphia, PA, USA;University of Pennsylvania, Philadelphia, PA, USA

• Venue:
• Proceedings of the 2nd ACM international conference on High confidence networked systems
• Year:
• 2013