Mixed-Integer Nonlinear Programming for State-Based Non-Intrusive Load Monitoring | IEEE Journals & Magazine | IEEE Xplore