Instituto Federal do Amazonas — Brazil
Computer Science · Physical Sciences
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Formal Methods in Verification(25), Fault Detection and Control Systems(24), Advanced Control Systems Optimization(18), Stability and Control of Uncertain Systems(13), Microgrid Control and Optimization(12)
Publications133 total
Frequent Co-authors
Reinaldo M. Palhares(22), Lucas C. Cordeiro(21), Pedro Henrique Silva Coutinho(11), Renan Landau Paiva de Medeiros(10), João Edgar Chaves Filho(10), Florindo A. C. Ayres(7), Vicenç Puig(7), Márcia L. C. Peixoto(7), Daniel Kroening(6), Eddie B. de Lima Filho(6), Vicente Ferreira de Lucena(5), Alessandro Abate(5), Cristina David(5), Pascal Kesseli(5), Hussama Ismail(5), Dario Cattaruzza(4), Elizabeth Polgreen(4), Paulo S. P. Pessim(4), Lennon Chaves(4), Marcos Flávio Silveira Vasconcelos D’Ângelo(3)