Automaton-based fault detection and isolation

被引:1
|
作者
Philips, P [1 ]
Ramkumar, KB [1 ]
Lim, KW [1 ]
Preisig, HA [1 ]
Weiss, M [1 ]
机构
[1] Eindhoven Univ Technol, Fac Appl Phys, Syst & Control Grp, NL-5600 MB Eindhoven, Netherlands
关键词
fault detection; fault isolation; continuous systems; discrete-event models;
D O I
10.1016/S0098-1354(99)80053-2
中图分类号
TP39 [计算机的应用];
学科分类号
081203 ; 0835 ;
摘要
We present a fault detection and isolation method which is based on the observation of events. Several propositions are given that can be used directly for a fault detection and isolation scheme, and that can serve as a tool to analyze fault detection and isolation properties of the system; The results are illustrated by means of an example.
引用
收藏
页码:S215 / S218
页数:4
相关论文
共 50 条
  • [1] PAFL: Probabilistic Automaton-based Fault Localization for Recurrent Neural Networks
    Ishimoto, Yuta
    Kondo, Masanari
    Ubayashi, Naoyasu
    Kamei, Yasutaka
    INFORMATION AND SOFTWARE TECHNOLOGY, 2023, 155
  • [2] Cellular Automaton-based Nanoelectronic Hardware
    Peper, Ferdinand
    Watanabe, Takeo
    Isokawa, Teijiro
    Matsui, Nobuyuki
    2014 IEEE INTERNATIONAL NANOELECTRONICS CONFERENCE (INEC), 2014,
  • [3] Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches
    Abderraouf Boussif
    Mohamed Ghazel
    João Carlos Basilio
    Discrete Event Dynamic Systems, 2021, 31 : 59 - 102
  • [4] Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches
    Boussif, Abderraouf
    Ghazel, Mohamed
    Basilio, Joao Carlos
    DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2021, 31 (01): : 59 - 102
  • [5] Argos:: an automaton-based synchronous language
    Maraninchi, F
    Rémond, Y
    COMPUTER LANGUAGES, 2001, 27 (1-3): : 61 - 92
  • [6] Automaton-Based Criteria for Membership in CTL
    Boker, Udi
    Shaulian, Yariv
    LICS'18: PROCEEDINGS OF THE 33RD ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, 2018, : 155 - 164
  • [7] Cellular Automaton-Based Emulation of the Mersenne Twister
    Bhattacharjee, Kamalika
    More, Nitin
    Singh, Shobhit Kumar
    Verma, Nikhil
    COMPLEX SYSTEMS, 2023, 32 (02): : 139 - 169
  • [8] Cellular automaton-based pseudorandom number generator
    Zarezadeh Z.
    Zarezadeh, Zakarya, 2017, Complex Systems Publications, Inc (26): : 373 - 390
  • [9] Automaton-based sublinear keyword pattern matching
    Cleophas, L
    Watson, BW
    Zwaan, G
    STRING PROCESSING AND INFORMATION RETRIEVAL, PROCEEDINGS, 2004, 3246 : 18 - 29
  • [10] An Automaton-based Approach for Web Service Mediation
    Fauvet, Marie-Christine
    Ait-Bachir, Ali
    LEADING THE WEB IN CONCURRENT ENGINEERING: NEXT GENERATION CONCURRENT ENGINEERING, 2006, 143 : 47 - +