Sebastian Druppel

• Modeling and Partially Coordinated Diagnosis of Asynchronous Discrete-Event Systems