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

Actes de MSR 2013
13-15 novembre 2013
Rennes, France

Sous la direction de Hervé Marchand, Loïc Hélouët

 LISTE DES ARTICLES POUR LE VOL 47/1-3 - 2013
SOMMAIRE  [GRATUIT]
- pp.7-8
AVANT-PROPOS  [GRATUIT]
- pp.9-10
CONFÉRENCES INVITÉES  [GRATUIT]
- pp.11-12
Session 1. Modélisation
- pp.12-44
Environnement de coopération de simulation pour la conception de systèmes cyber-physiques
Gilles LASNIER, Janette CARDOSO, Claire PAGETTI, Pierre SIRON - pp.13-27
Modélisation algébrique du dîner des philosophes
Anne DICKY, David JANIN - pp.29-43
Session 2. Vérification (1)
- pp.44-76
Élimination de quantificateurs : extrapolation efficace par analyse structurelle et cœurs insatisfiables
Rémi DELMAS, Adrien CHAMPION - pp.45-59
Vérifier le comportement du code d’un système embarqué à partir de son modèle
Anthony FERNANDES PIRES, Thomas POLACSEK, Virginie WIELS, Stéphane DUPRAT - pp.61-75
Session 3. Vérification (2)
- pp.76-108
Approches incrémentales pour les réseaux de Petri temporisés fondées sur la programmation par contraintes
Yongliang HUANG, Thomas BOURDEAUD'HUY, Armand TOGUYÉNI, Pierre-Alain YVARS - pp.77-92
Conception sûre de systèmes de contrôle-commande matériels à base de COTS
Salam HAJJAR, Emil DUMITRESCU, Eric NIEL - pp.93-107
Session 4. Amplification (Max,+)
- pp.108-154
Sur la stabilisation de systèmes min-max-plus incertains
Medhi LHOMMEAU, Laurent HARDOUIN, Rafael SANTOS-MENDES - pp.109-123
Contributions à la résolution de problèmes à une machine avec fonctions temporelles de type exponentiel
Frédéric GUÉGNARD, Frédéric BOUSSEAU, Marc BOURCERIE - pp.125-137
Séquentialisation du comportement de réseaux de Petri temporisés
Jan KOMENDA, Sébastien LAHAYE, Jean-Louis BOIMOND - pp.139-154
Session 5. Analyse de performances
- pp.154-194
Combinaison des méthodes de stabilité forte et d’estimation non paramétrique pour l’approximation de la file d’attente G/G/1
Aicha BARECHE, Djamil AÏSSANI - pp.155-164
Une approche combinant bornes stochastiques, traces et histogrammes pour l’analyse de performance des réseaux
Farah AÏT SALAHT, Hind CASTEL-TALEB, Nihal PEKERGIN - pp.165-179
Analyse des performances du système M/G/1 avec rappels et Bernoulli feedback
Mohamed BOUALEM, Mouloud CHERFAOUI, Natalia DJELLAB, Djamil AÏSSANI - pp.181-193
Session 6. Supervision et contrôle des systèmes
- pp.194-226
Synthèse en ligne de superviseur compositionnel pour flotte de robots mobiles
Johan GIRAULT, Jean-Jacques LOISEAU, Olivier H. ROUX - pp.195-210
Modèles génériques applicables à la synthèse de contrôleurs discrets pour l’internet des objets
Mengxuan ZHAO, Gilles PRIVAT, Eric RUTTEN, Hassane ALLA - pp.211-225
Session 7. Diagnostic et monitoring
- pp.226-258
Évaluation à la volée de la diagnosticabilité des systèmes à événements discrets temporisés
Baisi LIU, Mohamed GHAZEL, Armand TOGUYÉNI - pp.227-242
Synthèse d’un observateur pour réseaux de Petri p-temporels partiellement observables
Patrice BONHOMME - pp.243-257
Index des auteurs  [GRATUIT]
- pp.259-259
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