This paper describes MEXEC, an implemented modelcompilation based executive that translates a device model into an internal structure. Not only does this structure facilitate computing the most likely current device mode from n sets of sensor measurements, but it also facilitates generating an n step reconfiguration plan that is most likely to result in reaching a target mode – if such a plan exists.