A Hybrid Modeling Strategy to Build Automata for Synthesizing Diagnostic Tests in Sequential Operations
碩士 === 國立成功大學 === 化學工程學系 === 105 === Although diagnostic tests have been adopted in the past for differentiating the originally inseparable fault origins in simple batch processes, their applicability in realistic systems is still questionable. To address this concern, the dynamic behavior of every...
Main Authors: | Shih-TingFeng, 馮詩婷 |
---|---|
Other Authors: | Chuei-Tin Chang |
Format: | Others |
Language: | zh-TW |
Published: |
2017
|
Online Access: | http://ndltd.ncl.edu.tw/handle/t26e9e |
Similar Items
-
Automata For Learning Sequential Tasks /
by: Choi, Chee Hung Ben
Published: (1996) -
Systematic Synthesis of Diagnostic Test Plans with Timed Automata
by: Wei-ChunHsieh, et al.
Published: (2014) -
An Automata Based Approach to Identify Diagnostic Test Procedures
by: AnKang, et al.
Published: (2013) -
On the Modeling of Sequential Reactive Systems by Means of Real Time Automata
by: Evgeney Maximovich Vinarskii, et al.
Published: (2020-12-01) -
Design of the Sequential System Automata using Temporal Equivalence Classes
by: A. Ursu, et al.
Published: (1997-10-01)