Name
Abstract | ||
|---|---|---|
Systems are built by connecting different components (e.g., sensors, actuators, process components) that are, in turn, organized to achieve system objectives. But, when a system component fails, the system's objectives can no longer be achieved. For many years, numerous studies have proposed efficient fault detection and isolation (FDI) and fault-tolerant control (FTC) algorithms. This paper considers faults that lead to the complete failure of actuators. In this specific case, the system's physical structure changes, and the system model thus becomes incorrect. The potential that the system has to continue to achieve its objectives has to be re-evaluated from a qualitative point of view, before recalculating or modifying the control algorithms. To this end, this paper proposes a self-updating system model to reflect the current system potential, a formulation of system objectives using temporal logic, and a verification method based on model checking to verify whether the objectives can still be achieved by the faulty system. The systems considered are discrete-continuous systems. |
Year | DOI | Venue |
|---|---|---|
2012 | 10.1016/j.engappai.2011.08.001 | Eng. Appl. of AI |
Keywords | Field | DocType |
system model,self-updating system model,model checking,faulty system,system objective,self-updating model,discrete-continuous system,analysing system reconfigurability,current system potential,fault-tolerant control,system component,control algorithm | Control algorithm,Mathematical optimization,Reconfigurability,Model checking,Computer science,Fault detection and isolation,Control engineering,Real-time computing,Temporal logic,System model,Physical structure,Actuator | Journal |
Volume | Issue | ISSN |
25 | 1 | 0952-1976 |
Citations | PageRank | References |
1 | 0.36 | 17 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Anne-Lise Gehin | 1 | 45 | 8.57 |
| He-xuan Hu | 2 | 3 | 1.08 |
| Mireille Bayart | 3 | 33 | 7.46 |