Synthesis of Diagnostic Tests Based on Timed Automata

Chuei Tin Chang, Hao Yeh Lee, Vincentius Surya Kurnia Adi

Research output: Chapter in Book/Report/Conference proceedingChapter

Abstract

A large number of high value-added chemical products, such as the specialty chemicals, foods, semiconductors, and pharmaceuticals, etc., are often manufactured in complex but flexible batch or sequential processes. Hardware failures are random but inevitable events over the lifespan of any such plant. If the root causes of a failure-induced event sequence cannot be correctly identified in time, the final consequences may be catastrophic. Generally speaking, the overall performance of a diagnostic system can be improved by capturing more online data. To this end, the obvious design strategy is to install additional sensors. However, since new hardware inevitably requires extra spending and, also, the related issues have already been discussed extensively in the literature, there are incentives to develop an alternative means for enhancing diagnostic resolution without capital investment. Yeh and Chang (2011) proposed to implement online test procedures for such a purpose, while Kang and Chang (2014) later developed an effective procedure-synthesis method to conjecture the diagnostic tests according to untimed automata.

Original languageEnglish
Title of host publicationAdvances in Industrial Control
PublisherSpringer Science and Business Media Deutschland GmbH
Pages283-310
Number of pages28
DOIs
Publication statusPublished - 2021

Publication series

NameAdvances in Industrial Control
ISSN (Print)1430-9491
ISSN (Electronic)2193-1577

All Science Journal Classification (ASJC) codes

  • Control and Systems Engineering
  • Automotive Engineering
  • Aerospace Engineering
  • Industrial and Manufacturing Engineering

Fingerprint

Dive into the research topics of 'Synthesis of Diagnostic Tests Based on Timed Automata'. Together they form a unique fingerprint.

Cite this