His main research interests include formal methods for the verification and control synthesis of cyber-physical systems, energy management control of mechatronic systems, and supervisory control of discrete-event systems. He