Parameter Optimization in Control Software using Statistical Fault Localization Techniques

Jyotirmoy V. Deshmukh, Xiaoqing Jin, Rupak Majumdar +1

Embedded controllers for cyber-physical systems are often parameterized by look-up maps representing discretizations of continuous functions on metric spaces. For example, a non-li…