Abstract: A method, system and computer-readable medium of directed towards improving battery storage is provided. In some embodiments, battery storage formulations are provided and an impact of the constraints on the computational performance of security constrained unit commitment (SCUC) is determined. For example, binary variables may be generally required due to mutual exclusiveness of charging and discharging modes. In some embodiments, valid inequalities may be used to improve state of charge (SOC) constraints. Adding batteries to the Regional Transmission Organizations (RTOs)/Independent System Operators (ISOs) day ahead market clearing cases may reveal an impact of binary variables and the valid inequalities on SCUC solving time. Warm start and lazy constraint techniques may be applied to improve the performance and make the valid inequalities more effective, reducing computation time to acceptable levels for implementation.