Call for Papers for Embedded Systems Week: CASES, CODES+ISSS, EMSOFT, MEMOCODE
Call for Papers
Modern cyber-physical systems (CPS) are increasingly neuro-symbolic. A typical CPS control pipeline consists of 1) neural networks (NNs), used to process raw high-dimensional data, such as camera images, and 2) downstream symbolic components, such as state estimation and control, that take the NNs' output in order to close the loop. However, there is a fundamental mismatch between the uncertainty on the NN outputs and the assumptions of the downstream components.