Orosz, Gábor
- 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
- Safety-Critical Control with Input Delay in Dynamic Environment
2021/12/15 by Tamás G. Molnár, Adam K. Kiss, Molnar, Tamas G. +5 · 7 citations
Engineering · Computer Science · #Traffic control and management #Autonomous Vehicle Technology and Safety #Formal Methods in Verification
- Parameterized Barrier Functions to Guarantee Safety under Uncertainty
2023/03/20 by Anıl Alan, Tamás G. Molnár, Alan, Anil +5 · 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
- Safety-Aware Preference-Based Learning for Safety-Critical Control
2021/12/15 by Ryan K. Cosner, Maegan Tucker, Cosner, Ryan K. +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
- Steering Control of an Autonomous Unicycle
2023/07/17 by Vizi, Máté Benjámin, Orosz, Gábor, Takács, Dénes +1 · 1 citation
#Dynamical Systems (math.DS) #FOS: Electrical engineering #FOS: Mathematics #Systems and Control (eess.SY) #electronic engineering #information engineering