Paulo Tabuada

• Networked embedded sensing and control
• Verification and Control of Hybrid Systems
• Hybrid Systems : Computation and Control