3 papers
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…
cs.RO2025
Parallel-Constraint Model Predictive Control: Exploiting Parallel Computation for Improving Safety
Elias Fontanari, Gianni Lunardi, Matteo Saveriano +1
Ensuring constraint satisfaction is a key requirement for safety-critical systems, which include most robotic platforms. For example, constraints can be used for modeling joint pos…
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…