Без заголовка

Да, компьютерно все время пытаются моделировать "системы в общем смысле": для этого придумывают разные подходы, но эти подходы часто сводятся в конечном итоге к каким-нибудь системам дифуров (тут нужно прежде всего отметить древнюю "системную динамику" http://www.systemdynamics.org/ и современную Моделику http://modelica.org). В последнее время все чаще и чаще обращаются к проблеме моделирования разнопарадигмальных аспектов (например, состыковыванию моделей дискретной математики с дифурами, увязыванию с натрурным моделированием с подмешиванием к расчетам значений от датчиков и т.д.). Можно поглядеть, например, презентацию тут: http://ailev.livejournal.com/673824.html и http://ailev.livejournal.com/675208.html). Не менее интересны и попытки неимитационного (а, например, архитектурного) моделирования: для этой цели создано множество различных языков моделирования систем общего вида, из которых наиболее важен SysML (http://www.omgsysml.org/).