Finite-Data Safety Informativity Under Dynamic Asymmetric Actuation
The research develops a certificate using finite measurements to guarantee safety under dynamic asymmetric control when system models are unknown. It determines if a command can enforce a safety inequality for all possible system models consistent with the limited data and actuator errors, providing a way to make safe decisions despite model uncertainty.