Recherche avancée
Affichage des résultats 191 à 200 sur 823 au total
-
Contribution à la modélisation réaliste et multi-échelles des systèmes bouclés temporisés
-
Influence of bus partitioning on the reliability of transmissions
-
Systematic extraction of Minimal Cut Sequences from a BDMP model
-
Identification of Industrial Automation Systems: Building Compact and Expressive Petri Net Models from Observable Behavior
-
Méthodologie de maîtrise des variations géométriques des produits en conception, fabrication et contrôle dans le contexte de l'usine numérique
-
Génération d'une machine de Mealy à partir de spécifications algébriques à des fins de test de conformité
-
Intégration des effets des dilatations thermiques dans le tolérancement
-
Algebraic synthesis of logical controllers with optimization criteria
-
Coupling timed plant and controller models with urgent transitions without introducing deadlocks
-
Fault Detection and Isolation in Manufacturing Systems with an Identi ed Discrete Event Model