e-STA 2004-3

Articles et dossiers

DE NOUVELLES REDUCTIONS COLOREES POUR LA VALIDATION DE LOGICIELS Sami Evangelista, Serge Haddad, Jean-François Pradat-Peyre
MODELISATION ET COMMANDE DE RESEAUX DE BUS URBAINS DANS L’ALGEBRE DES DIOIDES L. Houssin, Sébastien Lahaye, Jean-Louis Boimond
COMMANDE ET ANALYSE DE ROBUSTESSE DE SYSTEMES (MAX, +)-LINEAIRES M. Lhommeau, L. Hardouin, C. A. Maia, R. Santos-Mendes
USING TIMED AUTOMATA FOR THE VERIFICATION OF IEC 61499 APPLICATIONS Marius Stanica, Hervé Guéguen
ABSTRACTION DES TRAJECTOIRES D’UN SYSTEME CONTINU EN AUTOMATES TEMPORISES Arnaud Hélias, François Guerrin, Jean-Philippe Steyer
PERMISSIVITE MAXIMALE DU CONTROLE DES SYSTEMES A EVENEMENTS DISCRETS Stéphane Riedweg, Sophie Pinchinat
APPROCHE DE SYNTHESE EN LIGNE BASÉE SUR UNE MODELISATION STRUCTURÉE DE LA PARTIE OPERATIVE Alexandre Philippot, Abdelouahed Tajer, François Gellot, Véronique Carre-Menetrier
ÉVALUATION DE PERFORMANCE DES SYSTÈMES STOCHASTIQUES À ÉVÉNEMENTS DISCRETS NON MARKOVIENS - UNE NOUVELLE APPROCHE Serge Haddad, Lynda Mokdad, Patrice Moreaux
ORDONNANCEMENT HORS LIGNE D’APPLICATIONS TEMPS REEL COMPORTANT DES TACHES A` DUREES VARIABLES Stéphane Pailler, Annie Choquet-Geniet
OPTIMISATION DES SEQUENCES DE CHARGEMENT D’UNE CHAINE LOGISTIQUE ELEMENTAIRE PAR SEPARATION ET EVALUATION S.E. Merzouk, O. Grunder, M. El Bagdouri