Leonardo P. M. Santoro

Publication Activity (10 Years)

Years Active: 2014-2017
Publications (10 Years): 1

Top Topics

Failure Diagnosis

Discrete Event Systems

Top Venues

Publications

Leonardo P. M. Santoro, Marcos Vicente Moreira, João Carlos Basilio
Computation of minimal diagnosis bases of Discrete-Event Systems using verifiers. Autom. 77 (2017)
Leonardo P. M. Santoro, Marcos Vicente Moreira, João Carlos Basilio, Oumar Diene
Computation of Minimal Diagnosis Bases of Discrete-Event Systems Using Verifiers: Method of the Ambiguous Cyclic Paths. WODES (2014)