Description du livre
Estimation et inférence dans les systèmes à événements discrets choisit un modèle populaire pour les systèmes d'automatisation émergents - les automates finis sous observation partielle - et se concentre sur une étude complète des problèmes clés de l'estimation d'état et de l'inférence d'événements. Le texte inclut le traitement de l'estimation de l'état actuel, retardé et initial. Les applications connexes d'évaluation et d'application de la résilience - détection et diagnostic des défaillances - sécurité - confidentialité et opacité - propriétés sont abordées, ce qui permet au lecteur d'appliquer ces techniques à une variété d'applications émergentes, notamment les processus de fabrication automatisés, les systèmes de véhicules/autoroutes intelligents et les véhicules autonomes.
Le livre fournit un développement systématique d'algorithmes récursifs pour l'estimation d'état et l'inférence d'événements. L'
auteur s'occupe également de la vérification des propriétés pertinentes telles que :
la capacité de déterminer l'état exact d'un système, la "détectabilité" ;la capacité de s'assurer que certaines catégories de défaillances peuvent être détectées/identifiées, la "diagnostiabilité" ; etla capacité de s'assurer que certaines variables d'état internes du système restent "cachées" du monde extérieur quel que soit le type d'activité qui s'y déroule, "l'opacité".
Cet ouvrage permet aux étudiants, aux chercheurs et aux ingénieurs en exercice de saisir rapidement et sans avoir à maîtriser toute l'étendue des modèles disponibles dans la littérature les aspects fondamentaux de l'estimation d'état dans les systèmes à événements discrets, tels que la distributivité et l'inférence probabiliste.