Do people actually do systems design with control theory? I know the authoritative question to possibility - yes, my company does it. But I'm wondering about say, an industry standard formalism to it, such as like how DDIA is household

Somewhat, but for distributed systems I’ve found game theory to be more useful. Which does end up looking like high-order control theory in many cases.