The size and complexity of control software in aerospace systems is rapidly increasing, and
this development complicates its validation within the context of the overall spacecraft …

This PhD thesis deals with fault diagnosis of discrete-event systems modeled as finite state
automata with some extensions to bounded Petri net models. The developed contributions …