Dynamic Operating Envelope-Based Local Energy Market for Prosumers With Electric Vehicles | IEEE Journals & Magazine | IEEE Xplore