75documents trouvés
Critical scenarios derivation methodology for mechatronic systems
H.DEMMOU, S.KHALFAOUI, E.GUILHEM, R.VALETTE
OCSD, PSA Peugeot, ISI, OLC
Revue Scientifique : Reliability Engineering & System Safety, Vol.84, N°1, pp.33-44, Avril 2004 , N° 03046
Diffusable
102078Un algorithme pour l'extraction des scénarios critiques dans les systèmes hybrides
M.MEDJOUDJ, S.KHALFAOUI, H.DEMMOU, R.VALETTE
ISI, PSA Peugeot, OLC
Manifestation sans acte : Journées "Formalisation des Activités Concurrentes" (FAC'2004), Toulouse (France), 9-10 Mars 2004, 12p. , N° 04062
Diffusable
101836Extracting critical scenarios from a Petri net model using linear logic
H.DEMMOU, S.KHALFAOUI, N.RIVIERE, E.GUILHEM
OCSD, PSA Peugeot, OLC, ISI
Revue Scientifique : Journal Européen des Systèmes Automatisés (APII-JESA), Vol.36, N°7, pp.987-999, 2002 , N° 02177
Diffusable
100225An algorithm for deriving critical scenarios in mechatronic systems
S.KHALFAOUI, H.DEMMOU, E.GUILHEM, R.VALETTE
PSA Peugeot, OCSD, ISI, OLC
Manifestation avec acte : 2002 IEEE International Conference on Systems Man and Cybernetics (SMC'02), Hammamet (Tunisie), 6-9 Octobre 2002, 6p. , N° 02257
Diffusable
53732Une méthode pour obtenir des scénarios critiques dans les systèmes mécatroniques
S.KHALFAOUI, E.GUILHEM, H.DEMMOU, R.VALETTE
PSA Peugeot, OCSD, OLC, ISI
Manifestations avec acte à diffusion limitée : 13ème Colloque Européen de Sûreté de Fonctionnement (ESREL'2002), Lyon (France), 19-21 Mars 2002, pp.455-461 , N° 01614
Diffusable
51002Extraction des scénarios critiques à partir d'un modèle RdP à l'aide de la logique linéaire
S.KHALFAOUI, E.GUILHEM, H.DEMMOU, N.RIVIERE
PSA Peugeot, OCSD, OLC, ISI
Manifestation avec acte : Colloque Francophone sur la Modélisation des Systèmes Réactifs (MSR'2001), Toulouse (France), 17-19 Octobre 2001, pp.409-424 , N° 01126
Diffusable
47854Modeling critical mechatronic systems with Petri nets and feared scenarios derivation
S.KHALFAOUI, H.DEMMOU, E.GUILHEM, R.VALETTE
OCSD, PSA Peugeot, ISI
Manifestations avec acte à diffusion limitée : 5th Workshop on Electronics, Control, Modelling, Measurement and Signals, Toulouse (France), 30 Mai - 1er Juin 2001, pp.55-59 , N° 01027
Diffusable
45325Une méthode de contrôle de trafic urbain par algorithmes génétiques
L.HERMITTE, H.DEMMOU
OCSD, MOGISA
Manifestation avec acte : 3ème Conférence Francophone de MOdélisation et SIMulation (MOSIM'01), Troyes (France), 25-27 Avril 2001, Vol.1, pp.409-415 , N° 00480
Diffusable
44976A distributed system for real time control and prediction of urban traffic
H.DEMMOU, L.HERMITTE, P.OLIVERO
OCSD, ZELT, ISI
Manifestation avec acte : 4th World Multiconference on Systemics, Cybernetics and Informatics (SCI'2000), Orlando (USA), 23-26 Juillet 2000, 5p. , N° 00248
Diffusable
40977Serveur d'Information du Trafic routier sur Toulouse par Internet
H.DEMMOU, J.M.PONS, F.SCHETTINI
OCSD, SODIT, 2I, ISI
Rapport de Contrat : Contrat Région Midi-Pyrénées, Projet SITTI N°97.0020.36, Février 2000, 30p. , N° 00048
Lien : http://tel.archives-ouvertes.fr/tel-00119789
Diffusable
37769