Towards safety-critical control of autonomous systems