2025-11-12T04:43:10.255846

A Unified Framework for Innovation-based Stochastic and Deterministic Event Triggers

Schmitt, Noack
Resources such as bandwidth and energy are limited in many wireless communications use cases, especially when large numbers of sensors and fusion centers need to exchange information frequently. One opportunity to overcome resource constraints is the use of event-based transmissions and estimation to transmit only information that contributes significantly to the reconstruction of the system's state. The design of efficient triggering policies and estimators is crucial for successful event-based transmissions. While previously deterministic and stochastic event triggering policies have been treated separately, this paper unifies the two approaches and gives insights into the design of consistent trigger-matching estimators. Two different estimators are presented, and different pairs of triggers and estimators are evaluated through simulation studies.
academic

Un Cadre Unifié pour les Déclencheurs d'Événements Stochastiques et Déterministes Basés sur l'Innovation

Informations Fondamentales

  • ID de l'article : 2503.13043
  • Titre : A Unified Framework for Innovation-based Stochastic and Deterministic Event Triggers
  • Auteurs : Eva Julia Schmitt, Benjamin Noack (Université Otto von Guericke Magdeburg, Allemagne)
  • Classification : eess.SY cs.SY (Systèmes et Contrôle)
  • Date de publication : Mars 2025 (prépublication arXiv)
  • Lien de l'article : https://arxiv.org/abs/2503.13043

Résumé

Dans les applications de communication sans fil, les ressources telles que la bande passante et l'énergie sont souvent limitées, particulièrement lorsqu'un grand nombre de capteurs et de centres de fusion doivent échanger des informations fréquemment. La transmission et l'estimation basées sur les événements constituent une méthode efficace pour surmonter les contraintes de ressources, en transmettant uniquement les informations qui contribuent significativement à la reconstruction de l'état du système. La conception de stratégies de déclenchement efficaces et d'estimateurs est cruciale pour une transmission réussie pilotée par les événements. Bien que les stratégies de déclenchement d'événements déterministes et stochastiques aient été traitées séparément auparavant, cet article unifie ces deux approches et fournit des perspectives approfondies pour la conception d'estimateurs de déclenchement cohérents. Deux estimateurs distincts sont proposés et leurs performances sont évaluées par des études de simulation pour différentes paires de déclencheurs et d'estimateurs.

Contexte et Motivation de la Recherche

Définition du Problème

  1. Problème de contraintes de ressources : Dans les systèmes d'automatisation modernes tels que les villes intelligentes, la fabrication intelligente et l'agriculture intelligente, les nœuds distribués spatialement (capteurs, centres de fusion, agents) doivent propager de grandes quantités de données. La transmission de données sans fil à haute fréquence nécessite d'importantes ressources en bande passante et en énergie.
  2. Besoin d'optimisation de la transmission d'informations : Il est nécessaire de réduire la charge du système de communication en quantifiant la quantité d'informations contenues dans chaque paquet de message potentiel et en ne transmettant que lorsque cela est nécessaire ou utile.
  3. Défi de la cohérence de l'estimateur : Il est nécessaire d'assurer la cohérence de l'estimateur, c'est-à-dire que l'incertitude estimée correspond à l'erreur d'estimation du filtre, tout en exploitant les informations implicites contenues lorsque les conditions de déclenchement ne sont pas satisfaites.

Limitations des Méthodes Existantes

  • Stratégies déterministes : Bien qu'elles garantissent que l'erreur prédéfinie ne soit pas dépassée et offrent de meilleures performances, elles augmentent la complexité de la conception de l'estimateur, car les stratégies déterministes introduisent des sources de bruit non-gaussien dans l'équation de mesure du système lors des moments sans transmission.
  • Stratégies stochastiques : Elles offrent une conception d'estimateur simple mais réduisent les performances du système en raison du relâchement des décisions de déclenchement stochastique.
  • Traitement séparé : Les deux méthodes ont été étudiées indépendamment auparavant, manquant d'un cadre unifié et d'une analyse comparative approfondie.

Contributions Principales

  1. Cadre unifié : Propose un cadre généralisé de déclencheurs stochastiques intégrant des déclencheurs déterministes basés sur l'innovation, permettant une meilleure compréhension des liens entre les déclencheurs d'événements stochastiques et déterministes classiques.
  2. Règles de conception : Sur la base de nouvelles perspectives sur les propriétés de différentes stratégies de déclenchement, étudie la cohérence du filtre de Kalman piloté par événements stochastiques existant (SEBKF) avec ces stratégies de déclenchement.
  3. Extension de l'estimateur : Étend le filtre à particules piloté par événements aux stratégies stochastiques et apporte des améliorations pour l'utilisation de modèles de systèmes linéaires et de stratégies déterministes.
  4. Évaluation des performances : Évalue les performances de différentes combinaisons de stratégies de déclenchement et d'estimateurs par des études de simulation en termes d'erreur quadratique moyenne (MSE) et de cohérence.

Détails de la Méthode

Définition de la Tâche

L'objectif de la recherche est de concevoir des schémas de transmission et d'estimation efficaces pilotés par les événements dans les systèmes linéaires invariants dans le temps, comprenant :

  • Équation d'état : xk+1=Axk+wkx_{k+1} = Ax_k + w_k
  • Équation de mesure : yk=Cxk+vky_k = Cx_k + v_k
  • Modèle de bruit : Bruit de processus wl∼N(0,Q)w_l \sim \mathcal{N}(0,Q), bruit de mesure vm∼N(0,R)v_m \sim \mathcal{N}(0,R), bruit blanc et mutuellement non corrélé

Cadre de Déclenchement Unifié

Fonction de Pondération Gaussienne Généralisée

Propose une nouvelle fonction de forme basée sur la distribution normale généralisée :

ϕβ(zk)=exp⁡(−12zkTZ−1zkβ)\phi_\beta(z_k) = \exp\left(-\frac{1}{2}\sqrt{z_k^TZ^{-1}z_k}^\beta\right)

Où :

  • zk=yk−ckz_k = y_k - c_k est la variable de déclenchement (terme d'innovation)
  • β>0\beta > 0 est le paramètre de forme
  • Z∈Rny×nyZ \in \mathbb{R}^{n_y \times n_y} est une variable de conception définie positive

Signification du Paramètre β\beta

  • β=2\beta = 2 : Déclencheur stochastique gaussien standard
  • β→∞\beta \to \infty : Tend vers un déclencheur déterministe
  • β∈[2,∞)\beta \in [2,\infty) : Fournit une transition continue entre les deux cas extrêmes

Décision de Déclenchement Stochastique

1, & \xi_k > \phi_\beta(z_k) \\ 0, & \xi_k \leq \phi_\beta(z_k) \end{cases}$$ Où $\xi_k \sim U(0,1)$ est une variable aléatoire uniformément distribuée. ### Stratégies de Sélection de Mesure Implicite #### Send-on-Delta (SOD) $c_k$ est défini comme la valeur de mesure transmise au dernier instant d'événement $k_e$ : $$z_k = y_k - y_{k_e}$$ #### Send-on-Delta with Prediction (SODP) $c_k$ est défini comme la prédiction de l'estimation d'état local du capteur : $$z_k = y_k - CA^l\hat{x}^S_{k_e}$$ Où $l = k - k_e$ est le nombre d'étapes temporelles depuis le dernier événement. ### Conception de l'Estimateur #### Filtre de Kalman Piloté par Événements Stochastiques (SEBKF) Conception optimisée pour les systèmes linéaires avec $\beta = 2$ : **Étape de prédiction** : $$\hat{x}_{k|k-1} = A\hat{x}_{k-1|k-1}$$ $$P_{k|k-1} = AP_{k-1|k-1}A^T + Q$$ **Étape de mise à jour** : $$\hat{x}_{k|k} = \hat{x}_{k|k-1} + K_k(\gamma_k z_k - \hat{z}_{k|k-1})$$ $$P_{k|k} = (I_{n_x} - K_kC)P_{k|k-1}$$ Où le gain de Kalman est : $$K_k = P_{k|k-1}C^T(CP_{k|k-1}C^T + R + (1-\gamma_k)Z)^{-1}$$ #### Estimateur Basé sur l'Échantillonnage Pour surmonter les limitations du SEBKF lorsque $\beta > 2$, propose un estimateur basé sur le filtrage à particules : 1. **Lors du déclenchement d'un événement** ($\gamma_k = 1$) : Exécute les étapes standard du filtre de Kalman 2. **Lors de l'absence d'événement** ($\gamma_k = 0$) : - Échantillonne $N$ particules à partir de la distribution a priori - Applique les équations du système et de mesure - Utilise la condition de déclenchement pour rejeter les échantillons qui déclencheraient un événement - Répète jusqu'à l'obtention d'un nombre suffisant d'échantillons acceptés ## Configuration Expérimentale ### Modèle du Système Utilise un modèle de vitesse constante approximée 2D : $$A = \begin{bmatrix} 1 & \Delta & 0 & 0 \\ 0 & 1 & 0 & 0 \\ 0 & 0 & 1 & \Delta \\ 0 & 0 & 0 & 1 \end{bmatrix}, \quad C = \begin{bmatrix} 1 & 0 & 0 & 0 \\ 0 & 0 & 1 & 0 \end{bmatrix}$$ Où $\Delta = 0,3$ est l'intervalle d'échantillonnage. ### Indicateurs d'Évaluation - **MSE relatif** : Erreur quadratique moyenne relative au SEBKF - **ANEES** : Erreur d'estimation normalisée moyenne au carré, utilisée pour évaluer la cohérence (valeur idéale = 1) ### Paramètres Expérimentaux - Simulation Monte Carlo : 500 exécutions, 150 étapes temporelles par exécution - Estimateur basé sur l'échantillonnage : Utilise $N = 1000$ particules ($N = 5000$ pour les taux d'événements faibles) - Valeurs de $\beta$ testées : 2, 5, 1000 ## Résultats Expérimentaux ### Principales Conclusions #### $\beta = 2$ (Gaussien standard) - Le SEBKF et l'estimateur basé sur l'échantillonnage ont des performances identiques et optimales - Les deux estimateurs maintiennent la cohérence à tous les taux d'événements (ANEES ≈ 1) - L'estimateur basé sur l'échantillonnage converge asymptotiquement vers le résultat optimal #### $\beta = 5$ et $\beta = 1000$ (Proche du déterministe) - Le SEBKF est légèrement conservateur aux taux d'événements modérés - Lorsque le taux d'événements descend en dessous d'environ 10 %, le SEBKF devient incohérent (ANEES > 1) - L'estimateur basé sur l'échantillonnage maintient la cohérence à tous les taux de transmission - En termes de performance, les deux estimateurs se comportent de manière similaire, mais l'estimateur basé sur l'échantillonnage commence à se dégrader aux taux d'événements extrêmement faibles ### Analyse des Limites de Cohérence Par l'analyse théorique et la vérification par simulation, la valeur maximale de $Z$ pour laquelle le SEBKF maintient la cohérence est déterminée à environ $Z^* \approx 20 \cdot I$, correspondant à un taux de transmission moyen $\bar{\gamma} \approx 0,1$. ### Compromis de Complexité Computationnelle - SEBKF : Efficacité computationnelle élevée, mais problèmes de cohérence lorsque $\beta > 2$ - Estimateur basé sur l'échantillonnage : Charge computationnelle plus importante, mais meilleure universalité et garanties de cohérence ## Travaux Connexes ### Stratégies de Déclenchement Déterministes - Schémas Send-on-Delta (SOD) - SOD avec prédiction (SODP) - Échantillonnage adapté et échantillonnage basé sur la variance - Méthodes d'ensemble et filtres à particules pilotés par événements ### Stratégies de Déclenchement Stochastiques - Versions stochastiques de SOD et SODP - Versions modifiées utilisant des fonctions de pondération d'erreur gaussienne - Extensions du filtre de Kalman linéaire pour les cas standard et les données d'entrée corrélées ### Fondements Théoriques Yu et al. ont prouvé que dans le cas linéaire scalaire, pour tout déclencheur stochastique, il existe un meilleur déclencheur déterministe, fournissant un soutien théorique pour la comparaison des performances dans cet article. ## Conclusions et Discussion ### Conclusions Principales 1. **Efficacité du cadre unifié** : La fonction de pondération gaussienne généralisée unifie avec succès les stratégies de déclenchement déterministes et stochastiques, fournissant un espace de conception continu. 2. **Applicabilité de l'estimateur** : Le SEBKF convient aux scénarios de taux de transmission élevés, tandis que l'estimateur basé sur l'échantillonnage offre une meilleure universalité, particulièrement aux taux de transmission faibles. 3. **Compromis de performance** : Les stratégies déterministes (valeurs élevées de $\beta$) fournissent une erreur d'estimation plus faible pour le même taux de transmission, mais nécessitent une conception d'estimateur plus complexe. ### Limitations 1. **Complexité computationnelle** : La charge computationnelle de l'estimateur basé sur l'échantillonnage est significativement plus élevée que celle du SEBKF 2. **Ajustement des paramètres** : L'optimisation conjointe de $\beta$ et $Z$ nécessite des recherches supplémentaires 3. **Extension non-linéaire** : Le cadre actuel est principalement destiné aux systèmes linéaires ; l'extension aux systèmes non-linéaires reste à explorer ### Directions Futures 1. **Analyse théorique** : Établir les relations fonctionnelles entre le taux d'événements, les paramètres de conception $Z$ et l'erreur de déclenchement 2. **Conditions de cohérence** : Établir des conditions de cohérence rigoureuses pour le SEBKF 3. **Applications étendues** : Étudier d'autres fonctions de pondération et modèles de systèmes non-linéaires 4. **Applications pratiques** : Considérer les problèmes de communication pratiques tels que la perte de paquets et l'indisponibilité des capteurs ## Évaluation Approfondie ### Points Forts 1. **Innovation théorique** : Fournit pour la première fois un cadre mathématique unifiant les déclencheurs d'événements déterministes et stochastiques, possédant une valeur théorique importante 2. **Forte praticité** : Les méthodes proposées s'appliquent directement aux scénarios d'applications pratiques tels que les réseaux de capteurs sans fil 3. **Analyse complète** : Réalise une analyse théorique et expérimentale complète de la conception des déclencheurs à la cohérence de l'estimateur 4. **Universalité de la méthode** : L'estimateur basé sur l'échantillonnage peut être étendu à d'autres schémas de déclenchement, possédant une bonne universalité ### Insuffisances 1. **Efficacité computationnelle** : La complexité computationnelle élevée de l'estimateur basé sur l'échantillonnage peut limiter les applications en temps réel 2. **Sélection des paramètres** : Manque de mécanisme de sélection adaptative et de critères d'optimisation pour le paramètre $\beta$ 3. **Portée expérimentale** : Vérification uniquement sur des systèmes linéaires 2D, manquant de vérification sur des systèmes plus complexes 4. **Complétude théorique** : Les conditions nécessaires et suffisantes pour la cohérence du SEBKF n'ont pas été complètement établies ### Impact 1. **Contribution académique** : Fournit un cadre théorique unifié important pour le domaine de l'estimation pilotée par événements 2. **Valeur pratique** : Possède une valeur d'application directe dans les domaines de l'Internet des objets et des réseaux de capteurs intelligents 3. **Reproductibilité** : Les descriptions d'algorithmes sont claires, les configurations expérimentales détaillées, possédant une bonne reproductibilité 4. **Extensibilité** : Fournit une base théorique solide et plusieurs directions de recherche pour les travaux ultérieurs ### Scénarios d'Application 1. **Réseaux de capteurs sans fil** : Déploiement de capteurs à grande échelle avec bande passante limitée 2. **Systèmes Internet des objets** : Surveillance d'état des appareils intelligents à énergie limitée 3. **Contrôle industriel** : Systèmes industriels avec exigences de temps réel élevées mais ressources de communication limitées 4. **Transport intelligent** : Perception coopérative et estimation d'état dans les réseaux véhiculaires ## Références Bibliographiques Cet article cite 28 références connexes, couvrant les domaines importants du contrôle piloté par événements, de l'estimation d'état et du filtrage à particules, fournissant une base théorique solide pour la recherche. Les références clés incluent : - Travaux fondamentaux sur le déclenchement piloté par événements (Miskowicz, 2006) - Recherches pionnières sur le déclenchement d'événements stochastiques (Han et al., 2015) - Analyse théorique de la comparaison entre déclenchement déterministe et stochastique (Yu et al., 2021) - Applications du filtrage à particules dans l'estimation pilotée par événements (Gasmi et al., 2022-2024) --- **Évaluation Globale** : Ceci est un article de haute qualité dans le domaine du contrôle des systèmes, unifiant avec succès les méthodes de déclenchement d'événements déterministes et stochastiques, fournissant des contributions théoriques importantes et une valeur pratique. Bien qu'il y ait encore de la place pour l'amélioration en termes d'efficacité computationnelle et de complétude théorique, son caractère innovant et sa praticité en font un progrès important dans ce domaine.