Title: Design of sequential control systems incorporating diagnostics and reconfiguration