A Bilevel Programming Framework for Demand Response Incentive Design with Non-Intrusive Load Monitoring-Based Flexibility Estimation | Synapse