Publications

Publications de

Articles dans une revue
Communications dans un congrès

  • Janette Cardoso, Xiaoyu Mao, Robert Valette

    State Class Graph for Fuzzy Time Petri Nets

    Dans : European Simulation and Modelling Conference (ESM 2006), Toulouse, 23/10/06-25/10/06, LAAS, (support électronique), octobre 2006.

    BibTeX

  • Janette Cardoso, Xiaoyu Mao, Robert Valette

    A Graph of Classes Preserving Quantitative Temporal Constrains considering unbounded transitions

    Dans : PMCCS’05, 7th International Workshop onPerformability Modeling of Computer and Communication Systems, Torino-Italy, 23/09/05-24/09/05, ., septembre 2005.

    Résumé
    BibTeX

  • Xiaoyu Mao, Janette Cardoso, Robert Valette

    A new graph of classesfor the preservation of quantitative temporal constraints

    Dans : ATVA’05,Third International Symposium on Automated Technology for Verification and Analysis, Taipei-Taiwan, 04/10/05-07/10/05, D.A. Peled, Y.-K. Tsay (Eds.), Springer Verlag, LNCS 3707, Berlin Heidelberg, p. 278-292, octobre 2005.

    Résumé
    BibTeX

  • Janette Cardoso, Robert Valette, Xiaoyu Mao

    Un nouveau graphe de classes pour la préservation des contraintes temporelles quantitatives

    Dans : RS-JESA, MSR – Modelisation de Systèmes Réactifs, grenoble, 05/10/05-07/10/05, Hermès, V.39, p. 191-206, octobre 2005.

    Résumé
    BibTeX

  • Robert Valette, Janette Cardoso, Didier Dubois

    Monitoring manufacturing systems by means of Petri nets with imprecise markings

    Dans : Proc. IEEE Inter. Symp. on Intelligent Control, Albany, N.Y., ., p. 233-238, janvier 1989.

    BibTeX

  • Janette Cardoso, Robert Valette, Didier Dubois

    Petri nets with uncertain markings

    Dans : 10th Inter. Conf. on Applications and Theory of Petri Nets, Bonn, .

    BibTeX

  • Robert Valette, Didier Dubois, Janette Cardoso

    Représentation de l’état d’un atelier de fabrication avec prise en compte des incidents

    Dans : Actes Congrès Automatique 88, Grenoble, 10/10/88-12/10/88.

    BibTeX

Chapitres d’ouvrage

  • Didier Dubois, J.C. Pascal, Robert Valette

    Fuzzy decision and control in manufacturing and automation

    Dans : Handbook of Design, Manufacturing and Automation. R.C. Dorf, A. Kusiak (Eds.) , Wiley, New York, p. 955-976, 1994.

    BibTeX

  • Didier Dubois, Robert Valette

    Discussion paper

    Dans : ‘Non-Standard Logics for Automated Reasoning. P. Smets, A. Mamdani, D. Dubois, H. Prade (Eds.) , Academic Press, New York, p. 209-211, 1988.

    BibTeX

Départements
Type de publication
Critères





Opérateur   ET   OU
Trier par