Abstract:
The research objective of this project is to bridge two disparate paths to the control of hybrid dynamical systems--namely, symbolic model-based and Lyapunov analysis-based approaches--via convex programming in order to address major challenges in hybrid control. Hybrid systems are characterized by the presence of both continuous dynamics and discrete logic that interact with each other.