Abstract-This paper studerar online feldetektering och isolering av modulära dynamiska system modellerade som uppsättningar av plats-gränsade Petri nät. Vanliga platser bland uppsättningen Petri nät modellera ett system fånga koppling av olika systemkomponenter. Övergångarna är märkta med händelser, av vilka en del inte är observerbara (dvs. inte direkt inspelade av de sensorer som är anslutna till systemet). De händelser vars förekomst måste diagnostiseras har omärkbara övergångsmärkningar. Dessa händelser modellerar fel eller andra betydande förändringar i systemtillståndet. Den befintliga diagnosteorin för diskreta event-system utvidgas i samband med ovanstående modell. Den modulära strukturen i systemet utnyttjas av en distribuerad algoritm för feldiagnos. En Petri nettodiagnoser är associerad med varje Petri nät och diagnoserna kommunicerar i realtid under diagnosprocessen när token räkna gemensamma platser ändras. En sammanfogning funktion definieras för att kombinera individuella diagnoser tillstånd och återställa den fullständiga diagnoser tillstånd som skulle erhållas under en monolitisk metod. Strategier som minskar kommunikation overhead presenteras. Programvaruimplementeringen av den distribuerade algoritmen diskuteras. Not to Practitioners-Under det senaste årtiondet har övervakning, feldetektering och diagnosmetoder baserade på användning av diskreta modeller framgångsrikt använts i en mängd olika tekniska system som sträcker sig från dokumentbehandlingssystem till intelligenta transportsystem. Detta dokument motiverades av problemet med feldiagnos för modulära (distribuerade) dynamiska diskreta-eventssystem (DES). Som en DES-modellformalitet erbjuder Petri-nät potentiella fördelar när det gäller systemets fördelade representation och förmågan att representera koppling av systemkomponenterna. De system som studeras i detta dokument är moduler i kombination med varandra genom olika systemkomponenter och modellerade med hjälp av Petri-nät. Vi presenterar en distribuerad feldiagnosalgoritm som gör att varje modul i det distribuerade systemet kan diagnostisera sina fel oberoende om inte slutförandet av en uppgift kräver användning av kopplade komponenter. När det gäller koppling kommunicerar moduler med varandra för att korrekt diagnostisera felet. Den distribuerade feldiagnos algoritmen återvinner den monolitiska diagnosinformationen på bekostnad av kommunikation och växande kommunikation overhead. För att mildra detta problem presenterar vi en förbättrad version av algoritmen som avsevärt minskar kommunikation overhead. Slutligen introducerar vi programvaruverktygslådan (skriven i Matlab och integrerad med AT&T Graphviz) och presenterar en fallstudie av ett exempel på ett värme-, ventilations- och luftkonditioneringssystem där vi använder programvaruverktyget för att modellera och analysera systemet.
En distribuerad version av diagnosen föreslås i REF.
Distributed Diagnosis of Place-Bordered Petri Nets
{'venue': 'IEEE Transactions on Automation Science and Engineering', 'journal': 'IEEE Transactions on Automation Science and Engineering', 'mag_field_of_study': ['Computer Science']}