76 citations · 136 across the 7 of their papers we have counts for
Showing eess.SYShow all
2 papers · 1 filter
eess.SY2021★ 76 cited
Run Time Assurance for Safety-Critical Systems: An Introduction to Safety Filtering Approaches for Complex Control Systems
Kerianne Hobbs, Mark Mote, Matthew Abate +2
Run Time Assurance (RTA) Systems are online verification mechanisms that filter an unverified primary controller output to ensure system safety. The primary control may come from a…
eess.SY2021★ 24 cited
Comparing Run Time Assurance Approaches for Safe Spacecraft Docking
Kyle Dunlap, Michael Hibbard, Mark Mote +1
Run Time Assurance (RTA) systems are online safety verification techniques that filter the output of a primary controller to assure safety. RTA approaches are used in safety-critic…