Modélisation des systèmes réactifs, MSR 2005ALLA, Hassane; RUTTEN, Eric.Journal européen des systèmes automatisés. 2005, Vol 39, Num 1-3, issn 1269-6935Conference Proceedings

Approche multimodèle pour les systèmes à événements discrets : Application à un préhenseur pneumatique = Multimodel approach to the discrete event systems: application to a pneumatic gripperKAMACH, Oulaid; PIETRAC, Laurent; NIEL, Eric et al.Journal européen des systèmes automatisés. 2005, Vol 39, Num 1-3, pp 159-174, issn 1269-6935, 16 p.Conference Paper

Identification comportementale des systèmes logiques en vue de leur surveillance = Behavioural identification of monitored logic systemsKLEIN, Stéphane; LESAGE, Jean-Jacques; LITZ, Lothar et al.Journal européen des systèmes automatisés. 2005, Vol 39, Num 1-3, pp 111-126, issn 1269-6935, 16 p.Conference Paper

Transformations de spécifications incluant du contrôle en spécification flot de données pour implantation distribuée = Specification transformation including data flow specification control for distributed implementationPERNET, Nicolas; SOREL, Yves.Journal européen des systèmes automatisés. 2005, Vol 39, Num 1-3, pp 31-46, issn 1269-6935, 16 p.Conference Paper

Abstractions de modèles en automates temporisés pour la validation temporelle d'architectures embarquées = Model abstraction in timed automata for the embedded architecture temporal validationGODARY, Karen; AUGE-BLUM, Isabelle.Journal européen des systèmes automatisés. 2005, Vol 39, Num 1-3, pp 63-78, issn 1269-6935, 16 p.Conference Paper

Lemme de Haar sur diverses structures idempotentes : Applications à la comparaison et au contrôle de systèmes à événements discrets = De Haar lemma on various idempotent structures: application to the comparison and control of discrete event systemsAHMANE, Mourad; TRUFFET, Laurent.Journal européen des systèmes automatisés. 2005, Vol 39, Num 1-3, pp 303-318, issn 1269-6935, 16 p.Conference Paper

Spécifications modales de réseaux de Petri = Modal specifications of Petri netsFEUILLADE, Guillaume; PINCHINAT, Sophie.Journal européen des systèmes automatisés. 2005, Vol 39, Num 1-3, pp 287-301, issn 1269-6935, 15 p.Conference Paper

Une approche modulaire pour le contrôle de systèmes à événements discrets concurrents = A modular approach for the concurrent discrete event system controlGAUDIN, Benoit; MARCHAND, Hervé.Journal européen des systèmes automatisés. 2005, Vol 39, Num 1-3, pp 79-94, issn 1269-6935, 16 p.Conference Paper

Commande en juste-à-temps sous contraintes de systèmes (max, +)-linéaires = Just in time control of constrained (max, +) linear systemsHOUSSIN, Laurent; LAHAYE, Sébastien; BOIMOND, Jean-Louis et al.Journal européen des systèmes automatisés. 2005, Vol 39, Num 1-3, pp 335-350, issn 1269-6935, 16 p.Conference Paper

Langages et formalismes synchrones : Fondements = Synchronous languages and formalisms: fundamentalsANDRE, Charles.Journal européen des systèmes automatisés. 2005, Vol 39, Num 1-3, pp 15-30, issn 1269-6935, 16 p.Conference Paper

Méthode formelle de commande sous contraintes de temps dans les dioïdes = Formal method of timed constrained control in the dioidAMARI, Saïd; DEMONGODIN, Isabel; LOISEAU, Jean-Jacques et al.Journal européen des systèmes automatisés. 2005, Vol 39, Num 1-3, pp 319-334, issn 1269-6935, 16 p.Conference Paper

Diagnostic temporel dans les systèmes répartis à l'aide de dépliages de réseaux de Petri temporels = Temporal diagnostic in the distributed systems with time Petri net deploymentsJARD, Claude; CHATAIN, Thomas; BOURHIS, Pierre et al.Journal européen des systèmes automatisés. 2005, Vol 39, Num 1-3, pp 351-365, issn 1269-6935, 15 p.Conference Paper

Synthèse optimale d'un contrôleur par construction de l'ensemble minimal de contraintes = Optimal synthesis of controller by construction of constraint minimal setDIDEBAN, Abbas.Journal européen des systèmes automatisés. 2005, Vol 39, Num 1-3, pp 127-141, issn 1269-6935, 15 p.Conference Paper

Un nouveau graphe de classes pour la préservation des contraintes temporelles quantitatives = A new class graph to preserve the quantitative time constraintsCARDOSO, Janette; VALETTE, Robert; XIAOYU MAO et al.Journal européen des systèmes automatisés. 2005, Vol 39, Num 1-3, pp 191-206, issn 1269-6935, 16 p.Conference Paper

Nonlinear Perron-Frobenius theory and discrete event systemsGAUBERT, Stéphane.Journal européen des systèmes automatisés. 2005, Vol 39, Num 1-3, pp 175-190, issn 1269-6935, 16 p.Conference Paper

Test de systèmes réactifs non réceptifs = Non receptive reactive system testLESTIENNES, Grégory; GAUDEL, Marie-Claude.Journal européen des systèmes automatisés. 2005, Vol 39, Num 1-3, pp 255-270, issn 1269-6935, 16 p.Conference Paper

Diagnostic décentralisé des systèmes à événements discrets = Decentralised diagnostic of discrete event systemsLAFORTUNE, Stéphane; YIN WANG; YOO, Tae-Sic et al.Journal européen des systèmes automatisés. 2005, Vol 39, Num 1-3, pp 95-110, issn 1269-6935, 16 p.Conference Paper

Exploitation des contraintes temporelles pour le suivi temps-réel des SEDs = Exploitation of time constraints for the real time monitoring of DESsGHAZEL, Mohamed; BIGAND, Michel; TOGUYENI, Armand et al.Journal européen des systèmes automatisés. 2005, Vol 39, Num 1-3, pp 143-158, issn 1269-6935, 16 p.Conference Paper

Vérification de systèmes hiérarchiques par raffinement = Verification of hierarchical systems by refinementAL ACHHAB, Mohammed; HAMMAD, Ahmed; MOUNTASSIR, Hassan et al.Journal européen des systèmes automatisés. 2005, Vol 39, Num 1-3, pp 239-254, issn 1269-6935, 16 p.Conference Paper

Réseau de Petri temporel étendu : Proposition d'un nouveau modèle basé sur les réseaux de Petri temporels = Extened time Petri net: proposition fo a new model based on the time Petri netsEL TOUATI, Yamen; BEN HADJ ALOUANE, Nejib; YEDDES, Moez et al.Journal européen des systèmes automatisés. 2005, Vol 39, Num 1-3, pp 207-222, issn 1269-6935, 16 p.Conference Paper

Introduction au contrôle des systèmes temps-réel = Introduction to the real time system controlALTISEN, Karine; BOUYER, Patricia; CACHAT, Thierry et al.Journal européen des systèmes automatisés. 2005, Vol 39, Num 1-3, pp 367-380, issn 1269-6935, 14 p.Conference Paper

Qualité de service des pilotes d'équipements pour les systèmes d'acquisition de données = Service quality for data acquisition system driversBEN HEDIA, Belgacem; JUMEL, Fabrice; BABAU, Jean-Philippe et al.Journal européen des systèmes automatisés. 2005, Vol 39, Num 1-3, pp 47-62, issn 1269-6935, 16 p.Conference Paper

Problèmes d'accessibilité et espaces d'états abstraits des réseaux de Petri temporels à chronomètres = Accessibility problems and abstract state spaces of stopwatch time Petri netsBERTHOMIEU, Bernard; LIME, Didier; HENRI ROUX, Olivier et al.Journal européen des systèmes automatisés. 2005, Vol 39, Num 1-3, pp 223-238, issn 1269-6935, 16 p.Conference Paper

Validation de spécifications RT-LOTOS : Une interface vers l'outil TINA = RT-LOTOS specification validation: an interface to the TINA toolsSADANI, Tarek; DE SAQUI-SANNES, Pierre; COURTIAT, Jean-Pierre et al.Journal européen des systèmes automatisés. 2005, Vol 39, Num 1-3, pp 271-286, issn 1269-6935, 16 p.Conference Paper

Implémentabilité des automates temporisés = Implementability of timed automataALTISEN, Karine; MARKEY, Nicolas; REYNIER, Pierre-Alain et al.Journal européen des systèmes automatisés. 2005, Vol 39, Num 1-3, pp 395-406, issn 1269-6935, 12 p.Conference Paper