### The discrepancy between mathematical proofs, algorithms, and their implementations in control systems

Engineers work in quantifiable realism—an object exists and can be measured. Sometimes, though, the certainty of the object and how it will behave wavers. Researchers from the Automatic Control and System Dynamics Laboratory ...