Scan-31.pdf
Correction TD 1 de Model Checking ... Exercice 1 (Exemple de l'ascenceur.). ... Proposez une machine `a états modélisant le contrôle de l'ascenceur ...
MODELISATION DES MACHINES ELECTRIQUES
La force contre-électromotrice est notée E , le couple électromagnétique ?em avec. E = ?? et ?em =?I . ? est la vitesse angulaire du rotor, en rad/s.