Model-Based Computing for Design and Control of Reconfigurable Systems