Safetycritical Control With Con