Aaron D. Ames
- Control Barrier Functions and Input-to-State Safety with Application to Automated Vehicles
2022/06/07 by Anıl Alan, Alan, Anil, Andrew J. Taylor +7 · 21 citations
Computer Science · Engineering · #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Methods in Verification #Real-time simulation and control systems #Robotics (cs.RO) #Safety Systems Engineering in Autonomy #Systems and Control (eess.SY) #electronic engineering #information engineering
- Backup Control Barrier Functions: Formulation and Comparative Study
2021/04/22 by Yuxiao Chen, Chen, Yuxiao, Mrdjan Janković +5 · 10 citations
Engineering · Medicine · #Advanced Control Systems Optimization #Cardiovascular Function and Risk Factors #Stability and Control of Uncertain Systems
- Safe Policy Synthesis in Multi-Agent POMDPs via Discrete-Time Barrier\n Functions
2019/03/19 by Mohamadreza Ahmadi, Ahmadi, Mohamadreza, Andrew Singletary +5 · 8 citations
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Robotics (cs.RO)
- LyaNet: A Lyapunov Framework for Training Neural ODEs
2022/02/05 by Ivan Dario Jimenez Rodriguez, Aaron D. Ames, Rodriguez, Ivan Dario Jimenez +3 · 10 citations
Computer Science · Engineering · Physics and Astronomy · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Fault Detection and Control Systems #Machine Learning (cs.LG) #Model Reduction and Neural Networks
- Control Barrier Functions and Input-to-State Safety With Application to Automated Vehicles
2023/06/27 by Anıl Alan, Anil Alan, Andrew J. Taylor +3 · 13 citations
Computer Science · Engineering · #Autonomous Vehicle Technology and Safety #Real-Time Systems Scheduling #Real-time simulation and control systems
- 3D Underactuated Bipedal Walking via H-LIP based Gait Synthesis and Stepping Stabilization
2021/01/23 by Xiaobin Xiong, Aaron D. Ames, Xiong, Xiaobin +1 · 9 citations
Engineering · Medicine · #FOS: Computer and information sciences #Neurogenetic and Muscular Disorders Research #Prosthetics and Rehabilitation Robotics #Robotic Locomotion and Control #Robotics (cs.RO)
- Measurement-Robust Control Barrier Functions: Certainty in Safety with Uncertainty in State
2021/04/28 by Ryan K. Cosner, Cosner, Ryan K., Andrew Singletary +9 · 9 citations
Computer Science · Engineering · #Advanced Control Systems Optimization #FOS: Electrical engineering #Fault Detection and Control Systems #Formal Methods in Verification #Systems and Control (eess.SY) #electronic engineering #information engineering
- Onboard Safety Guarantees for Racing Drones: High-speed Geofencing with Control Barrier Functions
2022/01/12 by Andrew Singletary, Aiden Swann, Singletary, Andrew +5 · 9 citations
Computer Science · Engineering · #Aerospace and Aviation Technology #Autonomous Vehicle Technology and Safety #FOS: Computer and information sciences #FOS: Electrical engineering #Robotic Path Planning Algorithms #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
- Interactive multi-modal motion planning with Branch Model Predictive Control
2021/09/10 by Yuxiao Chen, Ugo Rosolia, Chen, Yuxiao +7 · 8 citations
Engineering · Computer Science · #Real-time simulation and control systems #Reinforcement Learning in Robotics #Vehicle Dynamics and Control Systems
- Safe Backstepping with Control Barrier Functions
2022/04/01 by Andrew J. Taylor, Pio Ong, Taylor, Andrew J. +5 · 10 citations
Computer Science · Engineering · #Formal Methods in Verification #Embedded Systems Design Techniques #Real-time simulation and control systems
- Collision Avoidance and Geofencing for Fixed-wing Aircraft with Control Barrier Functions
2024/03/04 by Tamás G. Molnár, Molnar, Tamas G., Suresh K. Kannan +9 · 13 citations
Engineering · #Vehicle Dynamics and Control Systems #Aerospace and Aviation Technology #Traffic control and management
- Safety-Critical Control with Bounded Inputs via Reduced Order Models
2023/03/06 by Tamás G. Molnár, Molnar, Tamas G., Aaron D. Ames +1 · 9 citations
Engineering · #Dynamical Systems (math.DS) #FOS: Computer and information sciences #FOS: Electrical engineering #FOS: Mathematics #Real-time simulation and control systems #Robotic Locomotion and Control #Robotics (cs.RO) #Systems and Control (eess.SY) #Vehicle Dynamics and Control Systems #electronic engineering #information engineering
- Correctness Guarantees for the Composition of Lane Keeping and Adaptive Cruise Control
2016/09/22 by Xiangru Xu, Xu, Xiangru, Jessy W. Grizzle +5 · 4 citations
Engineering · Decision Sciences · #Traffic control and management #Real-time simulation and control systems #Simulation Techniques and Applications
- Safety-Critical Control with Input Delay in Dynamic Environment
2021/12/15 by Tamás G. Molnár, Molnar, Tamas G., Adam K. Kiss +5 · 7 citations
Engineering · Computer Science · #Traffic control and management #Autonomous Vehicle Technology and Safety #Formal Methods in Verification
- Safe Controller Synthesis with Tunable Input-to-State Safe Control\n Barrier Functions
2021/03/14 by Anıl Alan, Andrew Taylor, Alan, Anil +7 · 6 citations
Computer Science · Engineering · #FOS: Electrical engineering #Fault Detection and Control Systems #Formal Methods in Verification #Safety Systems Engineering in Autonomy #Systems and Control (eess.SY) #electronic engineering #information engineering
- Unified Multi-Rate Control: from Low Level Actuation to High Level Planning
2020/12/11 by Ugo Rosolia, Andrew Singletary, Rosolia, Ugo +3 · 4 citations
Computer Science · Engineering · #Advanced Control Systems Optimization #FOS: Electrical engineering #Formal Methods in Verification #Real-Time Systems Scheduling #Systems and Control (eess.SY) #electronic engineering #information engineering
- Integral Control Barrier Functions for Dynamically Defined Control Laws
2020/06/30 by Aaron D. Ames, Ames, Aaron D., Gennaro Notomista +5 · 4 citations
Engineering · #Adaptive Control of Nonlinear Systems #Advanced Control Systems Optimization #Control Systems and Identification #Dynamical Systems (math.DS) #FOS: Mathematics #Optimization and Control (math.OC)
- Multi-objective Compositions for Collision-Free Connectivity Maintenance in Teams of Mobile Robots
2016/08/24 by Li Wang, Wang, Li, Aaron D. Ames +3 · 4 citations
Computer Science · Engineering · #Distributed Control Multi-Agent Systems #FOS: Computer and information sciences #FOS: Mathematics #Formal Methods in Verification #Modular Robots and Swarm Intelligence #Optimization and Control (math.OC) #Robotics (cs.RO)
- Safety of Sampled-Data Systems with Control Barrier Functions via Approximate Discrete Time Models
2022/03/22 by Andrew J. Taylor, Victor D. Dorobantu, Taylor, Andrew J. +7 · 4 citations
Engineering · Decision Sciences · Computer Science · #Advanced Control Systems Optimization #Simulation Techniques and Applications #Formal Methods in Verification
- Safety-Critical Control of Nonholonomic Vehicles in Dynamic Environments using Velocity Obstacles
2023/10/01 by Aurora Haraldsen, Martin S. Wiig, Haraldsen, Aurora +5 · 5 citations
Engineering · Computer Science · #Vehicle Dynamics and Control Systems #Robotic Path Planning Algorithms #Autonomous Vehicle Technology and Safety
- Risk-Aware Robotics: Tail Risk Measures in Planning, Control, and Verification
2024/03/27 by Prithvi Akella, Anushri Dixit, Akella, Prithvi +13 · 6 citations
Medicine · #FOS: Computer and information sciences #FOS: Electrical engineering #Healthcare Technology and Patient Monitoring #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
- Distributed Data-Driven Predictive Control for Multi-Agent Collaborative Legged Locomotion
2022/11/13 by Randall T. Fawcett, Fawcett, Randall T, Leila Amanzadeh +7 · 4 citations
Engineering · #Robotic Locomotion and Control #Real-time simulation and control systems #Vehicle Dynamics and Control Systems
- Humanoid Robot Co-Design: Coupling Hardware Design with Gait Generation via Hybrid Zero Dynamics
2023/08/21 by Adrian B. Ghansah, Jeeseop Kim, Ghansah, Adrian B. +5 · 5 citations
Engineering · #FOS: Computer and information sciences #FOS: Mathematics #Modular Robots and Swarm Intelligence #Optimization and Control (math.OC) #Prosthetics and Rehabilitation Robotics #Robotic Locomotion and Control #Robotics (cs.RO)
- FRoGGeR: Fast Robust Grasp Generation via the Min-Weight Metric
2023/02/27 by Albert H. Li, Li, Albert H., Preston Culbertson +5 · 3 citations
Computer Science · Engineering · #FOS: Computer and information sciences #FOS: Mathematics #Hand Gesture Recognition Systems #Optimization and Control (math.OC) #Reinforcement Learning in Robotics #Robot Manipulation and Learning #Robotics (cs.RO)
- Get a Grip: Multi-Finger Grasp Evaluation at Scale Enables Robust Sim-to-Real Transfer
2024/10/31 by Tyler Ga Wei Lum, Lum, Tyler Ga Wei, Albert H. Li +11 · 6 citations
Computer Science · Engineering · #FOS: Computer and information sciences #Reinforcement Learning in Robotics #Robot Manipulation and Learning #Robotics (cs.RO) #Software Testing and Debugging Techniques
- Zero-Order Control Barrier Functions for Sampled-Data Systems with State and Input Dependent Safety Constraints
2024/11/26 by Xiao Tan, Ersin Daş, Tan, Xiao +5 · 6 citations
Engineering · #Advanced Control Systems Optimization #FOS: Computer and information sciences #FOS: Electrical engineering #Fault Detection and Control Systems #Robotics (cs.RO) #Stability and Control of Uncertain Systems #Systems and Control (eess.SY) #electronic engineering #information engineering
- Human Preference-Based Learning for High-dimensional Optimization of\n Exoskeleton Walking Gaits
2020/03/13 by Maegan Tucker, Myra Cheng, Tucker, Maegan +11 · 2 citations
Engineering · Health Professions · Medicine · #Balance, Gait, and Falls Prevention #FOS: Computer and information sciences #Human-Computer Interaction (cs.HC) #Machine Learning (cs.LG) #Prosthetics and Rehabilitation Robotics #Robotics (cs.RO) #Stroke Rehabilitation and Recovery
- Decentralized Task and Path Planning for Multi-Robot Systems
2020/11/19 by Yuxiao Chen, Ugo Rosolia, Chen, Yuxiao +3 · 2 citations
Computer Science · #Distributed systems and fault tolerance #FOS: Computer and information sciences #Formal Methods in Verification #Multiagent Systems (cs.MA) #Reinforcement Learning in Robotics #Robotics (cs.RO)
- Towards a Theory of Control Architecture: A quantitative framework for layered multi-rate control
2024/01/26 by Nikolai Matni, Aaron D. Ames, Matni, Nikolai +3 · 4 citations
Engineering · #Advanced Control Systems Optimization #FOS: Computer and information sciences #FOS: Electrical engineering #FOS: Mathematics #Optimization and Control (math.OC) #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
- Safe Drone Flight with Time-Varying Backup Controllers
2022/07/11 by Andrew Singletary, Aiden Swann, Singletary, Andrew +5 · 2 citations
Computer Science · #Formal Methods in Verification #Reinforcement Learning in Robotics #Robotic Path Planning Algorithms
- Self-Supervised Online Learning for Safety-Critical Control using Stereo Vision
2022/03/02 by Ryan K. Cosner, Cosner, Ryan K., Ivan Dario Jimenez Rodriguez +11 · 2 citations
Computer Science · Engineering · #Advanced Vision and Imaging #FOS: Computer and information sciences #Image Processing Techniques and Applications #Robotics (cs.RO) #Robotics and Sensor-Based Localization
- Safety-Critical Manipulation for Collision-Free Food Preparation
2022/05/02 by Andrew Singletary, William J. Guffey, Singletary, Andrew +7 · 2 citations
Computer Science · Engineering · #Advanced Control Systems Optimization #FOS: Computer and information sciences #FOS: Electrical engineering #Robot Manipulation and Learning #Robotic Path Planning Algorithms #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
- Control Barrier Functionals: Safety-critical Control for Time Delay Systems
2022/06/16 by Adam K. Kiss, Tamás G. Molnár, Kiss, Adam K. +5 · 2 citations
Engineering · #Advanced Control Systems Optimization #Dynamical Systems (math.DS) #FOS: Computer and information sciences #FOS: Electrical engineering #FOS: Mathematics #Fault Detection and Control Systems #Robotics (cs.RO) #Stability and Control of Uncertain Systems #Systems and Control (eess.SY) #electronic engineering #information engineering
- Multi-Rate Control Design Leveraging Control Barrier Functions and Model\n Predictive Control Policies
2020/04/03 by Ugo Rosolia, Aaron D. Ames, Rosolia, Ugo +1 · 2 citations
Computer Science · Engineering · #Advanced Control Systems Optimization #FOS: Electrical engineering #Fault Detection and Control Systems #Formal Methods in Verification #Systems and Control (eess.SY) #electronic engineering #information engineering
- Multi-Rate Planning and Control of Uncertain Nonlinear Systems: Model Predictive Control and Control Lyapunov Functions
2022/04/01 by Noel Csomay-Shanklin, Csomay-Shanklin, Noel, Andrew Taylor +5 · 2 citations
Biochemistry, Genetics and Molecular Biology · Engineering · #Advanced Control Systems Optimization #FOS: Electrical engineering #Gene Regulatory Network Analysis #Microbial Metabolic Engineering and Bioproduction #Systems and Control (eess.SY) #electronic engineering #information engineering
- Safety-Critical Coordination for Cooperative Legged Locomotion via Control Barrier Functions
2023/03/23 by Jeeseop Kim, Jaemin Lee, Kim, Jeeseop +3 · 2 citations
Engineering · #FOS: Computer and information sciences #FOS: Mathematics #Modular Robots and Swarm Intelligence #Optimization and Control (math.OC) #Prosthetics and Rehabilitation Robotics #Robotic Locomotion and Control #Robotics (cs.RO)
- Toward An Analytic Theory of Intrinsic Robustness for Dexterous Grasping
2024/03/12 by Albert H. Li, Li, Albert H., Preston Culbertson +3 · 2 citations
Engineering · Neuroscience · #Cognitive Science and Education Research #FOS: Computer and information sciences #Robot Manipulation and Learning #Robotic Mechanisms and Dynamics #Robotics (cs.RO)
- Learning for Layered Safety-Critical Control with Predictive Control Barrier Functions
2024/12/05 by William Compton, M. Cohen, Compton, William D. +3 · 4 citations
Engineering · #Advanced Control Systems Optimization #Fault Detection and Control Systems #Control Systems and Identification
- Generative Modeling of Residuals for Real-Time Risk-Sensitive Safety with Discrete-Time Control Barrier Functions
2023/11/10 by Ryan K. Cosner, Igor Sadalski, Cosner, Ryan K. +7 · 2 citations
Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Anomaly Detection Techniques and Applications #FOS: Electrical engineering #Fault Detection and Control Systems #Systems and Control (eess.SY) #electronic engineering #information engineering
- Compositional Set Invariance in Network Systems with Assume-Guarantee Contracts
2018/10/24 by Yuxiao Chen, James Anderson, Chen, Yuxiao +7 · 1 citation
Biochemistry, Genetics and Molecular Biology · Engineering · Computer Science · #Gene Regulatory Network Analysis #Smart Grid Security and Resilience #Formal Methods in Verification
- Hierarchical and Safe Motion Control for Cooperative Locomotion of\n Robotic Guide Dogs and Humans: A Hybrid Systems Approach
2019/04/05 by Kaveh Akbari Hamed, Hamed, Kaveh Akbari, Vinay R. Kamidi +7 · 1 citation
Veterinary · Biochemistry, Genetics and Molecular Biology · Engineering · #Veterinary Orthopedics and Neurology #Human-Animal Interaction Studies #Robotic Locomotion and Control
- Constrained Risk-Averse Markov Decision Processes
2020/12/04 by Mohamadreza Ahmadi, Ahmadi, Mohamadreza, Ugo Rosolia +7 · 2 citations
Computer Science · Decision Sciences · #Bayesian Modeling and Causal Inference #Risk and Portfolio Optimization
- Torque Saturation in Bipedal Robotic Walking through Control Lyapunov Function Based Quadratic Programs
2013/02/28 by Kevin S. Galloway, Galloway, Kevin, Koushil Sreenath +5 · 1 citation
Engineering · Medicine · #FOS: Computer and information sciences #FOS: Electrical engineering #FOS: Mathematics #Neurogenetic and Muscular Disorders Research #Optimization and Control (math.OC) #Prosthetics and Rehabilitation Robotics #Robotic Locomotion and Control #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
- Orbit Characterization, Stabilization and Composition on 3D Underactuated Bipedal Walking via Hybrid Passive Linear Inverted Pendulum Model
2019/10/01 by Xiaobin Xiong, Aaron D. Ames, Xiong, Xiaobin +1 · 1 citation
Engineering · Medicine · #FOS: Computer and information sciences #FOS: Electrical engineering #Neurogenetic and Muscular Disorders Research #Prosthetics and Rehabilitation Robotics #Robotic Locomotion and Control #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
- Safety-Critical Controller Synthesis with Reduced-Order Models
2024/11/25 by M. Cohen, Noel Csomay-Shanklin, Cohen, Max H. +7 · 4 citations
Computer Science · Engineering · #Advanced Control Systems Optimization #FOS: Computer and information sciences #FOS: Electrical engineering #Fault Detection and Control Systems #Formal Methods in Verification #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
- Safety-Critical Control Synthesis for network systems with Control Barrier Functions and Assume-Guarantee Contracts
2019/11/07 by Yuxiao Chen, Chen, Yuxiao, James Anderson +7 · 1 citation
Biochemistry, Genetics and Molecular Biology · Engineering · #Advanced Control Systems Optimization #FOS: Electrical engineering #FOS: Mathematics #Gene Regulatory Network Analysis #Optimization and Control (math.OC) #Smart Grid Security and Resilience #Systems and Control (eess.SY) #electronic engineering #information engineering
- Sample-Based Bounds for Coherent Risk Measures: Applications to Policy Synthesis and Verification
2022/04/21 by Prithvi Akella, Anushri Dixit, Akella, Prithvi +7 · 1 citation
Computer Science · Economics, Econometrics and Finance · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #FOS: Electrical engineering #Health Systems, Economic Evaluations, Quality of Life #Systems and Control (eess.SY) #electronic engineering #information engineering
- Stability and Safety through Event-Triggered Intermittent Control with Application to Spacecraft Orbit Stabilization
2022/04/06 by Pio Ong, Ong, Pio, Gilbert Bahati +3 · 1 citation
Engineering · #Stability and Control of Uncertain Systems #Control and Stability of Dynamical Systems
- Safe Control for Nonlinear Systems with Stochastic Uncertainty via Risk Control Barrier Functions
2022/03/29 by Andrew Singletary, Mohamadreza Ahmadi, Singletary, Andrew +3 · 1 citation
Computer Science · Engineering · #Advanced Control Systems Optimization #Computational Drug Discovery Methods #FOS: Electrical engineering #Fault Detection and Control Systems #Systems and Control (eess.SY) #electronic engineering #information engineering
- POLAR: Preference Optimization and Learning Algorithms for Robotics
2022/08/08 by Maegan Tucker, Tucker, Maegan, Kejun Li +5 · 1 citation
Computer Science · Engineering · Psychology · #Autonomous Vehicle Technology and Safety #FOS: Computer and information sciences #Human-Automation Interaction and Safety #Reinforcement Learning in Robotics #Robotics (cs.RO)
- Emulating Human Kinematic Behavior on Lower-Limb Prostheses via Multi-Contact Models and Force-Based Nonlinear Control
2022/09/27 by Rachel Gehlhar, Aaron D. Ames, Gehlhar, Rachel +1 · 1 citation
Engineering · Medicine · #Prosthetics and Rehabilitation Robotics #Muscle activation and electromyography studies #Stroke Rehabilitation and Recovery
- On the Safety of Connected Cruise Control: Analysis and Synthesis with Control Barrier Functions
2023/08/31 by Tamás G. Molnár, Molnar, Tamas G., Gábor Orosz +3 · 1 citation
Engineering · #Traffic control and management #Vehicle Dynamics and Control Systems #Autonomous Vehicle Technology and Safety
- Layered Control for Cooperative Locomotion of Two Quadrupedal Robots: Centralized and Distributed Approaches
2022/11/13 by Jeeseop Kim, Randall T. Fawcett, Kim, Jeeseop +7 · 1 citation
Engineering · Computer Science · #Robotic Locomotion and Control #Distributed Control Multi-Agent Systems #Advanced Control Systems Optimization
- End-to-End Imitation Learning with Safety Guarantees using Control Barrier Functions
2022/12/21 by Ryan K. Cosner, Yisong Yue, Cosner, Ryan K. +3 · 1 citation
Computer Science · Engineering · Medicine · #Adversarial Robustness in Machine Learning #Cardiac electrophysiology and arrhythmias #FOS: Electrical engineering #Fault Detection and Control Systems #Systems and Control (eess.SY) #electronic engineering #information engineering
- Safety-Aware Preference-Based Learning for Safety-Critical Control
2021/12/15 by Ryan K. Cosner, Cosner, Ryan K., Maegan Tucker +17 · 1 citation
Computer Science · Engineering · #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Methods in Verification #Robot Manipulation and Learning #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
- A Data-driven Method for Safety-critical Control: Designing Control Barrier Functions from State Constraints
2023/12/12 by Jaemin Lee, Lee, Jaemin, Jeeseop Kim +3 · 1 citation
Engineering · Computer Science · #Fault Detection and Control Systems #Advanced Control Systems Optimization #Computational Drug Discovery Methods
- Safety-Critical Coordination of Legged Robots via Layered Controllers and Forward Reachable Set based Control Barrier Functions
2023/12/14 by Jeeseop Kim, Kim, Jeeseop, Jaemin Lee +3 · 1 citation
Engineering · #FOS: Computer and information sciences #Prosthetics and Rehabilitation Robotics #Real-time simulation and control systems #Robotic Locomotion and Control #Robotics (cs.RO)
- Robust Bipedal Locomotion: Leveraging Saltation Matrices for Gait Optimization
2022/09/21 by Maegan Tucker, Noel Csomay-Shanklin, Tucker, Maegan +3 · 1 citation
Engineering · #Robotic Locomotion and Control #Prosthetics and Rehabilitation Robotics #Robotic Mechanisms and Dynamics
- Multi-Domain Walking with Reduced-Order Models of Locomotion
2023/10/04 by Min Dai, Jaemin Lee, Dai, Min +3 · 2 citations
Engineering · #FOS: Computer and information sciences #Muscle activation and electromyography studies #Real-time simulation and control systems #Robotic Locomotion and Control #Robotics (cs.RO)
- Bilevel Optimization for Real-Time Control with Application to Locomotion Gait Generation
2024/09/18 by Zachary Olkin, Olkin, Zachary, Aaron D. Ames +1 · 1 citation
Engineering · #Robotic Locomotion and Control #Prosthetics and Rehabilitation Robotics #Robotic Mechanisms and Dynamics
- Control Barrier Function Synthesis for Nonlinear Systems with Dual Relative Degree
2025/04/01 by Gilbert Bahati, Ryan K. Cosner, Bahati, Gilbert +7 · 3 citations
Computer Science · Engineering · #Adaptive Control of Nonlinear Systems #Advanced Control Systems Optimization #FOS: Electrical engineering #Formal Methods in Verification #Systems and Control (eess.SY) #electronic engineering #information engineering
- Safe Stabilizing Linear Feedback: Necessary and Sufficient Conditions, Optimality, and Margins
2026/07/23 by Pol Mestres, Shima Sadat Mousavi, Pio Ong +1
#math.OC
- Robust Adaptive Backup Control Barrier Functions
2026/07/23 by Ersin Daş, David E. J. van Wijk, Tamas G. Molnar +2
#eess.SY #cs.SY
- PAC-MAN: Perception-Aware CBF-RL for Whole-Body Safety in Humanoid Dodgeball
2026/07/30 by Lizhi Yang, Junheng Li, Aaron D. Ames
Computer Science · #cs.AI #cs.RO