Chaozhe R. He
- 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 · 24 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
- Control Barrier Functions and Input-to-State Safety With Application to Automated Vehicles
2023/06/27 by Anil Alan, Anıl Alan, Andrew J. Taylor +3 · 16 citations
Computer Science · Engineering · #Autonomous Vehicle Technology and Safety #Real-Time Systems Scheduling #Real-time simulation and control systems
- Safe Controller Synthesis with Tunable Input-to-State Safe Control\n Barrier Functions
2021/03/14 by Anıl Alan, Alan, Anil, Andrew Taylor +7 · 8 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