533 documents avec fichiers associés – 1 références bibliographique  [english version]
.:. Listes > Par discipline > Automatique / Robotique .:.
25 documents classés par :
Première Page Page Précédente 1 - 2 - 3 Page Suivante Page Finale
fulltext access 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]
fulltext access 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]
fulltext access 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]
fulltext access 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]
fulltext access 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]
fulltext access 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]
fulltext access 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]
fulltext access 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]
fulltext access 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]
fulltext access 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]