Robust diagnosis of discrete event systems against intermittent loss of observations
Carvalho, Lilian K., Basilio, João C., Moreira, Marcos V.
Published in Automatica (Oxford) (01.09.2012)
Published in Automatica (Oxford) (01.09.2012)
Get full text
Journal Article
Codiagnosability Analysis of Discrete-Event Systems Modeled by Weighted Automata
Viana, Gustavo S., Moreira, Marcos V., Basilio, Joao C.
Published in IEEE transactions on automatic control (01.10.2019)
Published in IEEE transactions on automatic control (01.10.2019)
Get full text
Journal Article
Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems
Moreira, M. V., Jesus, T. C., Basilio, J. C.
Published in IEEE transactions on automatic control (01.07.2011)
Published in IEEE transactions on automatic control (01.07.2011)
Get full text
Journal Article
Robust diagnosis of discrete-event systems against permanent loss of observations
Carvalho, Lilian K., Moreira, Marcos V., Basilio, João C., Lafortune, Stéphane
Published in Automatica (Oxford) (01.01.2013)
Published in Automatica (Oxford) (01.01.2013)
Get full text
Journal Article
"Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems" Versus "Decentralized Failure Diagnosis of Discrete Event Systems": A Critical Appraisal
Moreira, Marcos V., Basilio, Joao C., Cabral, Felipe G.
Published in IEEE transactions on automatic control (01.01.2016)
Published in IEEE transactions on automatic control (01.01.2016)
Get full text
Journal Article
Public bicycle sharing systems control and performance evaluation: A Petri net-based approach
Igreja de Freitas, Braian, Carvalho, Lilian K., Basilio, João C.
Published in Information sciences (01.06.2023)
Published in Information sciences (01.06.2023)
Get full text
Journal Article
Computation of minimal diagnosis bases of Discrete-Event Systems using verifiers
Santoro, Leonardo P.M., Moreira, Marcos V., Basilio, João C.
Published in Automatica (Oxford) (01.03.2017)
Published in Automatica (Oxford) (01.03.2017)
Get full text
Journal Article
Supervisory Control-Based Navigation Architecture: A New Framework for Autonomous Robots in Industry 4.0 Environments
Gonzalez, Antonio G. C., Alves, Marcos V. S., Viana, Gustavo S., Carvalho, Lilian K., Basilio, Joao C.
Published in IEEE transactions on industrial informatics (01.04.2018)
Published in IEEE transactions on industrial informatics (01.04.2018)
Get full text
Journal Article
Diagnosability of discrete event systems modeled by time-interval automata
Rezende, Christiano H., Viana, Gustavo S., Basilio, João C.
Published in IFAC-PapersOnLine (01.01.2023)
Published in IFAC-PapersOnLine (01.01.2023)
Get full text
Journal Article
Robust codiagnosability of discrete-event systems against permanent loss of observations
Tomola, Jean H. A., Moreira, Marcos V., Basilio, Joao C., Carvalho, Lilian K.
Published in 2015 IEEE International Conference on Automation Science and Engineering (CASE) (01.08.2015)
Published in 2015 IEEE International Conference on Automation Science and Engineering (CASE) (01.08.2015)
Get full text
Conference Proceeding