He, Chaozhe R.
- 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, Alan, Anil, Andrew Taylor +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
- Energy-efficient Connected Cruise Control with Lean Penetration of Connected Vehicles
2022/05/06 by Shen, Minghao, He, Chaozhe R., Molnar, Tamas +2 · 2 citations
#FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering