Abstraction qualitative et surveillance de systèmes cyber-physiques - Laboratoire Méthodes Formelles
Communication Dans Un Congrès Année : 2023

Qualitative abstraction for monitoring cyber-physical systems

Abstraction qualitative et surveillance de systèmes cyber-physiques

Résumé

La surveillance de systèmes cyber-physiques en temps réel est une activité industrielle primordiale nécessitant de déployer des ressources, notamment en termes de capteurs, de traitement de signal, ainsi que d'analyse des informations obtenues. De fait, le choix du nombre de ces capteurs et de leur fréquence d'échantillonnage est un compromis entre la consommation de ressources et le niveau de sûreté. Le principe de la surveillance du système est d'utiliser les informations fournies par les capteurs pour calculer à chaque instant la position de l'état du système dans l'arbre de ses comportements théoriques, afin de détecter les évènements anormaux et d'anticiper leurs conséquences. Cependant, cette méthode offre peu d'outils pour optimiser ce processus. En utilisant l'abstraction et la modélisation qualitative, nous proposons une méthode permettant d'obtenir une carte qualitative de l'espace d'états du système, et d'utiliser celleci afin d'optimiser le choix des instants de mesure et des calculs à effectuer, pour améliorer l'efficacité de la surveillance des systèmes cyber-physiques en temps réel.
Fichier principal
Vignette du fichier
easychair.pdf (474.59 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
licence

Dates et versions

hal-04255640 , version 1 (24-10-2023)

Licence

Identifiants

  • HAL Id : hal-04255640 , version 1

Citer

Baptiste Gueuziec, Jean-Pierre Gallois, Frédéric Boulanger. Abstraction qualitative et surveillance de systèmes cyber-physiques. Modélisation des Systèmes Réactifs, Nov 2023, Toulouse, France. ⟨hal-04255640⟩
121 Consultations
41 Téléchargements

Partager

More