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 2011

 LISTE DES ARTICLES POUR LE VOL 45/1-3 - 2011
TABLE DES MATIERES  [GRATUIT]
- pp.7-8
AVANT-PROPOS  [GRATUIT]
Etienne CRAYE, Abdoulaye GAMATIÉ - pp.9-9
SESSION 1. SYSTÈMES TEMPORISÉS
- pp.12-60
Coercition temporelle de réseaux de Petri
Didier LIME, Claude MARTINEZ, Olivier Henri ROUX - pp.13-28
Sur la précision asymptotique des systèmes (min, +) linéaires continus
Jean-Louis BOIMOND, Sébastien LAHAYE - pp.29-43
Contribution à la reconfiguration des systèmes de production
Pascale MARANGÉ, Jean-François PÉTIN, Antoine MANCEAUX, David GOUYON - pp.45-60
SESSION 2. SYSTÈMES SYNCHRONES OU POLYCHRONES
- pp.60-124
Modélisation compositionnelle d’architectures GALS dans un modèle de calcul polychrone
Yue MA, Thierry GAUTIER, Paul LE GUERNIC, Huafeng YU - pp.61-76
Orchestration synchrone et au-delà
Pejman ATTAR, Frédéric BOUSSINOT - pp.77-92
Sur le délai de séparabilité dans des systèmes synchrones
Ilias GARNIER, Christophe AUSSAGUÈS, Vincent DAVID, Guy VIDAL-NAQUET - pp.93-108
Formalisation des relations temporelles dans un contexte d’accompagnement automatique. Stratégies de synchronisation et gestion des erreurs
José ECHEVESTE, Arshia CONT, Jean-Louis GIAVITTO, Florent JACQUEMARD - pp.109-124
SESSION 3. SYSTÈMES À ÉVÉNEMENTS DISCRETS
- pp.124-172
Intégration de la synthèse de contrôleurs discrets dans un langage de programmation
Gwenaël DELAVAL, Eric RUTTEN, Hervé MARCHAND - pp.125-140
Identification des états équivalents dans l’approche modale
Gregory FARAUT, Laurent PIÉTRAC, Eric NIEL - pp.141-156
Simulation en temps continu pour la commande orientée événements des systèmes stochastiques à commutation. Modélisation, contrôle et simulation des systèmes stochastiques à commutation
Simona MIHAITA, Stéphane MOCANU - pp.157-172
SESSION 4. SYSTÈMES TEMPS RÉEL ET EMBARQUÉS
- pp.172-236
Analyse de latence et fraîcheur pire cas sur systèmes avioniques modulaires intégrés
Michaël LAUER, Frédéric BONIOL, Jérôme ERMONT, Claire PAGETTI - pp.173-188
Échantillonnage dépendant de l’état pour les systèmes avec perturbations et retards
Christophe FITER, Laurentiu HETEL, Wilfrid PERRUQUETTI, Jean-Pierre RICHARD - pp.189-203
Diagnostic des systèmes embarqués critiques. Application à la carte de commande du système de freinage d'un train
Ramla SADDEM, Armand TOGUYÉNI, Moncef TAGINA - pp.205-220
Approche pour l’intégration du raffinement formel dans le processus de conception des SoCs
Hocine MOKRANI, Rabéa AMEUR-BOULIFA, Sophie COUDERT, Emmanuelle ENCRENAZ-TIPHENE - pp.221-236
SESSION 5. MODÈLES STOCHASTIQUES
- pp.236-267
Échantillonnage préférentiel pour le model checking statistique
Benoît BARBOT, Serge HADDAD, Claudine PICARONNY - pp.237-252
Approche régénérative de la file d’attente M/G/1 avec rappels classiques et vacances exhaustives du serveur
Mohamed BOUALEM, Natalia DJELLAB, Djamil AÏSSANI - pp.253-267
Index des auteurs  [GRATUIT]
- pp.268-268
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