Data-Driven Energy Modeling of Machining Centers Through Automata Learning | AMiner