Safetycritical Control With