Plans simulation using temporal logicsRUTTEN, Eric; MARCE, Lionel.Rapports de recherche - INRIA. 1989, Vol 1095, issn 0249-6399, 35 p.Report

Représentation en logique temporelle de plans d'actions dotés d'une structure de contrôle impérative. Application à l'assistance à l'opérateur en téléopération = Temporal logic representation of plans of actions with an imperative control structure; application to operator assistance in teleroboticsRutten, Eric-Paul; Marce, Lionel.1990, 230 p.Thesis

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

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

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

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

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

Observation partielle des systèmes temporisés = Partial observation of timed systemsBOUYER, Patricia; CHEVALIER, Fabrice; KRICHEN, Moez et al.Journal européen des systèmes automatisés. 2005, Vol 39, Num 1-3, pp 381-393, issn 1269-6935, 13 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

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

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

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

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

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

SLAP'02 : synchronous languages, applications, and programming (Grenoble, 13 April 2002)Maraninchi, Florence; Girault, Alain; Rutten, Eric et al.ETAPS 2002 : European joint conference on theory and practice of software. Satellite workshopInternational workshop on synchronous languages, applications, and programming. 2002, 200 p.Conference Proceedings

Intégration de la synthèse de contrôleurs discrets dans un langage de programmationDELAVAL, Gwenaël; RUTTEN, Eric; MARCHAND, Hervé et al.Journal européen des systèmes automatisés. 2011, Vol 45, Num 1-3, pp 125-140, issn 1269-6935, 16 p.Conference Paper

Targeting reconfigurable FPGA based SoCs using the UML MARTE profile: from high abstraction levels to code generation : RECONFIGURABLE AND MULTI-CORE EMBEDDED SYSTEMSIMRAN RAFIQ QUADRI; HUAFENG YU; GAMATIE, Abdoulaye et al.International journal of embedded systems (Print). 2010, Vol 4, Num 3-4, pp 204-224, issn 1741-1068, 21 p.Article

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