Correction: Control Software: Research Directions in the Intersection of Control Theory and Software Engineering

Control theory and Software Engineering are well established research fields. Their intersection occurs in every computer-controlled system as control laws, sampling rates, derivatives, integrals, sensor readings, and control actuations are implemented in code and executed by the computer. The execution of controllers has received the bulk of attention from researchers in this intersection while their actual software implementation has received comparatively little. This intersection warrants increased attention from researchers for two main reasons: 1) control systems are distinct from much of the research in software engineering due to the focus on computing for the physical world (e.g., motor actuation, sensor readings, velocity calculations), need for deterministic timing, and safety-critical nature, and 2) correctness and performance guarantees are only meaningful if, in addition to the model, they also characterize …