Diagnosability Analysis of a Class of Hierarchical State Machines

Andrea Paoli, Stéphane Lafortune. Diagnosability Analysis of a Class of Hierarchical State Machines. Discrete Event Dynamic Systems, 18(3):385-413, 2008. [doi]

Abstract

Abstract is missing.