Rigorous industrial control