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

Miroslav Pajic, Nicola Bezzo, James Weimer, Rajeev Alur, Rahul Mangharam, Nathan Michael, George J. Pappas, Oleg Sokolsky, Paulo Tabuada, Stephanie Weirich, Insup Lee. Towards synthesis of platform-aware attack-resilient control systems: extended abstract. In Linda Bushnell, Larry Rohrbough, Saurabh Amin, Xenofon D. Koutsoukos, editors, 2nd ACM International Conference on High Confidence Networked Systems (part of CPS Week), HiCoNS 2013, Philadelphia, PA, USA, April 9-11, 2013. pages 75-76, ACM, 2013. [doi]

Authors

Miroslav Pajic

This author has not been identified. Look up 'Miroslav Pajic' in Google

Nicola Bezzo

This author has not been identified. Look up 'Nicola Bezzo' in Google

James Weimer

This author has not been identified. Look up 'James Weimer' in Google

Rajeev Alur

This author has not been identified. It may be one of the following persons: Look up 'Rajeev Alur' in Google

Rahul Mangharam

This author has not been identified. Look up 'Rahul Mangharam' in Google

Nathan Michael

This author has not been identified. Look up 'Nathan Michael' in Google

George J. Pappas

This author has not been identified. Look up 'George J. Pappas' in Google

Oleg Sokolsky

This author has not been identified. Look up 'Oleg Sokolsky' in Google

Paulo Tabuada

This author has not been identified. Look up 'Paulo Tabuada' in Google

Stephanie Weirich

This author has not been identified. It may be one of the following persons: Look up 'Stephanie Weirich' in Google

Insup Lee

This author has not been identified. Look up 'Insup Lee' in Google