Recherche avancée
Affichage des résultats 731 à 740 sur 993 au total
-
Définition d'une pièce test pour la caractérisation d'une machine UGV
-
Designing dependable logic controllers using the supervisory control theory
-
FROM FAULT TREE ANALYSIS TO MODEL CHECKING OF LOGIC CONTROLLERS
-
Fault detection of Discrete Event Systems using an identification approach
-
Verification of a timed multitask system with UPPAAL
-
Méthode formelle de commande sous contraintes de temps dans les dioïdes
-
Identification comportementale des systèmes logiques en vue de leur surveillance
-
Optimisation en fraisage 5 axes grande vitesse
-
Réglage du routeur d'un sous réseau dédié au contrôle commande temps réel : Approche expérimentale avec apprentissage par réseau de neurones
-
Control of Linear Min-plus Systems under Temporal Constraints