Enforcing current-state opacity through shuffle and deletions of event observations von Barcelos, Raphael Julio, Basilio, João Carlos

Volltext

Disjunctive fault prediction of decentralized discrete event systems: Verification, predictor design and K-copredictability von Barcelos, Raphael Julio, Basilio, João Carlos

Volltext

Diagnosability of intermittent sensor faults in discrete event systems von Carvalho, Lilian K., Moreira, Marcos V., Basilio, João Carlos

Volltext

A Petri Net Diagnoser for Discrete Event Systems Modeled by Finite State Automata von Cabral, Felipe Gomes, Moreira, Marcos Vicente, Diene, Oumar, Basilio, Joao Carlos

Volltext

Codiagnosability of Networked Discrete Event Systems With Timing Structure von Viana, Gustavo S., Alves, Marcos V. S., Basilio, Joao Carlos

Volltext

Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches von Boussif, Abderraouf, Ghazel, Mohamed, Basilio, João Carlos

Volltext

Comparative analysis of related notions of robust diagnosability of Discrete-Event Systems von Carvalho, Lilian Kawakami, Moreira, Marcos Vicente, Basilio, João Carlos

Volltext

Codiagnosability of networked discrete event systems subject to communication delays and intermittent loss of observation von Nunes, Carlos E. V., Moreira, Marcos V., Alves, Marcos V. S., Carvalho, Lilian K., Basilio, João Carlos

Volltext

Predictability of Discrete-Event Systems with Cycles of States Connected with Unobservable Events von Barcelos, Raphael J., Corrêa, Maurício A., Basilio, João Carlos

Volltext

Computation of minimal event bases that ensure diagnosability von Basilio, João Carlos, Lima, Saulo Telles Souza, Lafortune, Stéphane, Moreira, Marcos Vicente

Volltext

Fair and Square Computation of Inverse "Z"-Transforms of Rational Functions von Moreira, M. V, Basilio, J. C

Volltext

Online Representation-based State Estimation of λ-free Labeled Petri Nets von de Freitas, Braian Igreja, Toguyeni, Armand, Basilio, João Carlos

Volltext

Online Fault Diagnosis of Discrete Event Systems Modeled by Labeled Petri Nets Using Labeled Priority Petri Nets von de Freitas, Braian Igreja, Basilio, João Carlos

Volltext

The use of Time-Interval Automata in the Modeling of Timed Discrete Event Systems and its Application to Opacity von Marques, Mariana Guimarães, Barcelos, Raphael Julio, Basilio, João Carlos

Volltext

Enforcing current-state opacity through shuffle in event observations von Barcelos, Raphael Julio, Basilio, João Carlos

Volltext

Polynomial Time Verification of Modular Diagnosability of Discrete Event Systems von Li, Ben, Carlos Basilio, João, Khlif-Bouassida, Manel, Toguyéni, Armand

Volltext

Diagnosability and online diagnosis of discrete-event systems modeled by acyclic labeled Petri nets von Paiva, Pedro R.R., Carvalho, Lilian Kawakami, Basilio, João Carlos

Volltext

Robust codiagnosability of discrete event systems von Basilio, J.C., Lafortune, S.

Volltext

Supervisory Control of Networked Discrete Event Systems With Timing Structure von Alves, Marcos V. S., Carvalho, Lilian K., Basilio, Joao Carlos

Volltext

Fair and Square Computation of Inverse -Transforms of Rational Functions von Moreira, M. V., Basilio, J. C.

Volltext