Ho-Shan Chiang
Papers
1
Total Citations
3
H-Index
1
About
Ho-Shan Chiang’s research centers on fault diagnosis and probabilistic modeling in discrete event systems, with a particular emphasis on integrating time and uncertainty into formal verification frameworks. His most-cited work, "Fault measure of discrete event systems using probabilistic timed automata" (2011), introduces a pioneering method that merges timed automata with probabilistic automata to represent system behavior under uncertainty. By developing an algorithm that combines probability measures with clock variables, Chiang enables more accurate fault detection in complex, time-sensitive systems—a critical contribution to reliability engineering. Though his citation count (3) is modest, the conceptual novelty of his approach has laid groundwork for subsequent advances in hybrid automata-based diagnostics. His work is notable for bridging theoretical formalism with practical fault analysis, offering a rigorous foundation for students and researchers exploring probabilistic timed systems. Chiang’s research exemplifies how targeted, methodical contributions can open new pathways in system safety and verification, making his profile a valuable reference for those delving into fault-tolerant design and real-time system analysis.
Research Focus
Key Achievements
Top Papers
- 1