76 citations · 79 across the 10 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.LG2021
Robustness Certificates for Implicit Neural Networks: A Mixed Monotone Contractive Approach
Saber Jafarpour, Matthew Abate, Alexander Davydov +2
Implicit neural networks are a general class of learning models that replace the layers in traditional feedforward models with implicit algebraic equations. Compared to traditional…
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…