Showing 2025Show 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…
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…