Mais je me méfie un peu des formules qui considèrent la dérivée première.
Pourquoi ne pas prendre en compte la dérivée seconde aussi pendant qu'on y est ?
ça aurait un intérêt très limité et ça compliquerai énormément les calculs !
On est en systèmle embarqué là : on doit trouver des algos les plus efficace possible qui consomme le moins de ressources possible.
ça ne sert donc à rien de chercher une expression de la dérivée plus précise que ça. (D'autant plus qu'on utilise la formule du taux d'accroissement. C'est juste que le pas ne tend pas vers 0 :
http://fr.wikipedia.org/wiki/D%C3%A9riv%C3%A9e#D.C3.A9finition_formelle )
déjà tu as une règle très simple : le théorème de shannon qui dit que ta fréquence d'échantillonage doit être supérieur à deux foix la fréquence du signal que tu asservis.
Hum... tu es en asservissement, pas en signal. Shanon, on s'en fout un peu ici. Souvent, tes consignes, ce sont de simple créneaux. Donc pas de fréquence max.
Dans le cas des systèmes discrétisés on utilise la transformée en z pour faire les études. Après je pense que Black Templare peut en dire long sur ce sujet 
Oui, pour une étude mathématiques en discret, on utilise la transformée en Z (qui est juste la transformée de Laplace en discret...).
Mais tu peux très bien faire de l'asservissement sans connaitre tout ça.
Pour la fréquence d'échantillonnage, il faut en prendre un suffisamment importante afin de minimiser le pas (d'intégration ou de dérivation) et ainsi se rapprocher le plus possible d'un modèle analogique.
Mais il faut aussi le choisir suffisamment petit pour avoir assez d'informations (impulsion de la codeuse) pour avoir un asservissement stable (si tu as qu'un ou deux tics codeuses max à chaque fois que tu recalcules la commande, tu ne seras pas précis du tout !!)
++
Black Templar