CN102929149A - Reverse ergodic diagnostic method for discrete event system - Google Patents
Reverse ergodic diagnostic method for discrete event system Download PDFInfo
- Publication number
- CN102929149A CN102929149A CN2012104443160A CN201210444316A CN102929149A CN 102929149 A CN102929149 A CN 102929149A CN 2012104443160 A CN2012104443160 A CN 2012104443160A CN 201210444316 A CN201210444316 A CN 201210444316A CN 102929149 A CN102929149 A CN 102929149A
- Authority
- CN
- China
- Prior art keywords
- diagnosis
- observation
- time window
- state
- sensor
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Granted
Links
Images
Landscapes
- Testing And Monitoring For Control Systems (AREA)
Abstract
The invention relates to a reverse ergodic diagnostic method for a discrete event system and belongs to the technical field of model diagnosis. Firstly, a system model automatic machine is built, a sensor facilitating diagnosis is added at the appropriate position, and a time window can be designed according to relative characteristics of maximum transmission delay of a system. Then, observation sequence and state of the system can be obtained in a cycle mode according to the length of the time window. If the observation sequence changes, reverse ergodic can be carried out according to transfer relation between observation in the current time window and the automatic machine to obtain information of a former state. If in an initial state, corresponding paths and fault information can be given out. If in a middle state, corresponding paths and diagnosis information can be given out. If diagnosis information is obtained, observation and diagnosis information obtained in the window can be added into a middle state list to finish diagnosing current window observation. If not, reverse ergodic for the former state is carried out continuously until diagnosis finishes.
Description
Technical field
Patent of the present invention relates to a kind of reverse traversal diagnostic method of discrete event system, relates in particular to a kind of dynamic diagnosis method of discrete event system, belongs to the Model Diagnosis technical field.
Background technology
Discrete event system based on diagnoses of models since the people such as 20th century the mid-90 Sampath have the research of the meaning started, be subject to more and more researchs and engineering staff's attention, become a hot research problem based on the Model Diagnosis field, obtained many achievements in research and application.Recent years particularly, at AI, JAIR, IJCAI, AAAI in the top magazine of artificial intelligence internal authority such as ECAI and the meeting, has delivered many DESs based on the paper of Model Diagnosis.In addition, more American-European countries began to hold the diagnosis principle meeting (DX) from the nineties initial stage every year, also had recent years many about the paper of discrete event system based on Model Diagnosis.At extensive discrete event system such as electric power transmission network, large-scale communication network etc. have also been obtained successful application; Such as the fault detection and location of large-scale VHDL program, the diagnosis of large-sized asynchronous discrete event system, network communication fault diagnosis, automobile failure diagnosis, gas turbine monitoring etc.
About the diagnosis research of discrete event system, mainly contain now the problems such as the diagnosticability that mainly disperses from monitoring theory research such as Univ Michigan-Ann Arbor USA professor Lafortune; The online increment diagnosis of main research and the diagnosticability problems such as France reyn professor Cordier of university; The main research such as professor Lamperti of Italy Brescia university active system diagnosis problem (posteriority and inline diagnosis); Professors Wonham of University of Toronto etc. are mainly from global coherency research distributed diagnostics problem; Some scholars of Australian National University are also in the new method of studying increment diagnosis and diagnosability analysis.
The Symbolic fault diagnosis method of discrete event system is having a wide range of applications aspect the system monitoring of large scale industry system, aerospace system and the fault handling, and the diagnostic method of expansion can be applied to the aspects such as software translating and fault handling.Patent of the present invention relates to a kind of reverse traversal diagnostic method of discrete event system.
Summary of the invention
Fundamental purpose of the present invention provides the diagnostic method that oppositely travels through in a kind of discrete event system, realization is to the dynamic diagnosis of discrete event system, designed rational sensor chosen position in this method, also provide simultaneously the reasonable time window of suitable dynamic diagnosis, provided at last the reverse traversal diagnostic method of discrete event.
By reference to the accompanying drawings, be described as follows:
The diagnostic method that oppositely travels through in a kind of discrete event system comprises the steps: at least
Step 1: according to behavior pattern and the interelement relation of element in the system, set up the model automat of system;
Step 2: in system, select correct position, add and be convenient to diagnose required sensor the behavior pattern of relevant position in the supervisory system;
Step 3: to all sensors, set up the automat of each sensor monitor component in system, and the model automat synthesis system of coupling system observation automat;
Step 4: according to the relevant nature of maximum traffic delay, the time window of inline diagnosis needs is only satisfied in design, so that actual observation of sending can in time be processed according to PS;
Step 5: after system's operation, in each time window, according to current state and observation, diagnose with the reverse traversal method of automat.
Described step 2 selects correct position to comprise at least:
Step a: according to the syndeton between parts in the system, provide all position candidate;
Step b: for all position candidate, in conjunction with the complexity of each position candidate counter element, provide the complicated weight of each position counter element and the cost weight that each position adds sensor;
Step c: provide the position that adds sensor in conjunction with cost weight and complicated weight.
Described step 4 is according to the relevant nature of maximum traffic delay, and the method that inline diagnosis needs time window is only satisfied in design comprises at least:
Steps d: for each sensor, when system testing moves, provide the corresponding transmission delay of each sensor;
Step e: select transmission delay maximum in all transmission delays, be the time window of system;
Step f: in each time window, can receive the monitoring state that each sensor sends in the window at this moment, and then can carry out inline diagnosis;
Described step 5 comprises at least based on the diagnostic method of reverse traversal:
Step g: according to the observation in the current time window and the transfer relationship between automat, oppositely travel through;
Step h: when oppositely traversing the previous state of current state, check whether this state arrives original state or intermediateness, if do not arrive, turn step g;
Step I: be original state if oppositely travel through the state that obtains among the step h, then provide respective paths and failure message thereof; If be intermediateness, then provide corresponding path and diagnostic message thereof according to this intermediateness, join the intermediateness tabulation at last and with observation and the diagnostic message that obtains in this window;
Step j: as continuing diagnosis, turn step g, carry out the diagnosis of observing in next time window; Otherwise, withdraw from.
Beneficial effect of the present invention:
The present invention will improve the diagnosis efficiency of discrete event system, significantly improve its practicality, also can be used as the basis based on Model Diagnosis research of carrying out from commingled system to pure continuous dynamic system, the enrich with develop discrete event system is based on theory and the method for Model Diagnosis.
Description of drawings
Fig. 1 is structural representation of the present invention;
Fig. 2 is schematic flow sheet of the present invention;
Fig. 3 oppositely travels through the diagnostic process schematic diagram;
Fig. 4 is typical water tank example in the discrete event system scientific research;
Fig. 5 is rational time window schematic diagram;
Fig. 6 is the observation automaton model of discrete event system.
Embodiment
Below by specific embodiment and accompanying drawing the present invention is described in detail:
Referring to Fig. 1 and Fig. 2, a kind of reverse traversal diagnostic method of discrete event system, its step comprises:
Step 1: according to behavior pattern and the interelement relation of element in the system, set up the model automat of system;
Step 2: in system, select correct position, add and be convenient to diagnose required sensor the behavior pattern of relevant position in the supervisory system;
Step 3: to all sensors, set up the automat of each sensor monitor component in system, and the model automat synthesis system of coupling system observation automat;
Step 4: according to the relevant nature of maximum traffic delay, the time window of inline diagnosis needs is only satisfied in design, so that actual observation of sending can be processed timely according to PS;
Step 5: after system's operation, in each time window, according to current state and observation, diagnose with the reverse traversal method of automat.
Particularly, in the present embodiment, system flowchart such as Fig. 2, to the system that will diagnose, model system model automat; Select correct position to add and be convenient to diagnose required sensor, and set up the systematic observation automat according to the synchronous event between sensor; The relevant nature design time window of the maximum traffic delay of frame of reference.Then, according to the length of time window, observation sequence and the state of the system that obtains in cycle.Subsequently, as when observation sequence changes, according to the observation in the current time window and the transfer relationship between automat, oppositely travel through, check whether oppositely travel through the previous state that obtains is original state or intermediateness.If be original state, then provide respective paths and failure message thereof; If be intermediateness, then provide corresponding path and diagnostic message thereof according to this intermediateness.If obtain diagnostic message this moment, observation and the diagnostic message that obtains in this window joined the intermediateness tabulation, finish the diagnosis of current window observation.Otherwise continue oppositely traversal previous state, carry out the inspection of NextState, until finish diagnosis.
Described step 2 selects correct position to comprise at least:
Step a: according to the syndeton between parts in the whole system, provide all position candidate.As shown in Figure 4, position candidate is S
1, S
2, S
3, S
4, S
5, S
6, S
7, S
8
Step b: for all position candidate, in conjunction with the complexity of each position candidate counter element, provide the complicated weight of each position counter element and the cost weight that each position adds sensor.Complicated weight and cost weight for position candidate among Fig. 4 are respectively 0,1, and 1,1,1,1/2,2,2 and 1,1,2,2,2,1,2,2;
Step c: provide the position that adds sensor in conjunction with cost weight and complicated weight.For the above complicated weight that provides and cost weight, obtain comprehensive weight by complicated weight/cost weight and be respectively 0,1,1/2,1/2,1/2,1/2,1,1.So select S
2, S
7, S
8The position adds sensor;
The method that inline diagnosis needs time window is only satisfied in described step 4 design comprises at least:
Steps d: for each sensor, when system testing moves, provide the corresponding transmission delay of each sensor.As shown in Figure 5, S
2, S
7, S
8The corresponding propagation delay time is respectively o
11, o
12, o
13
Step e: select transmission delay maximum in all transmission delays, be the time window of system.As shown in Figure 5, select o
13Corresponding time t
1Be time window;
Step f: in each time window, can receive the monitoring state that each sensor sends in the window at this moment, and then can carry out inline diagnosis.Can receive as shown in Figure 5 the corresponding observation of sensor in each time window.
Described step 5 comprises at least based on the diagnostic method of reverse traversal:
Step g: according to the observation in the current time window and the transfer relationship between automat, oppositely travel through.As shown in Figure 5, establish current being observed lowp, absco, lowta}, then oppositely the previous state of traversal is { nrmp, absco, nrmta};
Step h: when oppositely traversing the previous state of current state, check whether this state is original state or intermediateness.As shown in Figure 6, oppositely the previous state of traversal is that { nrmta} judges whether this state arrives intermediateness or original state for nrmp, absco.If do not arrive, turn step g;
Step I: be original state if oppositely travel through the state that obtains among the step h, then provide respective paths and failure message thereof; As shown in Figure 6, the path nrmp, absco, nrmta}-〉and lowp, absco, lowta} are the running orbit of system, and obtain current window is observed correspondence in the time diagnostic message in this path; If be intermediateness, then provide corresponding path and diagnostic message thereof according to this intermediateness.As shown in Figure 6, suppose path { nrmp, absco, nrmta}-〉{ lowp, absco, lowta} is the running orbit that system obtains observing in from last intermediateness to current observation window, according to diagnostic message corresponding to intermediateness and on this path corresponding diagnostic message, obtain observing in the current window diagnostic message corresponding to state.At last, observation and the diagnostic message that obtains in this window joined the intermediateness tabulation.
Step j: as continuing diagnosis, turn step g, carry out the diagnosis of observing in next time window; Otherwise, withdraw from.
It should be noted that at last: above embodiment is only unrestricted in order to the present invention to be described, although with reference to preferred embodiment the present invention is had been described in detail, those of ordinary skill in the art is to be understood that, can make amendment or be equal to replacement the present invention, and not breaking away from the spirit and scope of the present invention, it all should be encompassed in the middle of the claim scope of the present invention.
Claims (4)
1. the reverse traversal diagnostic method of a discrete event system is characterized in that: comprise the steps: at least
Step 1: according to behavior pattern and the interelement relation of element in the system, set up the model automat of system;
Step 2: in system, select correct position, add and be convenient to diagnose required sensor the behavior pattern of relevant position in the supervisory system;
Step 3: to all sensors, set up the automat of each sensor monitor component in system, and the model automat synthesis system of coupling system observation automat;
Step 4: according to the relevant nature of maximum traffic delay, the time window of inline diagnosis needs is only satisfied in design, so that actual observation of sending can in time be processed according to PS;
Step 5: after system's operation, in each time window, according to current state and observation, diagnose with the reverse traversal method of automat.
2. the reverse traversal diagnostic method of a kind of discrete event system according to claim 1 is characterized in that described step 2 selects correct position to comprise at least:
Step a: according to the syndeton between parts in the system, provide all position candidate;
Step b: for all position candidate, in conjunction with the complexity of each position candidate counter element, provide the complicated weight of each position counter element and the cost weight that each position adds sensor;
Step c: provide the position that adds sensor in conjunction with cost weight and complicated weight.
3. the reverse traversal diagnostic method of a kind of discrete event system according to claim 1 and 2 is characterized in that described step 4 according to the relevant nature of maximum traffic delay, and the method that inline diagnosis needs time window is only satisfied in design comprises at least:
Steps d: for each sensor, when system testing moves, provide the corresponding transmission delay of each sensor;
Step e: select transmission delay maximum in all transmission delays, be the time window of system;
Step f: in each time window, can receive the monitoring state that each sensor sends in the window at this moment, and then can carry out inline diagnosis.
4. the reverse traversal diagnostic method of a kind of discrete event system according to claim 3 is characterized in that described step 5 comprises at least based on the diagnostic method of reverse traversal:
Step g: according to the observation in the current time window and the transfer relationship between automat, oppositely travel through;
Step h: when oppositely traversing the previous state of current state, check whether this state arrives original state or intermediateness, if do not arrive, turn step g;
Step I: be original state if oppositely travel through the state that obtains among the step h, then provide respective paths and failure message thereof; If be intermediateness, then provide corresponding path and diagnostic message thereof according to this intermediateness, join the intermediateness tabulation at last and with observation and the diagnostic message that obtains in this window;
Step j: as continuing diagnosis, turn step g, carry out the diagnosis of observing in next time window; Otherwise, withdraw from.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201210444316.0A CN102929149B (en) | 2012-11-08 | 2012-11-08 | Reverse ergodic diagnostic method for discrete event system |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201210444316.0A CN102929149B (en) | 2012-11-08 | 2012-11-08 | Reverse ergodic diagnostic method for discrete event system |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| CN102929149A true CN102929149A (en) | 2013-02-13 |
| CN102929149B CN102929149B (en) | 2015-03-11 |
Family
ID=47643978
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN201210444316.0A Expired - Fee Related CN102929149B (en) | 2012-11-08 | 2012-11-08 | Reverse ergodic diagnostic method for discrete event system |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN102929149B (en) |
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN110456743A (en) * | 2019-07-12 | 2019-11-15 | 西北工业大学 | Consider the flexible manufacturing system distributed director design method of communication delay |
Citations (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US20040034506A1 (en) * | 2002-08-13 | 2004-02-19 | Xerox Corporation | Systems and methods for distributed fault diagnosis using precompiled finite state automata |
| US20120185736A1 (en) * | 2011-01-19 | 2012-07-19 | Oracle International Corporation | System and method for using dependency in a dynamic model to relate performance problems in a complex middleware environment |
-
2012
- 2012-11-08 CN CN201210444316.0A patent/CN102929149B/en not_active Expired - Fee Related
Patent Citations (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US20040034506A1 (en) * | 2002-08-13 | 2004-02-19 | Xerox Corporation | Systems and methods for distributed fault diagnosis using precompiled finite state automata |
| US20120185736A1 (en) * | 2011-01-19 | 2012-07-19 | Oracle International Corporation | System and method for using dependency in a dynamic model to relate performance problems in a complex middleware environment |
Non-Patent Citations (3)
| Title |
|---|
| XUENA GENG 等: ""Disassembling and Reconstructing Algorithms for Discrete Event Systems"", 《2011 23RD IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE》 * |
| 廉智超 等: ""基于模型检测的实时模型诊断方法"", 《吉林大学学报( 理学版)》 * |
| 赵相福 等: ""离散事件系统基于模型诊断的研究进展"", 《计算机科学与探索》 * |
Cited By (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN110456743A (en) * | 2019-07-12 | 2019-11-15 | 西北工业大学 | Consider the flexible manufacturing system distributed director design method of communication delay |
| CN110456743B (en) * | 2019-07-12 | 2022-03-15 | 西北工业大学 | Design method of distributed controller of flexible manufacturing system considering communication delay |
Also Published As
| Publication number | Publication date |
|---|---|
| CN102929149B (en) | 2015-03-11 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| Jiang et al. | Data-driven fault diagnosis and thermal runaway warning for battery packs using real-world vehicle data | |
| CN103296677B (en) | A kind of online bulk power grid recovers aid decision-making system | |
| Zhong et al. | Overview of predictive maintenance based on digital twin technology | |
| WO2017177604A1 (en) | Fault detection and positioning system for cell panel in large-scale photovoltaic array | |
| CN111985558A (en) | Electric energy meter abnormity diagnosis method and system | |
| Li et al. | Researches on the reliability evaluation of integrated energy system based on Energy Hub | |
| CN109858194A (en) | A kind of fault propagation risk analysis method and preventing control method based on metaaction chain | |
| CN111476471A (en) | Comprehensive energy fault diagnosis system and method based on comprehensive energy model | |
| CN112070395A (en) | Energy internet reliability evaluation system, model establishing method and evaluation method | |
| Yousefnezhad et al. | Product lifecycle information management with digital twin: a case study | |
| CN108051637A (en) | A kind of Intelligent electric energy meter clock battery failures diagnostic method | |
| CN102929149B (en) | Reverse ergodic diagnostic method for discrete event system | |
| Jiang et al. | Real-time intelligent elevator monitoring and diagnosis: Case studies and solutions with applications using artificial intelligence | |
| Zhang et al. | Risk assessment of offshore micro integrated energy system based on fluid mosaic model | |
| CN103296678B (en) | A kind of online bulk power grid recovers aid decision-making method | |
| Sun et al. | Reliability of cyber physical systems assessment of the aircraft fuel management system | |
| CN101645102A (en) | Computer subsidiary product assembling sequence generation method | |
| CN110427689B (en) | Method for monitoring and diagnosing gas turbine unit group based on new information technology | |
| CN102592004A (en) | System and method for on-line analysis and diagnosis of whole-process energy-consuming conditions of integrated iron and steel works | |
| CN102735435A (en) | Method for determining fault diagnosability of momentum wheel based on relevance model | |
| Liu et al. | Research on verification of sensor fault diagnosis based on BP neural network | |
| CN102096770A (en) | Network-based performance degradation assessment method of rotary machine | |
| He et al. | Research on fault diagnosis method based on FMEA/FTA and Bayesian network | |
| CN106777032A (en) | A kind of mixing approximate enquiring method under cloud computing environment | |
| Hu et al. | Reliability research for PV system using BDD-based fault tree analysis |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| C06 | Publication | ||
| PB01 | Publication | ||
| C10 | Entry into substantive examination | ||
| SE01 | Entry into force of request for substantive examination | ||
| C14 | Grant of patent or utility model | ||
| GR01 | Patent grant | ||
| CF01 | Termination of patent right due to non-payment of annual fee |
Granted publication date: 20150311 Termination date: 20151108 |
|
| EXPY | Termination of patent right or utility model |