A general mathematical framework for power system security and control