SAT-Based On-Line Fault Isolation in Serial Systems

Author(s):  
Jinseong Jeon ◽  
Sangwon Kim ◽  
Dongkeun Lee
Keyword(s):  

2012 ◽  
Vol 5 (1) ◽  
pp. 435-453
Author(s):  
F. Nejjari ◽  
R. Pérez ◽  
V. Puig ◽  
J. Quevedo ◽  
R. Sarrate ◽  
...  

Abstract. This paper proposes a model based detection and localisation method to deal with abnormal quality levels based on the chlorine measurements and chlorine sensitivity analysis in a water distribution network. A fault isolation algorithm which correlates on line the residuals (generated by comparing the available chlorine measurements with their estimations using a model) with the fault sensitivity matrix is used. The proposed methodology has been applied to a District Metered Area (DMA) in the Barcelona network.



1997 ◽  
Vol 30 (18) ◽  
pp. 581-586
Author(s):  
George Fodor ◽  
Dimiter Driankov
Keyword(s):  


Author(s):  
Feng Xu ◽  
Vicenç Puig ◽  
Carlos Ocampo-Martinez ◽  
Sorin Olaru ◽  
Silviu-Iulian Niculescu

Abstract In this paper, a fault-tolerant control (FTC) scheme is proposed for actuator faults, which is built upon tube-based model predictive control (MPC) as well as set-based fault detection and isolation (FDI). In the class of MPC techniques, tubebased MPC can effectively deal with system constraints and uncertainties with relatively low computational complexity compared with other robust MPC techniques such as min-max MPC. Set-based FDI, generally considering the worst case of uncertainties, can robustly detect and isolate actuator faults. In the proposed FTC scheme, fault detection (FD) is passive by using invariant sets, while fault isolation (FI) is active by means of MPC and tubes. The active FI method proposed in this paper is implemented by making use of the constraint-handling ability of MPC to manipulate the bounds of inputs. After the system has been detected to become faulty, the input-constraint set of the MPC controller is adjusted to actively excite the system for achieving FI guarantees on-line, where an active FI-oriented input set is designed off-line. In this way, the system can be excited in order to obtain more extra system-operating information for FI than passive FI approaches. Overall, the objective of this paper is to propose an actuator MPC scheme with as little as possible of FI conservatism and computational complexity by combining tube-based MPC and set theory within the framework of MPC, respectively. Finally, a case study is used to show the effectiveness of the proposed FTC scheme.





2003 ◽  
Vol 36 (5) ◽  
pp. 717-722 ◽  
Author(s):  
Jan M. Kościelny ◽  
Michal Syfert


2012 ◽  
Vol 5 (1) ◽  
pp. 67-72 ◽  
Author(s):  
F. Nejjari ◽  
R. Pérez ◽  
V. Puig ◽  
J. Quevedo ◽  
R. Sarrate ◽  
...  

Abstract. This paper proposes a model based detection and localisation method to deal with abnormal quality levels based on the chlorine measurements and chlorine sensitivity analysis in a water distribution network. A fault isolation algorithm which correlates on line the residuals (generated by comparing the available chlorine measurements with their estimations using a model) with the fault sensitivity matrix is used. The proposed methodology has been applied to a District Metered Area (DMA) in the Barcelona network.



1986 ◽  
Vol 108 (3) ◽  
pp. 248-254 ◽  
Author(s):  
Asok Ray ◽  
Mukund Desai

This paper presents the theoretical basis of a novel redundancy management procedure developed for fault detection and isolation (FDI) in strategic processes such as spacecraft, aircraft, and nuclear plants where multiply-redundant measurements are available for individual variables. The set of redundant measurements may comprise both direct sensor outputs and analytically derived measurements. The redundancy management procedure presented in this paper is essentially independent of the fault detection strategy and measurement noise statistics, and builds upon the concept of partitioning the set of measurements into “consistent” and “inconsistent” subsets for purposes of estimation and fault isolation, respectively. The proposed procedure is suitable for real-time applications using commercially available microcomputers and its efficacy has been verified on-line in operating nuclear reactors.



Author(s):  
S. D’Silva ◽  
P. Pisu ◽  
A. Serrani ◽  
G. Rizzoni

Fault detection and isolation has become one of the most important aspects in vehicle control system design. In this paper, we present a technique for single sensor fault detection and isolation in automotive on-board applications. It combines model-based diagnostics and a qualitative modeling approach. The proposed method is appealing as it shifts the computational effort from on-line to off-line, making the algorithm suitable for low-cost real-time applications. The methodology can be cast in the framework of discrete-event fault diagnosis. A depth one transition relation algorithm for qualitative identification which guarantees completeness is developed and applied to a 3-degree-of-freedom (DOF) nonlinear vehicle model. The paper concludes with preliminary simulation results showing the effectiveness of the proposed scheme.



Author(s):  
Q Ahsan ◽  
R. I. Grosvenor ◽  
P. W. Prickett

This paper describes a methodology for monitoring industrial processes and plant that can be implemented cost-effectively within small-to-medium enterprises. The methodology is based on a network of 8-bit microcontrollers that communicate with each other on a controller area network bus. Ethernet connectivity is provided so that remote users can access the system on the internet. The software models developed for data acquisition nodes and the design of remote user interfaces and supervisory nodes are also explained. The system is aimed at providing specific maintenance guidance and fault identification, rather than gathering data for off-line analysis. Overly complicated processing is avoided to make real-time implementation possible, using 8-bit microcontrollers. The methodology emphasizes the use of process controller signals for fault detection and sensor signals for fault isolation. The suitability of the methodology is explored by acquiring signals from a laboratory-based process rig. Suitable monitoring techniques for the system in time and frequency domains are also discussed.



Sign in / Sign up

Export Citation Format

Share Document