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 at the Technische Universität Chemnitz in Germany are starting to close the gap between reality and mathematical uncertainty.