Most of the hybrid automata papers target formal verification of the systems. I am looking for papers that are solving optimal response problems that propose optimal control in power systems under the cyber compromise.
I have no in-depth personal experience with the following tool, but your question did intrigue me and after some searching I did dig up the following link: