14 citations · 14 across the 2 of their papers we have counts for
2 papers
eess.SY2023
Coverage Explorer: Coverage-guided Test Generation for Cyber Physical Systems
Sanaz Sheikhi, Stanley Bak
Given the safety-critical functions of autonomous cyber-physical systems (CPS) across diverse domains, testing these systems is essential. While conventional software and hardware…
cs.SE2021★ 14 cited
The Black-Box Simplex Architecture for Runtime Assurance of Autonomous CPS
Usama Mehmood, Sanaz Sheikhi, Stanley Bak +2
The Simplex Architecture is a runtime assurance framework where control authority may switch from an unverified and potentially unsafe advanced controller to a backup baseline cont…