Sylvia Herbert
- Robust Control Barrier-Value Functions for Safety-Critical Control
2021/04/06 by Jason J. Choi, Choi, Jason J., Donggun Lee +7 · 24 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
- Refining Control Barrier Functions through Hamilton-Jacobi Reachability
2022/04/26 by Sander Tonkens, Sylvia Herbert, Tonkens, Sander +1 · 8 citations
Computer Science · Engineering · #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Methods in Verification #Robotics (cs.RO) #Safety Systems Engineering in Autonomy #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
- Probabilistically Safe Robot Planning with Confidence-Based Human\n Predictions
2018/05/31 by Jaime F. Fisac, Andrea Bajcsy, Fisac, Jaime F. +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)
- Sensor-Based Distributionally Robust Control for Safe Robot Navigation in Dynamic Environments
2024/05/28 by Kehan Long, Long, Kehan, Yinzhuang Yi +9 · 5 citations
Engineering · Computer Science · #Advanced Control Systems Optimization #Robotic Path Planning Algorithms #Distributed Control Multi-Agent Systems
- Parameterized Fast and Safe Tracking (FaSTrack) using Deepreach
2024/04/11 by Hyun Joe Jeong, Zheng Gong, Jeong, Hyun Joe +5 · 4 citations
Computer Science · Engineering · #Adaptive Control of Nonlinear Systems #Control and Dynamics of Mobile Robots #FOS: Computer and information sciences #FOS: Electrical engineering #Robotic Path Planning Algorithms #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
- Patching Approximately Safe Value Functions Leveraging Local Hamilton-Jacobi Reachability Analysis
2023/04/19 by Sander Tonkens, Alex Toofanian, Tonkens, Sander +7 · 2 citations
Computer Science · #Adversarial Robustness in Machine Learning #Domain Adaptation and Few-Shot Learning #FOS: Computer and information sciences #FOS: Electrical engineering #Reinforcement Learning in Robotics #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
- JIGGLE: An Active Sensing Framework for Boundary Parameters Estimation in Deformable Surgical Environments
2024/05/16 by Nikhil Shinde, Shinde, Nikhil Uday, Xiao Liang +11 · 3 citations
Medicine · #FOS: Computer and information sciences #Robotics (cs.RO) #Surgical Simulation and Training
- Sequential Neural Barriers for Scalable Dynamic Obstacle Avoidance
2023/07/06 by Hongzhan Yu, Yu, Hongzhan, C Hirayama +7 · 1 citation
Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #Autonomous Vehicle Technology and Safety #FOS: Computer and information sciences #Reinforcement Learning in Robotics #Robotics (cs.RO)
- Reachability Barrier Networks: Learning Hamilton-Jacobi Solutions for Smooth and Flexible Control Barrier Functions
2025/05/16 by Matthew Kim, Kim, Matthew, William Sharpless +9 · 2 citations
Computer Science · Engineering · Physics and Astronomy · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #Autonomous Vehicle Technology and Safety #FOS: Computer and information sciences #Model Reduction and Neural Networks #Robotics (cs.RO)
- Linear Supervision for Nonlinear, High-Dimensional Neural Control and Differential Games
2024/12/02 by William Sharpless, Sharpless, William, Zeyuan Feng +5 · 2 citations
Computer Science · Engineering · #Adaptive Control of Nonlinear Systems #FOS: Electrical engineering #FOS: Mathematics #Iterative Learning Control Systems #Neural Networks and Applications #Optimization and Control (math.OC) #Systems and Control (eess.SY) #electronic engineering #information engineering
- An Update to the Level Set Theorems in Hamilton-Jacobi Reachability Analysis
2026/07/19 by Dylan Hirsch, William McEneaney, Jaime Fisac +2
#eess.SY #cs.SY