Showing eess.SYShow all
2 papers · 1 filter
eess.SY2025
Sample Efficient Certification of Discrete-Time Control Barrier Functions
Sampath Kumar Mulagaleti, Andrea Del Prete
Control Invariant (CI) sets are instrumental in certifying the safety of dynamical systems. Control Barrier Functions (CBFs) are effective tools to compute such sets, since the zer…
eess.SY2024
Hybrid Lyapunov-based feedback stabilization of bipedal locomotion based on reference spreading
Riccardo Bertollo, Gianni Lunardi, Andrea Del Prete +1
We propose a hybrid formulation of the linear inverted pendulum model for bipedal locomotion, where the foot switches are triggered based on the center of mass position, removing t…