.:. Listes > Par discipline > Automatique / Robotique .:.

25 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

1 - 2 - 3

Vérification de propriétés quantitatives des systèmes logiques par model-checking hybride Juarez Orozco Z. École normale supérieure de Cachan - ENS Cachan (20/06/2008), Jean-Jacques Lesage (Dir.) [tel-00341969 - version 1]

Dimensionnement d'une machine à double excitation de structure innovante pour une application alternateur automobile : comparaison à des structures classiques Takorabet A. École normale supérieure de Cachan - ENS Cachan (08/01/2008), Mohamed Gabsi (Dir.) [tel-00505148 - version 1]

Représentations formelles efficaces pour l'aide à la certification de contrôleurs logiques industriels Gourcuff V. École normale supérieure de Cachan - ENS Cachan (17/12/2007), Jean-Marc Faure (Dir.) [tel-00202652 - version 1]

Analyse d'architectures, modélisation et commmande de générateurs pour réseaux autonomes Patin N. École normale supérieure de Cachan - ENS Cachan (05/12/2007), Eric Monmasson (Dir.) [tel-00204509 - version 1]

Décomposition topologiques des outillages de forge pour la Génération de trajectoires UGV Tapie L. Pierre École normale supérieure de Cachan - ENS Cachan (22/11/2007), Bernard Anselmetti (Dir.) [tel-00254941 - version 1]

Conception et analyse d'un microsystème pour l'injection transdermique Hoël A. École normale supérieure de Cachan - ENS Cachan (16/10/2007), Damien Grenier (Dir.) [tel-00463096 - version 1]

Elaboration de propriétés formelles de contrôleurs logiques à partir d'analyse prévisionnelle par Arbre des Défaillances Barragan Santiago I. École normale supérieure de Cachan - ENS Cachan (06/07/2007), Jean-Marc Faure (Dir.) [tel-00348404 - version 1]

Evaluation des performances temporelles d'architectures d'automatisation distribuées sur Ethernet par simulation d'un modèle eb réseau de Petri de haut niveau. Marsal G. et al École normale supérieure de Cachan - ENS Cachan (11/12/2006), Jean-Marc Faure (Dir.) [tel-00162228 - version 1]

Contribution à la modélisation, l'identification et à la commande d'une interface haptique à un degré de liberté entrainée par une machine synchrone à aimants permanents Khatounian F. École normale supérieure de Cachan - ENS Cachan (04/12/2006), Eric Monmasson (Dir.) [tel-00136089 - version 1]

Commande robuste multicritère - une approche par la théorie des jeux Jungers M. École normale supérieure de Cachan - ENS Cachan (13/09/2006), Hisham Abou-Kandil (Dir.) [tel-00162120 - version 1]