Search Results - "Basilio, Joao Carlos"

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

“…In this paper, we deal with current-state opacity, and propose an Opacity-Enforcer that is able to change, in an appropriate way, the order of observation of…”
Get full text

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

“…This paper deals with the problem of fault predictability of discrete event systems (DES) modeled by automata. The predictability property is approached in a…”
Get full text

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

“…We address, in this paper, the problem of diagnosing intermittent sensor faults. In order to do so, we employ a model of intermittent loss of observations…”
Get full text

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

“…We propose in this paper a Petri net approach to online diagnosis of discrete event systems (DESs) modeled by finite state automata. The diagnosis method is…”
Get full text

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

“…We address, in this article, the problem of codiagnosability of networked discrete event systems with timing structure (NDESWTS) subject to delays and loss of…”
Get full text

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

“…In this paper, we revisit the problem of robust diagnosability of Discrete-Event Systems (DES), and present a comparative analysis between the following…”
Get full text

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

“…Real life experience has shown that intermittent faults are among the most challenging kinds of faults to detect and isolate, being present in the majority of…”
Get full text

Robust supervisory control of discrete event systems against intermittent loss of observations by Alves, Marcos V. S., da Cunha, Antonio E. C., Carvalho, Lilian Kawakami, Moreira, Marcos Vicente, Basilio, João Carlos

“…We address in this paper the design of robust supervisors that are able to cope with intermittent loss of observations and also make the controlled system…”
Get full text

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

“…Failure diagnosis is a crucial task in modern industrial systems, and several works in the literature address this problem by modeling the system as a…”
Get full text

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

“…Predictability is a discrete-event system property that aims to foresee some specific event occurrence, usually seen as failures. Two common assumptions in…”
Get full text

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

“…We deal with the problem of finding sets of observable events (event bases) that ensure language diagnosability of discrete-event systems modeled by finite…”
Get full text

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

“…In this article, we study the supervisory control problem of networked discrete event systems with timing structure assuming bounded communication delays and…”
Get full text

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

“…All methods presented in textbooks for computing inverse "Z"-transforms of rational functions have some limitation: 1) the direct division method does not, in…”
Get full text

Bridging the Gap Between Design and Implementation of Discrete-Event Controllers by Moreira, Marcos Vicente, Basilio, Joao Carlos

“…Extended labeled Petri nets (ELPNs), i.e., labeled Petri nets with inhibitor arcs, are usually used to model the desired closed-loop behavior of a controlled…”
Get full text

Fair and Square Computation of Inverse cal Z -Transforms of Rational Functions by Moreira, Marcos Vicente, Basilio, Joao Carlos

“…All methods presented in textbooks for computing inverse cal Z -transforms of rational functions have some limitation: 1) the direct division method does not,…”
Get full text

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

“…We consider robust decentralized diagnosis of discrete event systems, where the goal is to detect the occurrence of unobservable fault events using a set of…”
Get full text

An algorithm inspired by the deterministic annealing approach to avoid local minima in artificial potential fields by Strappa Facchinetti Doria, Nara, Oliveira Freire, Eduardo, Basilio, Joao Carlos

“…Local minima are still an important unsolved problem for artificial potential field approaches. In order to overcome this problem, we propose in this paper a…”
Get full text

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

“…All methods presented in textbooks for computing inverse Z -transforms of rational functions have some limitation: 1) the direct division method does not, in…”
Get full text

Integrated online auto-tuning and digital implementation of PID controllers in industrial processes by Manyari-Rivera, Manuel, Basilio, J. C.

“…The continued progress and growth of industry has increased the need for communication and control integration. In this regard, it would be interesting to…”
Get full text

Static normalizing pre-compensator: The first step for addressing robustness in the design of multivariable controllers using the Characteristic Locus Method by Moreira, Marcos Vicente, Basilio, Joao Carlos

“…This paper shows that the first step in the design of multivariable controllers within the Characteristic Locus Method must be the design of a static…”
Get full text