76 citations · 130 across the 11 of their papers we have counts for
Showing 2021 · eess.SYShow all
2 papers · 2 filters
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…