2 papers
eess.SY2025
What Does It Take to Get Guarantees? Systematizing Assumptions in Cyber-Physical Systems
Chengyu Li, Saleh Faghfoorian, Ivan Ruchkin
Formal guarantees for cyber-physical systems (CPS) rely on diverse assumptions. If satisfied, these assumptions enable the transfer of abstract guarantees into real-world assurance…
cs.RO2025
Online Slip Detection and Friction Coefficient Estimation for Autonomous Racing
Christopher Oeltjen, Carson Sobolewski, Saleh Faghfoorian +4
Accurate knowledge of the tire-road friction coefficient (TRFC) is essential for vehicle safety, stability, and performance, especially in autonomous racing, where vehicles often o…