The analysis part of engineering is, thanks to modern computers, practically "done". However, we are still not able to do synthesis well. We also have exact mathematical models for that, but it usually amounts to NP-hard problems (think integer optimization).