Realmente no se por que usarias un cristal de 32768Hz
Simplemente usa el cristal del micro, suponete a 20Mhz. Es decir cada instruccion se ejecuta cada 200ns.
Como tenes un rectificador semi-controlado, el control sobre los el angulo de disparo puede ir desde 0 hasta pi, pero que a apartir de pi/6 la tension de la carga presenta discontinuidad.
Supongamos que queremos saber cuando tenemos pi/6 tiempo...
Suponiendo la frecuencia 50Hz, es un periodo de 20ms, pi seria igual a 10ms, y pi/3 = 3.33333333ms
Si quisiera saber exactamente cuanto ciclos es eso, deberia dividir el tiempo necesario por la el tiempo que dura un ciclo. Los timer usan preescaler lo cual se puede lograr mayores tiempos, pero supongamos preescaler 1:1 quedando:
3.333333ms / (200ns * preescaler) = 16666.666666
Como no podemos poner decimales en los registros te quedas con 16666. Tenes 2 opciones, usar un timer o usar el timer+CCP
Si usas el timer te va a convenir usar el timer1 de 16bits, y deberias cargar 2¹⁶ - 16666 en el mismo cada ves que entras a la interrupcion
Sino usas el CCP y cargas 8333 en el mismo, asi el timer va desde 0 a 16666 y se reinicia solo.
Vas a tener que saber cuando es que le toca conducir, asi que seguro vas a tener que implementar unos comparadores o sabiendo el cruce por cero calcular el tiempo para el comienzo del disparo.
Espero que sea lo mas claro posible, no se que otras formulas estas buscando
Pero creo que podras encontrarlas si buscas en internet por : "Rectificador trifasico de onda completa semicrontrolado"
Y dependiendo del angulo que uses vas a necesitar una bobina + un diodo para que la corriente y la tension no sean discontinuas, aplicandose el caso como si fuera un BUCK. En el cual existe un diodo que al momento de no aplicarse tension/corriente por parte de la fuente, sea la bobina quien lo hace.
Suponiendo que lo vas a trabajar siemrpe con tension alpha <= pi/3 . la tension promedio va a estar dada por Vmax (1 + cos alpha )