Real-time control with safety guarantees: theory and applications