[article] in IEEE transactions on automatic control > Vol. 52 N°12 (Decembre 2007) . - 2356-2360 p. Titre : | Detectability of discrete event systems | Titre original : | Détectabilité des systèmes d'événement discret | Type de document : | texte imprimé | Auteurs : | Shu, Shaolong, Auteur ; Lin, Feng, Auteur ; Ying, Hao, Auteur | Article en page(s) : | 2356-2360 p. | Note générale : | Automatique | Langues : | Anglais (eng) | Mots-clés : | Detectability Discrete event systems Observability State estimation Détectabilité Systèmes d'événement discret Observabilité Évaluation d'état | Index. décimale : | 629.8 | Résumé : | In this note, we investigate the detectability problem in discrete event systems. We assume that we do not know initially which state the system is in. The problem is to determine the current and subsequent states of the system based on a sequence of observations. The observation includes partial event observation and/or partial state observation, which leads to four possible cases. We further define four types of detectabilities: strong detectability, (weak) detectability, strong periodic detectability, and (weak) periodic detectability. We derive necessary and sufficient conditions for these detectabilities. These conditions can be checked by constructing an observer, which models the estimation of states under different observations. The theory developed in this note can be used in feedback control and diagnosis. If the system is detectable, then the observer can be used as a diagnoser to diagnose the failure states of the system.
Dans cette note, nous étudions le problème de détectabilité dans des systèmes d'événement discret. Nous supposons que nous ne savons pas qu'au commencement qui énoncent le système est dedans. Le problème est de déterminer les états courants et suivants du système basé sur un ordre des observations. L'observation inclut l'observation partielle d'événement et/ou l'observation partielle d'état, qui mène à quatre cas possibles. Nous définissons plus loin quatre types de detectabilities : détectabilité forte, détectabilité (faible), détectabilité périodique forte, et détectabilité périodique (faible). Nous dérivons des conditions nécessaires et suffisantes pour ces detectabilities. Ces conditions peuvent être vérifiées en construisant un observateur, qui modèle l'évaluation des états sous différentes observations. La théorie développée dans cette note peut être employée dans la commande et le diagnostic de rétroaction. Si le système est discernable, alors l'observateur peut être employé comme diagnoser pour diagnostiquer les états de dérangement du système. | DEWEY : | 629.8 | ISSN : | 0018-9286 |
[article] Detectability of discrete event systems = Détectabilité des systèmes d'événement discret [texte imprimé] / Shu, Shaolong, Auteur ; Lin, Feng, Auteur ; Ying, Hao, Auteur . - 2356-2360 p. Automatique Langues : Anglais ( eng) in IEEE transactions on automatic control > Vol. 52 N°12 (Decembre 2007) . - 2356-2360 p. Mots-clés : | Detectability Discrete event systems Observability State estimation Détectabilité Systèmes d'événement discret Observabilité Évaluation d'état | Index. décimale : | 629.8 | Résumé : | In this note, we investigate the detectability problem in discrete event systems. We assume that we do not know initially which state the system is in. The problem is to determine the current and subsequent states of the system based on a sequence of observations. The observation includes partial event observation and/or partial state observation, which leads to four possible cases. We further define four types of detectabilities: strong detectability, (weak) detectability, strong periodic detectability, and (weak) periodic detectability. We derive necessary and sufficient conditions for these detectabilities. These conditions can be checked by constructing an observer, which models the estimation of states under different observations. The theory developed in this note can be used in feedback control and diagnosis. If the system is detectable, then the observer can be used as a diagnoser to diagnose the failure states of the system.
Dans cette note, nous étudions le problème de détectabilité dans des systèmes d'événement discret. Nous supposons que nous ne savons pas qu'au commencement qui énoncent le système est dedans. Le problème est de déterminer les états courants et suivants du système basé sur un ordre des observations. L'observation inclut l'observation partielle d'événement et/ou l'observation partielle d'état, qui mène à quatre cas possibles. Nous définissons plus loin quatre types de detectabilities : détectabilité forte, détectabilité (faible), détectabilité périodique forte, et détectabilité périodique (faible). Nous dérivons des conditions nécessaires et suffisantes pour ces detectabilities. Ces conditions peuvent être vérifiées en construisant un observateur, qui modèle l'évaluation des états sous différentes observations. La théorie développée dans cette note peut être employée dans la commande et le diagnostic de rétroaction. Si le système est discernable, alors l'observateur peut être employé comme diagnoser pour diagnostiquer les états de dérangement du système. | DEWEY : | 629.8 | ISSN : | 0018-9286 |
|