Hi,
A PIC16F616 could be a good choice or even better a PIC16F1824 The later runs at 32MHz has ECCP and supports linear addressing and shadow registers for fast interrupt return.
Since you would be having a High Voltage DC Bus it is easy to keep it regulated / overcurrent protected and simply drive the output bridge using a micro though a sine table. The only complication could be isolation between the battery boost and the output stage if the same micro is used for housekeeping too.

P.S. - Personally I would have selected a PIC18F1330.