ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Auteurs : soumettez
votre article en ligne

APPEL À
CONTRIBUTION

Le comité de rédaction du JESA lance un appel à proposition de numéros spéciaux.

En savoir plus >>
Autres revues >>

Journal Européen des Systèmes Automatisés

1269-6935
Revues des Systèmes
 

couverture du numéro

Modélisation des systèmes réactifs : MSR 2005
 LISTE DES ARTICLES POUR LE VOL 39/1-3 - 2005
Table des matières  [GRATUIT]
- pp.1-11
Avant-propos  [GRATUIT]
- pp.13-13
Langages et formalismes synchrones. Fondements
Charles ANDRÉ - pp.15-30
Résumé de l'article Transformations de spécifications incluant du contrôle en spécification flot de données pour implantation distribuée  [GRATUIT]
- pp.31-31
Transformations de spécifications incluant du contrôle en spécification flot de données pour implantation distribuée
Nicolas PERNET, Yves SOREL - pp.32-46
Qualité de service des pilotes d'équipements pour les systèmes d'acquisition de données
Belgacem BEN HÉDIA, Fabrice JUMEL, Jean-Philippe BABAU - pp.47-62
Abstractions de modèles en automates temporisés pour la validation temporelle d'architectures embarquées
Karen GODARY, Isabelle AUGÉ-BLUM - pp.63-78
Une approche modulaire pour le contrôle de systèmes à événements discrets concurrents
Benoît GAUDIN, Hervé MARCHAND - pp.79-94
Diagnostic décentralisé des systèmes à événements discrets
Stéphane LAFORTUNE, Yin WANG, Tae-Sic YOO - pp.95-110
Identification comportementale des systèmes logiques en vue de leur surveillance
Stéphane KLEIN, Jean-Jacques LESAGE, Lothar LITZ - pp.111-126
Synthèse optimale d'un contrôleur par construction de l'ensemble minimal de contraintes
Abbas DIDEBAN - pp.127-141
Exploitation des contraintes temporelles pour le suivi temps-réel des SEDs
Mohamed GHAZEL, Michel BIGAND, Armand TOGUYÉNI - pp.143-158
Approche multimodèle pour les systèmes à événements discrets. Application à un préhenseur pneumatique
Oulaid KAMACH, Laurent PIÉTRAC, Eric NIEL - pp.159-174
Nonlinear Perron-Frobenius theory and discrete event systems
Stéphane GAUBERT - pp.175-190
Un nouveau graphe de classes pour la préservation des contraintes temporelles quantitatives
Janette CARDOSO, Robert VALETTE, Xiaoyu MAO - pp.191-206
Réseau de Petri temporel étendu. Proposition d'un nouveau modèle basé sur les réseaux de Petri temporels
Yamen EL TOUATI, Nedji BEN HADJ ALOUANE, Moez YEDDES - pp.207-222
Problèmes d'accessibilité et espaces d'états abstraits des réseaux de Petri temporels à chronomètres
Bernard BERTHOMIEU, Didier LIME, Olivier Henri ROUX, François VERNADAT - pp.223-238
Vérification de systèmes hiérarchiques par raffinement
Mohammed AL ACHHAB, Ahmed HAMMAD, Hassan MOUNTASSIR - pp.239-254
Test de systèmes réactifs non réceptifs
Grégory LESTIENNES, Marie-Claude GAUDEL - pp.255-270
Validation de spécifications RT-LOTOS. Une interface vers l'outil TINA
Tarek SADANI, Pierre DE SAQUI-SANNES, Jean-Pierre COURTIAT - pp.271-286
Spécifications modales de réseaux de Petri
Guillaume FEUILLADE, Sophie PINCHINAT - pp.287-301
Lemme de Haar sur diverses structures idempotentes. Applications à la comparaison et au contrôle de systèmes à événements discrets
Mourad AHMANE, Laurent TRUFFET - pp.303-318
Méthode formelle de commande sous contraintes de temps dans les dioïdes
Saïd AMARI, Isabel DEMONGODIN, Jean-Jacques LOISEAU - pp.319-334
Commande en juste-à-temps sous contraintes de systèmes (max, +)-linéaires
Laurent HOUSSIN, Sébastien LAHAYE, Jean-Louis BOIMOND - pp.335-350
Diagnostic temporel dans les systèmes répartis à l'aide de dépliages de réseaux de Petri temporels
Claude JARD, Thomas CHATAIN, Pierre BOURHIS - pp.351-365
Introduction au contrôle des systèmes temps-réel
Karine ALTISEN, Patricia BOUYER, Thierry CACHAT, Franck CASSEZ, Guillaume GARDEY - pp.367-380
Observation partielle des systèmes temporisés
Patricia BOUYER, Fabrice CHEVALIER, Moez KRICHEN, Stavros TRIPAKIS - pp.381-393
Implémentabilité des automates temporisés
Karine ALTISEN, Pierre-Alain MARKEY, Nicolas REYNIER, Stavros TRIPAKIS - pp.395-406
Index des auteurs  [GRATUIT]
- pp.407-407
ACHETEZ CE NUMÉRO (version imprimée)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier