Should be feasible. On my boat a 14 year old Victron MultiPlus Combination Inverter Charger can take 24v DC from battery and produce 240v AC synced to the grid to supplement low current shore power.Ioniq's AC output would need to be synchronised to the grid if you wanted a seamless "supplement" system.