Journal européen des systèmes automatisés Volume 47 N° 1-2-3/Janvier-Mai 2013 Modélisation des systèmes réactifs : MSR 20103
Langue : Français
Auteurs : MARCHAND Hervé, HÉLOUËT Loïc
- Session 1. Modélisation , - pp.12-44
- Environnement de coopération de simulation pour la conception de systèmes cyber-physiques, G. Lasnier, J. Cardoso, C. Pagetti, P. Siron - pp.13-27
- Modélisation algébrique du dîner des philosophes, A. Dicky, D. Janin - pp.29-43
- Session 2. Vérification (1) , - pp.44-76
- Élimination de quanticateurs : extrapolation efficace par analyse structurelle et cœurs insatisfiables, R. Delmas, A. Champion - pp.45-59
- Vérifier le comportement du code d'un système embarqué à partir de son modèle, A. Fernandes Pires, T. Polacsek, V. Wiels, S. 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, Y. Huang, T. Bourdeaud'huy, A. Toguyéni, P. Yvars - pp.77-92
- Conception sûre de systèmes de contrôle-commande matériels à base de COTS, S. Hajjar, E. Dumitrescu, E. Niel - pp.93-107
- Session 4. Amplification (Max,+) , - pp.108-154
- Sur la stabilisation de systèmes min-max-plus incertains, M. Lhommeau, L. Hardouin, R. Santos-Mendes - pp.109-123
- Contributions à la résolution de problèmes à une machine avec fonctions temporelles de type exponentiel, F. Guégnard, F. Bousseau, M. Bourcerie - pp.125-137
- Séquentialisation du comportement de réseaux de Petri temporisés, J. Komenda, S. Lahaye, J. 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, A. Bareche, D. Aïssani - pp.155-164
- Une approche combinant bornes stochastiques, traces et histogrammes pour l'analyse de performance des réseaux, F. Aït Salaht, H. Castel-Taleb, N. Pekergin - pp.165-179
- Analyse des performances du système M/G/1 avec rappels et Bernoulli feedback, M. Boualem, M. Cherfaoui, N. Djellab, D. 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, J. Girault, J. Loiseau, O. Roux - pp.195-210
- Modèles génériques applicables à la synthèse de contrôleurs discrets pour l'internet des objets, M. Zhao, G. Privat, E. Rutten, H. 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, B. Liu, M. Ghazel, A. Toguyéni - pp.227-242
- Synthèse d'un observateur pour réseaux de Petri p-temporels partiellement observables, P. Bonhomme - pp.243-257
Retrouvez la description détaillée du numéro sur RevuesOnline.
Date de parution : 10-2013
Numéro de revue de 257 p.
16x24 cm
Thème de Journal européen des systèmes automatisés Volume 47... :
© 2024 LAVOISIER S.A.S.