Hadi Ravanbakhsh

1. Counter-Example Guided Synthesis of Control Lyapunov Functions for\n Switched Systems
   2015/09/11 by Hadi Ravanbakhsh, Ravanbakhsh, Hadi, Sriram Sankaranarayanan +1 · 2 citations
   Computer Science · #Embedded Systems Design Techniques #FOS: Electrical engineering #Formal Methods in Verification #Parallel Computing and Optimization Techniques #Systems and Control (eess.SY) #electronic engineering #information engineering
2. Counterexample Guided Synthesis of Switched Controllers for\n Reach-While-Stay Properties
   2015/05/05 by Hadi Ravanbakhsh, Ravanbakhsh, Hadi, Sriram Sankaranarayanan +1 · 2 citations
   Computer Science · Engineering · #Advanced Control Systems Optimization #Embedded Systems Design Techniques #FOS: Electrical engineering #Formal Methods in Verification #Petri Nets in System Modeling #Systems and Control (eess.SY) #electronic engineering #information engineering