Safety-Critical Control as a Design Paradigm for Anytime Solvers of Variational Inequalities.

Ahmed Allibhoy Jorge Cortés

Published in: CDC (2022)

Keyphrases

safety critical
variational inequalities
embedded systems
formal methods
objective function
control system
safety analysis
sufficient conditions
knowledge based systems
fixed point
sensitivity analysis
set valued