В общем то, просто проверял кое-какие мыслишки. В качестве силы использовал сетевой двухтактник на TL494, с максимальным, выходным напряжением 80В.
1. Частота работы МК определяется внутренним, RC генератором. Если всё правильно выставлено, то частота 8МГц.
2. 1/4000 (округлённо) - это разрешающая способность 12-битного ЦАП.Т.е., 1/4000 - это 80В/4000=0.02В
3. Скорее не математику, а алгоритм. Включили, выставили выходное напряжение. Если напряжение на выходе (Vout) меньше, чем установленное (Vset), то Vput уменьшается на единицу. Если Vout больше, чем Vset, Vput увеличивается на единицу. Vput - напряжение, подаваемое на 3-ю ногу TL494. Всё работает, но реакция долгая. Кстати, по такому алгоритму сейчас довожу до точного значения выходное напряжение, компенсируя тем самым нелинейность компараторов.
Понимаю, что сходимости можно достичь гораздо быстрее, но нужно хорошенько обдумать.