Intelligent Framework for Safety Properties Checking of Complex Systems - Archive ouverte HAL
Communication Dans Un Congrès Année : 2014

Intelligent Framework for Safety Properties Checking of Complex Systems

Résumé

We consider, in this paper, the issue of cooperative inference in MAS which models real-time complex systems and where agents are designed to support stochastic behaviour descriptions of system components. The framework presented in this paper integrates a new formalism of BDI agent.

Mots clés

SYSTEME DISCRET

Domaines

Modélisation et simulation
Fichier principal
Vignette du fichier
doc00018214.pdf (60.96 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Ifsttar Cadic  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01062141

Soumis le : mardi 9 septembre 2014-11:39:32

Dernière modification le : lundi 9 septembre 2024-14:26:43

Archivage à long terme le : mercredi 10 décembre 2014-12:06:24

Télécharger pour visualiser

Dates et versions

hal-01062141 , version 1 (09-09-2014)

Identifiants

  • HAL Id : hal-01062141 , version 1

Citer

Nesrine Darragi, El Miloudi El Koursi, Simon Collart-Dutilleul. Intelligent Framework for Safety Properties Checking of Complex Systems. ISTS 2014 - International Symposium of Transport Simulation, Jun 2014, France. 3p. ⟨hal-01062141⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

IFSTTAR TDS-MACS UNIV-EIFFEL
46 Consultations
80 Téléchargements

Partager

More