Ravanbakhsh, Hadi
- Path-Following through Control Funnel Functions
2018/04/14 by Ravanbakhsh, Hadi, Aghli, Sina, Heckman, Christoffer +1 · 3 citations
#FOS: Computer and information sciences #Robotics (cs.RO)
- Counter-Example Guided Synthesis of Control Lyapunov Functions for\n Switched Systems
2015/09/11 by Hadi Ravanbakhsh, Sriram Sankaranarayanan, Ravanbakhsh, Hadi +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
- VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems
2019/02/12 by Dreossi, Tommaso, Fremont, Daniel J., Ghosh, Shromona +4 · 1 citation
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences
- Counterexample Guided Synthesis of Switched Controllers for\n Reach-While-Stay Properties
2015/05/05 by Hadi Ravanbakhsh, Sriram Sankaranarayanan, Ravanbakhsh, Hadi +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