TY - CHAP
T1 - Synthesis of Diagnostic Tests Based on Timed Automata
AU - Chang, Chuei Tin
AU - Lee, Hao Yeh
AU - Adi, Vincentius Surya Kurnia
N1 - Funding Information:
This work was supported by Shanghai Science and Technology Developing Program (12140901500, 13140900502). We thank Deshui Jia and QiangTan for the kind suggestions and technical assistance.
Publisher Copyright:
© 2021, The Author(s), under exclusive license to Springer Nature Switzerland AG.
PY - 2021
Y1 - 2021
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=85109511479&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85109511479&partnerID=8YFLogxK
U2 - 10.1007/978-3-030-70978-5_9
DO - 10.1007/978-3-030-70978-5_9
M3 - Chapter
AN - SCOPUS:85109511479
T3 - Advances in Industrial Control
SP - 283
EP - 310
BT - Advances in Industrial Control
PB - Springer Science and Business Media Deutschland GmbH
ER -