Leonardo B. Clavijo

Publication Activity (10 Years)

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

Top Topics

Discrete Event Systems

Empirical Studies

Top Venues

Discret. Event Dyn. Syst.

Publications

Leonardo B. Clavijo, João Carlos Basilio
Empirical studies in the size of diagnosers and verifiers for diagnosability analysis. Discret. Event Dyn. Syst. 27 (4) (2017)
Lilian Kawakami Carvalho, João Carlos Basilio, Marcos Vicente Moreira, Leonardo B. Clavijo
Diagnosability of intermittent sensor faults in discrete event systems. ACC (2013)
Leonardo B. Clavijo, João Carlos Basilio, Lilian Kawakami Carvalho
DESLAB: A scientific computing program for analysis and synthesis of discrete-event systems. WODES (2012)