Herbert, Sylvia L.
- Robust Control Barrier-Value Functions for Safety-Critical Control
2021/04/06 by Jason J. Choi, Choi, Jason J., Donggun Lee +7 · 25 citations
Computer Science · Engineering · #Advanced Control Systems Optimization #FOS: Electrical engineering #Formal Methods in Verification #Mechanical Circulatory Support Devices #Systems and Control (eess.SY) #electronic engineering #information engineering
- Decomposition of Reachable Sets and Tubes for a Class of Nonlinear Systems
2016/11/01 by Mo Chen, Chen, Mo, Sylvia Herbert +7 · 3 citations
Computer Science · Engineering · #Adaptive Control of Nonlinear Systems #Advanced Control Systems Optimization #FOS: Mathematics #Optimization and Control (math.OC) #Robotic Path Planning Algorithms
- Reachability-Based Safety Guarantees using Efficient Initializations
2019/03/18 by Herbert, Sylvia L., Ghosh, Shromona, Bansal, Somil +1 · 3 citations
#FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering
- Probabilistically Safe Robot Planning with Confidence-Based Human\n Predictions
2018/05/31 by Jaime F. Fisac, Fisac, Jaime F., Andrea Bajcsy +11 · 2 citations
Computer Science · Engineering · #Anomaly Detection Techniques and Applications #Autonomous Vehicle Technology and Safety #FOS: Computer and information sciences #Machine Learning (cs.LG) #Reinforcement Learning in Robotics #Robotics (cs.RO)
- Planning, Fast and Slow: A Framework for Adaptive Real-Time Safe Trajectory Planning
2017/10/12 by Fridovich-Keil, David, Herbert, Sylvia L., Fisac, Jaime F. +2 · 1 citation
#Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering
- Safe Autonomous Racing via Approximate Reachability on Ego-vision
2021/10/14 by Chen, Bingqing, Francis, Jonathan, Oh, Jean +2 · 1 citation
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Electrical engineering #Machine Learning (cs.LG) #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering