Finite-state machine embeddings for non-concurrent error detection and identification

Christoforos N. Hadjicostis. Finite-state machine embeddings for non-concurrent error detection and identification. In 42nd IEEE Conference on Decision and Control, CDC 2003, Maui, Hawaii, USA, December 9-12, 2003. pages 3215-3220, IEEE, 2003. [doi]

Abstract

Abstract is missing.