área de pesquisa New approaches to fault prediction and opacity enforcement of discrete-event systems Opacity-Enforcement by changes in the order of event observation Raphael Julio Barcelos
