Abstruct-Fault detektering och isolering är en avgörande och utmanande uppgift i den automatiska kontrollen av stora komplexa system. Vi föreslår en diskret-event system (DES) strategi för problemet med feldiagnos. Vi introducerar två relaterade begrepp om diagnostik av DES:s inom ramen för formella språk och jämför diagnostikbarhet med de relaterade begreppen observerbarhet och inverterbarhet. Vi presenterar ett systematiskt förfarande för upptäckt och isolering av felhändelser med hjälp av diagnoser och ger nödvändiga och tillräckliga villkor för att ett språk ska kunna diagnostiseras. Diagnostorn utför diagnostik med hjälp av online observationer av systemets beteende; Det används också för att ange och verifiera off-line de nödvändiga och tillräckliga förutsättningarna för diagnoserbarhet. Dessa tillstånd anges på diagnosatorn eller variationer därav. Den metod för feldiagnos som presenteras i detta dokument är tillämplig på system som faller naturligt i klass DES; dessutom, i syfte att diagnos, kan de flesta kontinuerliga variabla dynamiska system betraktas som DES: s på en högre abstraktionsnivå. I ett följedokument [20] tillhandahåller vi en metod för att bygga DES-modeller för feldiagnos och presentera tillämpningar av den teori som utvecklats i detta dokument.
I REF införde författarna den första definitionen av diagnoserbarhet för DES och föreslog ett nödvändigt och tillräckligt villkor för att testa det genom att konstruera en deterministisk diagnoser för det globala systemet.
Diagnosability of discrete-event systems
{'venue': None, 'journal': 'IEEE Transactions on Automatic Control', 'mag_field_of_study': ['Computer Science']}