Visible to the public CPS: TTP Option: Synergy: Collaborative Research: Certifiable, Scalable, and Attack-resilient Submodular Control Framework for S