Journal Européen des Systèmes Automatisés Vol.30 N° 4/1996

Application de la statistique et du krigeage à la surveillance de groupes hydroélectriques à hydro-Québec. On the use of statistics and kriging to the monitoring of hydro generating units at hydro-Quebec. Evitemeent réactif d'obstacles par un robot mobile : une approche par contraintes. Reactive obstacle avoidance for a mobile robot : a constraint-based approach. Une méthode formelle et un environnement pour la spécification et la validation du pilotage des systèmes de production. A formal method and environment for manufacturing systems commande part specification and validation. Modélisation et vérification des systèmes hybrides à l'aide du TTM/RTTL. Modeling and verifiction of hybrid systems using the TTM/RRTTL framework. Détection et traitement des interblocages en oreste. Deadlock detection and processing in oreste. Images 3D de biopsies de surfaces. 3D images on skin specimens. Evaluation numérique de la fiabilité des systèmes semi-markoviens. Numerical evaluation of reliability of semi-markov systems.