Retour au site du LAAS-CNRS

Design of safe embedded systems with Petri net models

N.SADOU, H.DEMMOU

ISI

Rapport LAAS N°06611, Septembre 2006, 12p.

Diffusable

Ajouter au panier 107830

Continuous dynamic abstraction for reliability and safety analysis of hybrid systems

N.SADOU, H.DEMMOU, J.C.PASCAL, R.VALETTE

ISI, OLC

Manifestation avec acte : 6th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes (SAFEPROCESS'2006), Beijing (Chine), 30 Août - 1er Septembre 2006 , N° 06174

Diffusable

Ajouter au panier 107605

Fiabilité dynamique des systèmes hybrides : approche basée scénarios

N.SADOU, H.DEMMOU, J.C.PASCAL, R.VALETTE

ISI, OLC

Manifestation avec acte : Conférence Internationale Francophone d'Automatique (CIFA'2006), Bordeaux (France), 30 Mai - 1er Juin 2006, 6p. , N° 06145

Diffusable

Ajouter au panier 107147

Minimalité des scénarios dans le cadre des réseaux de Petri

N.SADOU, H.DEMMOU, R.VALETTE

ISI, OLC

Manifestation sans acte : Journées FAC'2006 "Formalisation des Activités Concurrentes", Toulouse (France,), 23-24 Mars 2006, 12p. , N° 06173

Diffusable

Ajouter au panier 106444

Object oriented approach for deriving feared scenarios in hybrid systems

N.SADOU, H.DEMMOU, J.C.PASCAL, R.VALETTE

ISI, OLC

Manifestation avec acte : 2005 European Simulation and Modelling Conference, Porto (Portugal), 24-26 Octobre 2005, pp.572-578 , N° 05089

Diffusable

Ajouter au panier 104688

Symbolic temporal constraint analysis, an approach for verifying hybrid systems

N.RIVIERE, H.DEMMOU, R.VALETTE, M.MEDJOUDJ

OLC, ISI, TSF

Manifestation avec acte : 16th IFAC World Congress, Prague (République Tchèque), 3-8 Juillet 2005, 6p. , N° 04447

Diffusable

Ajouter au panier 103747

Risk assessment for safe restarts of anaerobic digestion processes

B.BRAHIMI, H.DEMMOU, A.HELIAS, J.P.STEYER

INRA Narbonne, ISI

Manifestation avec acte : 16th IFAC World Congress, Prague (République Tchèque), 3-8 Juillet 2005, 6p. , N° 04519

Diffusable

Ajouter au panier 103744

Qualitative formalisation of critical scenarios with respect to dynamic system models

P.BIEBER, C.CASTEL, L.CHOLVY, H.DEMMOU, C.KEHREN, M.MEDJOUDJ, N.RIVIERE, C.SEGUIN, R.VALETTE

ONERA, ISI, OLC, TSF

Manifestation avec acte : 6ème Congrès International Pluridisciplinaire "Qualité et Sûreté de Fonctionnement" (QUALITA 2005), Bordeaux (France), 16-18 Mars 2005, pp.583-590 , N° 04602

Diffusable

Ajouter au panier 103477

Recherche de scénarios redoutés dans les systèmes hybrides basée sur une approche orientée objets

N.SADOU, H.DEMMOU, J.C.PASCAL

ISI

Rapport LAAS N°05100, Mars 2005, 16p.

Diffusable

Ajouter au panier 103377

A method for deriving feared scenarios in hybrid systems

M.MEDJOUDJ, S.KHALFAOUI, H.DEMMOU, R.VALETTE

ISI, PSA Peugeot, OLC

Manifestation avec acte : Probabilistic Safety Assessment and Management (PSAM'7 - ESREL'04), Berlin (Allemagne), 14-18 Juin 2004, 6p. , N° 04036

Diffusable

Ajouter au panier 102219