“…Since there might be multiple controllers that satisfy given stability and performance speciications (safety properties), a better approach is to determine the controller and platform coniguration parameters together. In other words, by cosynthesizing the controller and platform coniguration parameters-i.e., as a part of a common optimization framework-we can ensure that the two designs are compatible (or model-level semantics are preserved) and there is a larger set of parameters that may be explored [4].…”