Alan, Anil
- 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
- 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
- Parameterized Barrier Functions to Guarantee Safety under Uncertainty
2023/03/20 by Alan, Anil, Molnar, Tamas G., Ames, Aaron D. +1 · 2 citations
#FOS: Electrical engineering #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
- Robust Adaptive Discrete-Time Control Barrier Certificate
2025/08/11 by Changrui Liu, Liu, Changrui, Anıl Alan +5 · 3 citations
Engineering · #Advanced Control Systems Optimization #FOS: Electrical engineering #FOS: Mathematics #Fault Detection and Control Systems #Optimization and Control (math.OC) #Stability and Control of Uncertain Systems #Systems and Control (eess.SY) #electronic engineering #information engineering