Fault detection and diagnosis(FDD) facilitates reliable operation of systems. Various approaches have been proposed for FDD like Analytical redundancy(AR), Principal component analysis(PCA), Discrete event system(DES)...Fault detection and diagnosis(FDD) facilitates reliable operation of systems. Various approaches have been proposed for FDD like Analytical redundancy(AR), Principal component analysis(PCA), Discrete event system(DES) model etc., in the literature. Performance of FDD schemes greatly depends on accuracy of the sensors which measure the system parameters.Due to various reasons like faults, communication errors etc.,sensors may occasionally miss or report erroneous values of some system parameters to FDD engine, resulting in measurement inconsistency of these parameters. Schemes like AR, PCA etc.,have mechanisms to handle measurement inconsistency, however,they are computationally heavy. DES based FDD techniques are widely used because of computational simplicity, but they cannot handle measurement inconsistency efficiently. Existing DES based schemes do not use Measurement inconsistent(MI)parameters for FDD. These parameters are not permanently unmeasurable or erroneous, so ignoring them may lead to weak diagnosis. To address this issue, we propose a Measurement inconsistent discrete event system(MIDES) framework, which uses MI parameters for FDD at the instances they are measured by the sensors. Otherwise, when they are unmeasurable or erroneously reported, the MIDES invokes an estimator diagnoser that predicts the state(s) the system is expected to be in, using the subsequent parameters measured by the other sensors. The efficacy of the proposed method is illustrated using a pumpvalve system. In addition, an MIDES based intrusion detection system has been developed for detection of rogue dynamic host configuration protocol(DHCP) server attack by mapping the attack to a fault in the DES framework.展开更多
This paper offers preliminary work on system dynamics and Data mining tools. It tries to understand the dynamics of carrying out large-scale events, such as Hajj. The study looks at a large, recurring problem as a var...This paper offers preliminary work on system dynamics and Data mining tools. It tries to understand the dynamics of carrying out large-scale events, such as Hajj. The study looks at a large, recurring problem as a variable to consider, such as how the flow of people changes over time as well as how location interacts with placement. The predicted data is analyzed using Vensim PLE 32 modeling software, GIS Arc Map 10.2.1, and AnyLogic 7.3.1 software regarding the potential placement of temporal service points, taking into consideration the three dynamic constraints and behavioral aspects: a large population, limitation in time, and space. This research proposes appropriate data analyses to ensure the optimal positioning of the service points with limited time and space for large-scale events. The conceptual framework would be the output of this study. Knowledge may be added to the insights based on the technique.展开更多
In this paper we provide a sufficient and necessary condition for the eigenvalueand eigenvector of a general reducible matrix in a discrete-event system described by the“max”algebra,analyse the steady periodical per...In this paper we provide a sufficient and necessary condition for the eigenvalueand eigenvector of a general reducible matrix in a discrete-event system described by the“max”algebra,analyse the steady periodical performance of the system,and obtain ananalytic solution of the dynamic equation.We propose the conception of“order-d-(?)-block-periodical matrix”and obtain its sufficient and necessary condition and provide an algorithmof (?) matrix.展开更多
Differed from the existed applications of generalized stochastic Petri net(GSPN) theory in machine-tool manufacturing system, reliability computation of FMS, testabilityparameters determination and fault analysis, a n...Differed from the existed applications of generalized stochastic Petri net(GSPN) theory in machine-tool manufacturing system, reliability computation of FMS, testabilityparameters determination and fault analysis, a new idea of applying GSPN to model and performanceanalysis for the serial and parallel production system is proposed. And one typical discrete eventdynamic system (DEDS), turner-unit of palletizing system, is taken as a real case to research. Basedupon the established GSPN models, the working performances of serial and parallel layout arecompared. Furthermore, their differences of working mechanisms including feeding mechanism,coordinating mechanism and monitoring mechanism are discussed. Thus the theoretical basis which ishelpful to appraise layout plan and its reasonableness is provided. Meanwhile, the research resultsshow that parallel layout is more advantageous to greatly improve the operational speed ofproduction system than serial one.展开更多
In this work, the modeling and stability problem for a communication network system is addressed. The communication network system consists of a transmitter which sends messages to a receiver. The proposed model consi...In this work, the modeling and stability problem for a communication network system is addressed. The communication network system consists of a transmitter which sends messages to a receiver. The proposed model considers two possibilities. The first one, that messages are successfully received, while in the second one, during the sending process the transmitter breaks down and as a result the message does not reach the receiver. Timed Petrinets is the mathematical and graphical modeling technique utilized. Lyapunov stability theory provides the required tools needed to aboard the stability problem. Employing Lyapunov methods, a sufficient condition for stabilization is obtained. It is shown that it is possible to restrict the communication network system state space in such a way that boundedness is guaranteed. However, this restriction results to be vague. This inconvenience is overcome by considering a specific recurrence equation, in the max-plus algebra, which is assigned to the timed Petri net graphical model.展开更多
基金supported by TATA Consultancy Services(TCS),India through TCS Research Fellowship Program
文摘Fault detection and diagnosis(FDD) facilitates reliable operation of systems. Various approaches have been proposed for FDD like Analytical redundancy(AR), Principal component analysis(PCA), Discrete event system(DES) model etc., in the literature. Performance of FDD schemes greatly depends on accuracy of the sensors which measure the system parameters.Due to various reasons like faults, communication errors etc.,sensors may occasionally miss or report erroneous values of some system parameters to FDD engine, resulting in measurement inconsistency of these parameters. Schemes like AR, PCA etc.,have mechanisms to handle measurement inconsistency, however,they are computationally heavy. DES based FDD techniques are widely used because of computational simplicity, but they cannot handle measurement inconsistency efficiently. Existing DES based schemes do not use Measurement inconsistent(MI)parameters for FDD. These parameters are not permanently unmeasurable or erroneous, so ignoring them may lead to weak diagnosis. To address this issue, we propose a Measurement inconsistent discrete event system(MIDES) framework, which uses MI parameters for FDD at the instances they are measured by the sensors. Otherwise, when they are unmeasurable or erroneously reported, the MIDES invokes an estimator diagnoser that predicts the state(s) the system is expected to be in, using the subsequent parameters measured by the other sensors. The efficacy of the proposed method is illustrated using a pumpvalve system. In addition, an MIDES based intrusion detection system has been developed for detection of rogue dynamic host configuration protocol(DHCP) server attack by mapping the attack to a fault in the DES framework.
文摘This paper offers preliminary work on system dynamics and Data mining tools. It tries to understand the dynamics of carrying out large-scale events, such as Hajj. The study looks at a large, recurring problem as a variable to consider, such as how the flow of people changes over time as well as how location interacts with placement. The predicted data is analyzed using Vensim PLE 32 modeling software, GIS Arc Map 10.2.1, and AnyLogic 7.3.1 software regarding the potential placement of temporal service points, taking into consideration the three dynamic constraints and behavioral aspects: a large population, limitation in time, and space. This research proposes appropriate data analyses to ensure the optimal positioning of the service points with limited time and space for large-scale events. The conceptual framework would be the output of this study. Knowledge may be added to the insights based on the technique.
文摘In this paper we provide a sufficient and necessary condition for the eigenvalueand eigenvector of a general reducible matrix in a discrete-event system described by the“max”algebra,analyse the steady periodical performance of the system,and obtain ananalytic solution of the dynamic equation.We propose the conception of“order-d-(?)-block-periodical matrix”and obtain its sufficient and necessary condition and provide an algorithmof (?) matrix.
基金This project is supported by National 863 Hi-Tech Project of China (No.512980106) Provincical Natural Science Foundation of Zhejiang (No.ZD0107).
文摘Differed from the existed applications of generalized stochastic Petri net(GSPN) theory in machine-tool manufacturing system, reliability computation of FMS, testabilityparameters determination and fault analysis, a new idea of applying GSPN to model and performanceanalysis for the serial and parallel production system is proposed. And one typical discrete eventdynamic system (DEDS), turner-unit of palletizing system, is taken as a real case to research. Basedupon the established GSPN models, the working performances of serial and parallel layout arecompared. Furthermore, their differences of working mechanisms including feeding mechanism,coordinating mechanism and monitoring mechanism are discussed. Thus the theoretical basis which ishelpful to appraise layout plan and its reasonableness is provided. Meanwhile, the research resultsshow that parallel layout is more advantageous to greatly improve the operational speed ofproduction system than serial one.
文摘In this work, the modeling and stability problem for a communication network system is addressed. The communication network system consists of a transmitter which sends messages to a receiver. The proposed model considers two possibilities. The first one, that messages are successfully received, while in the second one, during the sending process the transmitter breaks down and as a result the message does not reach the receiver. Timed Petrinets is the mathematical and graphical modeling technique utilized. Lyapunov stability theory provides the required tools needed to aboard the stability problem. Employing Lyapunov methods, a sufficient condition for stabilization is obtained. It is shown that it is possible to restrict the communication network system state space in such a way that boundedness is guaranteed. However, this restriction results to be vague. This inconvenience is overcome by considering a specific recurrence equation, in the max-plus algebra, which is assigned to the timed Petri net graphical model.
