Title: Analysis and Control for Resilience of Discrete Event Systems